Session times vary from day to day, depending on the requirements of workshops, etc.
| Monday 6.7. | Tuesday 7.7 | Wednesday 8.7. | Thursday 9.7. | Friday 10.7. | |
|---|---|---|---|---|---|
| Session 1 (9:00-10:00) | (9:00-10:30) Workshops/FTP | invited talk P. Jeavons | Tutorials (parallel) | invited talk P. Blackburn | invited talk P. Wolper |
| (10:30-11:00) coffee | coffee | (10:30-11:00) coffee | coffee | coffee | |
| Session 2 (10:30-12:30) | (11:00-12:30) Workshops/FTP | Tbl1 Tbl2 Tbl3 Tbl4 | Tutorials (parallel) | Tbl17 Tbl18 Tbl19 Tbl20 | Tbl23 Tbl24 Tbl25 Tbl26 |
| lunch | lunch | lunch | lunch | lunch | |
| Session 3 (13:45-15:35) | (14:00-15:30) Workshops/FTP | Tbl5 Tbl6 Tbl7 Tbl8 | Tbl9 Tbl10 Tbl11 Tbl12 | 13:30-14:20: Tbl21 Tbl22 Excursion | |
| coffee | coffee | coffee | Excursion | ||
| Session 4 (16:00-17:50) | Workshops/FTP | little excursion (Frognerparken) | Tbl13 Tbl14 Tbl15 Tbl16 | Excursion | |
| FTP/WS dinner | Reception | Business Meeting | Tableaux dinner |
Detailed programme
For the Tableaux main coference, we allocate 30 minutes (25 minutes talk+5 minutes discussion) to regular papers and 20 minutes (15 minutes talk+5 minutes discussion) to position papers.
Monday, 6 July
FTP and the two Tableaux workshops will be held in parallel, in three rooms on the 3rd floor of the university library building.
See
- The detailed Programme for FTP 2009, which will take place in Undervisningsrom 1 (3511)
- The detailed Programme for the AutoTab'09 Workshop, which will take place in Undervisningsrom 2 (3512)
- The detailed Programme for the workshop on Gentzen Systems and Beyond, which will take place in Undervisningsrom 3 (3513)
The accurate timing and detailed schedule is up to the workshop organizers. Proposed times are as follows:
Registration, 8:30-9:00
- The registration desk is in the foyer of the library building
Session 1, 9:00-10:30
Coffee break 10:30-11:00
- Coffee is served in the basement of the library building
Session 2, 11:00-12:30
Lunch, 12:30-13:45
- Lunch is served in the library's personnel cantina on the 2nd floor
Session 3, 14:00-15:30
Coffee break, 15:30-16:00
Session 4, 16:00-17:30
Workshop/FTP dinner in Brasserie France, 19:00
Tuesday, 7 July
All Tableaux sessions will take place in Auditorium 2, ground floor of the university library building.
Registration, 8:30-9:00
- The registration desk is in the foyer of the library building
Session 1, 9:00-10:00
(chair: Martin Giese)
- Invited talk: Peter Jeavons, shared with FTP
Coffee break 10:00-10:30
- Coffee is served in the basement of the library building
Session 2, Proof Theory, 10:30-12:30
(chair: Roy Dyckhoff)
- George Metcalfe and Nicola Olivetti. Proof Systems for a Godel Modal Logic
- Dirk Pattinson and Lutz Schröder. Generic Modal Cut Elimination Applied to Conditional Logics
- Arnon Avron and Ori Lahav. Canonical Constructive Systems
- David Baelde. On the proof-theory of regular fixed points
Lunch, 12:30-13:45
- Lunch is served in the library's personnel cantina on the 2nd floor.
Session 3, Modal and Description Logics, 13:45-15:35
(chair: Didier Galmiche)
- Kai Brünnler and Lutz Strassburger. Modular Sequent Systems for Modal Logic
- Bianca Boretti and Sara Negri. Decidability for Priorean Linear Time using a Fixed-Point Labelled Calculus
- Davide Bresolin, Angelo Montanari, Pietro Sala and Guido Sciavicco. A Tableau-Based System for Spatial Reasoning about Directional Relations
- Savas Konur. A Temporal Logic for Real-Time System Specification and Its Tableau-based Decision Procedure (position paper)
Coffee break, 15:35-16:00
Those interested can join us at Majorstua station (near Hotel Gyldenløve) at 17:00 for a walk to Frognerparken, and then from there downtown. See the Excursion page for more details.
Reception in the Town Hall, 19:00
Wednesday, 8 July
Tutorials 1, 9:00-10:30
The two Tutorials will be held in parallel.
- The tutorial on canonical systems will be held in Undervisningsrom 2, room 3512, on the third floor
- The tutorial on LoTREC will be held in Undervisningsrom 3, room 3513, on the third floor
Coffee break, 10:30-11:00
Tutorials 2, 11:00-12:30
Same place as before!
Lunch, 12:30-13:45
Session 3, types, model checking, 13:45-15:35
(chair: Nicolas Peltier)
- Silvio Ghilardi and Silvio Ranise. Goal-directed Invariant Synthesis for Model Checking Modulo Theories
- Carlos Areces, Daniel Gorin, Diego Figueira and Sergio Mera. Tableaux and Model Checking for Memory Logics
- Chad E. Brown and Gert Smolka. Terminating Tableaux for the Basic Fragment of Simple Type Theory
- Peter H. Schmitt, Mattias Ulbrich and Michael Walter. A First-Order Logic with First-Class Types (position paper)
Coffee break, 15:35-16:00
Session 4, knowledge compilation, schemas, QML, 16:00-17:50
(chair: Peter Baumgartner)
- Andrew Matusiwicz, Neil Murray and Erik Rosenthal. Prime Implicate Tries
- Christoph Wernhard. Tableaux for Projection Computation and Knowledge Compilation
- Vincent Aravantinos, Ricardo Caferra and Nicolas Peltier. A Schemata Calculus For Propositional Logic
- Thomas Raths and Jens Otten. Building a Problem Library for Quantified Modal Logics (position paper)
Business meeting, 18:00-19:00
Thursday, 9 July
Session 1, 9:00-10:00
(chair: Arild Waaler)
- Invited talk: Patrick Blackburn
Coffee break, 10:00-10:30
Session 2, Systems, Proof Theory, 10:30-12:30
(chair: Nicola Olivetti)
- Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam and Rolf Schwitter. A Novel Architecture for Situation Awareness Systems
- Marta Cialdea. Abduction and consequence generation in a support system for the design of logical multiple-choice questions (system description)
- Rajeev Goré, Linda Postniece and Alwen Tiu. Taming Displayed Tense Logics Using Nested Sequents With Deep Inference
- Luís Pinto and Tarmo Uustalu. Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents
Lunch, 12:30-13:30
Session 3, generic systems, 13:30-14:20
(chair: Neil Murray)
- Dmitry Tishkovsky and Renate Schmidt. Automated Synthesis of Tableau Calculi
- Olivier Gasquet, Bilal Said and François Schwarzentruber. A semantics for an event based generic tableau prover (position paper)
Excursion, 14:20-23:00
We will take a bus to Bygdøy, the museum island. We will amongst others see some beautiful old Viking ships and a stave church.
After that, we will take a boat tour on the Oslo fjord, which will bring us to the restaurant where we have dinner. A bus will drive us back in the evening.
See the Excursion page for more details.
Friday, 10 July
Session 1, 9:00-10:00
(chair: Stéphane Demri)
- Invited talk: Pierre Wolper
Coffee break, 10:00-10:30
Session 2, Modal and Description Logics, 10:30-12:30
(chair: Marta Cialdea Mayer)
- Rajeev Goré and Florian Widmann. Sound Global State Caching for ALC with Inverse Roles
- Mark Kaminski, Sigurd Schneider and Gert Smolka. Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
- Natthapong Jungteerapanich. A Tableau System for the Modal Mu-Calculus
- Regis Alenda, Nicola Olivetti and Camilla Schwind. Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus
Lunch, 12:30-13:30
As a reward for sticking around until the end, there will be an extra nice lunch on Friday!