| 09:45-10:00 | Welcome |
| 10:00-11:00 | Three lectures on hybrid logic -- Patrick Blackburn (course, part 1) |
| 11:00-11:30 | Coffee break |
| 11:30-12:30 | Duality theory -- Dirk Hofmann (course, part 1) |
| 12:30-14:00 | Lunch |
| 14:00-14:25 | Essential structure of proofs as a measure of complexity -- Cristina Sernadas |
| (with João Rasga, Jaime Ramos) |
| 14:25-14:50 | Semantics for combined Hilbert calculi -- Carlos Caleiro (with Sérgio Marcelino) |
| 14:50-15:15 | Modular analysis of Hilbert calculi -- Sérgio Marcelino (with Carlos Caleiro) |
| 15:15-16:15 | From linear logic to types for implicit computational complexity -- Patrick Baillot (course, part 1) |
| 16:15-16:45 | Coffee break |
| 16:45-17:10 | Probabilistic logic of quantum observations -- João Rasga (with Amílcar Sernadas, Cristina Sernadas, Luís Alcácer, Alfredo Barbosa Henriques) |
| 17:10-17:35 | Characterization of strong normalizability for a lambda-calculus with co-control -- José Espírito Santo (with Silvia Ghilezan) |
| 17:35-18:00 | From complementary logic to proof-theoretic semantics -- Gabriele Pulcini |
| 18:00-18:25 | Inferential structures in sequent calculi: metainferences -- Bogdan Dicher |
| 18:25-18:50 | Fundamental groups in general o-minimal structures and some comparison results -- Bruno Dinis (with Mário Edmundo, Marcello Mamino) |
| 09:00-10:00 | Duality theory -- Dirk Hofmann (course, part 2) |
| 10:00-11:00 | Three lectures on hybrid logic -- Patrick Blackburn (course, part 2) |
| 11:00-11:30 | Coffee break |
| 11:30-12:30 | From linear logic to types for implicit computational complexity -- Patrick Baillot (course, part 2) |
| 12:30-14:00 | Lunch |
| 14:00-14:25 | Boolean tableaux for abstract argumentation frameworks -- Enrique Hernández-Manfredini (with Gustavo Adrian Bodanza) |
| 14:25-14:50 | A herbrandized functional interpretation of classical first-order logic -- Fernando Ferreira (with Gilda Ferreira) |
| 14:50-15:15 | A Herbrand-like theorem for hybrid logic -- Diana Costa (with Manuel António Martins, João Marcos) |
| 15:15-16:15 | Duality theory -- Dirk Hofmann (course, part 3) |
| 16:15-16:45 | Coffee break |
| 16:45-17:10 | Towards the dynamic logic with binders D↓ -- Alexandre Madeira (with Manuel António Martins, Rolf Hennicker, Luís Soares Barbosa) |
| 17:10-17:35 | Sorting the πref-calculus -- Pedro Rocha (with Luís Caires) |
| 17:35-18:00 | Discrete polymorphism with dynamic types -- Pedro Ângelo (with Mário Florido) |
| 18:00-18:25 | Open versus closed types -- João Barbosa (with Mário Florido, Vítor Santos Costa) |
| 18:25-18:50 | Layered logics, coalgebraically -- Luís Soares Barbosa |
| 20:00 | Social dinner
|
