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 - - AutoTab'09 Programme

Location: University Library Building, Undervisningsrom 2 (room 3512)

Registration, 8:30-9:00

  • The registration desk is in the foyer of the library building

Session 1, 9:00-10:45

  • 9:00-9:15, Opening and brief introduction to the workshop: Val Goranko
  • 9:15-10:15, Oliver Friedmann and Martin Lange: Tableaux with Automata, abstract
  • 10:15-10:45, Natthapong Jungteerapanich: A Tableau System and the Small Model Theorem for the Pi_2-Fragment of the Modal mu-Calculus, abstract

Coffee break, 10:45-11:00

  • Coffee is served in the basement of the library building

Session 2, 11:00-12:30

  • 11:00-12:00, Stephane Demri: Reasoning About Memory States with Automata and Tableaux, abstract
  • 12:00-12:30, Jan Hladik: Tableaux and Automata for Description Logics, abstract

Lunch, 12:30-14:00

  • Lunch is served in the library's personnel cantina

Session 3, 14:00-15:30

  • 14:00-14:30, Rafael Penaloza: Using Tableaux and Automata for Pinpointing in EL, abstract
  • 14:30-15:15, Rajeev Gore: Tableau Versus Automata For Practical Reasoning, abstract
  • 15:15-15:30, concluding discussion

Coffee break, 15.30-15.45

Session 4, 15:45-16:00

  • 15:45-16:00, short business meeting and closure

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 June 23, 2009, at 09:24 AM