Tableaux 2011

The 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Contact

  • Kai Brünnler
  • George Metcalfe
    • Home
    • Program
      • Important Dates
      • Invited Speakers
      • Accepted Papers
      • Program
      • Workshops
      • Tutorials
      • Proceedings
      • Social Program
    • Location
      • Venue
      • Accommodation
    • Participation
      • Registration
      • Call for Papers
      • Submission
    • Organisation
      • Organisers
      • Program Committee
      • Contact
      • Sponsors


© 2024 Tableaux 2011|Login