Tableaux 2011
The 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Sponsors
Burgergemeinde Bern
The Kurt Gödel Society
Mathematical Institute, University of Bern
Swiss Academy of Sciences
Swiss Mathematical Society
Swiss National Science Foundation
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
Search
