The DiL 2022 schedule can be found below, as well as the list of invited tutorials and contributed talks.
Due to the pandemic situation, the event will not feature an official dinner conference. However, we plan to do an informal dinner on Friday (1 July) that anyone can join. More details will be provided during the meeting.
A booklet with the programme of the meeting and the abstract of all talks can be found below.
Days in Logic 2022 Schedule
All times are in Western European Summer Time (WEST, UTC/GMT +1 hour), which is the current local time at Lisbon.
June 30 (Thursday)
| 9h00 – 9h30 | Registration |
| 9h30 – 10h30 | Mikoláš Janota (invited tutorial) |
| 10h30 – 11h00 | J. Rasga |
| 11h00 – 11h30 | Coffee break |
| 11h30 – 12h30 | Egbert Rijke (invited tutorial) |
| 12h30 – 13h00 | P. Santos |
| 13h00 – 14h30 | Lunch |
| 14h30 – 15h30 | Vasco Brattka (invited tutorial) |
| 15h30 – 16h00 | C. Caleiro |
| 16h00 – 16h30 | B. Dinis |
| 16h30 – 17h00 | Coffee break |
| 17h00 – 17h30 | R. Gazzari |
| 17h30 – 18h00 | L. Pinto |
July 1 (Friday)
| 9h00 – 10h00 | Mikoláš Janota (invited tutorial) |
| 10h00 – 10h30 | L. Cruz-Filipe |
| 10h30 – 11h00 | L. Pereira |
| 11h00 – 11h30 | Coffee break |
| 11h30 – 12h30 | Egbert Rijke (invited tutorial) |
| 12h30 – 13h00 | P. Pinto |
| 13h00 – 14h30 | Lunch |
| 14h30 – 15h30 | Vasco Brattka (invited tutorial) |
| 15h30 – 16h00 | S. Marcelino |
| 16h00 – 16h30 | Coffee break |
| 16h30-17h30 | Business meeting |
July 2 (Saturday)
| 9h00 – 10h00 | Mikoláš Janota (invited tutorial) |
| 10h00 – 11h00 | Vasco Brattka (invited tutorial) |
| 11h00 – 11h30 | Coffee break |
| 11h30 – 12h00 | C. Sernadas |
| 12h00 – 13h00 | Egbert Rijke (invited tutorial) |
Invited tutorials
- Weihrauch Complexity (Vasco Brattka)
- (Boolean) Satisfiability and its Applications (Mikoláš Janota)
- Univalent Combinatorics (Egbert Rijke)
Accepted contributed talks (with indication of speaker)
- Computational properties of PNmatrices (Carlos Caleiro, Pedro Filipe and Sérgio Marcelino)
- Formalising Approximation Fixpoint Theory (Bart Bogaerts and Luís Cruz-Filipe)
- The Halpern-Mann iteration in CAT(0) spaces (Bruno Dinis and Pedro Pinto)
- Formal Theories of Occurrences (Rene Gazzari)
- Decidability of combined logics, and applications (Sérgio Marcelino and Carlos Caleiro)
- Two pure ecumenical natural deduction systems (Luiz Carlos Pereira and Elaine Pimentel)
- Modal embeddings and calling paradigms (José Espírito Santo, Luís Pinto and Tarmo Uustalu)
- The Halpern-Mann iteration in UCW-hyperbolic spaces (Pedro Pinto and Laurențiu Leuștean)
- The arithmetical nature of the Hydra Game (Gabriele Pulcini)
- Adding abductive reasoning to a propositional logic (João Rasga and Cristina Sernadas)
- ‘Provability Implies Provable Provability’ in FLINSPACE (Paulo Guilherme Santos, Isabel Oitavem and Reinhard Kahle)
- Decidability of Consequence via Reduction (Jaime Ramos, João Rasga and Cristina Sernadas)