Tableaux 2009

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

Oslo, Norway

6.-10. July 2009

University of Oslo logo

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

Oslo banner
Page last modified on November 12, 2009, at 03:33 PM