Tableaux 2009
The 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Oslo, Norway
6.-10. July 2009
Collocated with the
Workshop on First-Order Theorem Proving (FTP)
The proceedings, LNAI 5607, are now available online here
See here for a map of the campus and the way from Blindern station to the University Library Building.
Follow the links for more information about...
- News
- Main Programme
- Excursion
- Registration
- Practical Information
- Accepted Papers
- Important Dates
- Invited Speakers
- Workshops
- Tutorials
- Student Sponsoring
- Venue
- Sponsors
- Program Committee
- Organisers
- Contact
- Submission
- Call for Papers
- Call for Workshop Proposals
