Warning: strftime(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /hom/martingi/www_docs/Tableaux09/pmwiki.php on line 302
Tableaux 2009 - - Main

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

Warning: strftime(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /hom/martingi/www_docs/Tableaux09/pmwiki.php(597) : eval()'d code on line 1
Page last modified on November 12, 2009, at 02:33 PM