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...