Workshop on definability, algebra and duality in non-classical logic
The DADL workshop will take place on the 29th of October 2026 in Amsterdam. It aims to connect researchers and students interested in algebra, duality theory non-classical logics (especially intuitionistic modal logics) and definability problems in these topics (uniform interpolation, higher-order quantifier elimination, normal forms, free algebra constructions, etc). Participation is free and no registration is required.
The workshop is co-located with the PhD defense of Rodrigo Almeida. The defense is public and will be held on the 30 of October at 14 am at the Aula of the University of Amsterdam (Singel 411, Amsterdam).
Location and time
The workshop will take place at F3.20, SP107, Science Park. Click here for the address. Access to the building requires an access card, though it will be facilitated by the organizers. If you have any doubts about access, please let us know.
Schedule
| Time | Speaker | Title |
|---|---|---|
| 09:00 — 09:45 | Silvio Ghilardi | - |
| 09:45 — 10h30 | Marianna Girlando | - |
| 10:30 — 11:00 | Coffee break | - |
| 11:00 — 11:45 | Lev Beklemishev | - |
| 11:45 — 12:30 | Marco Abbadini | - |
| 12:30 — 14:00 | Lunch | - |
| 14:00 — 14:45 | Luca Carai | - |
| 14:45 — 15:30 | Matteo de Berardinis | - |
| 15:30 — 16:00 | Coffee | - |
| 16:00 — 16:45 | Nick Galatos | - |
Abstracts
- Silvio Ghilardi —
- Marianna Girlando —
- Lev Beklemishev —
- Marco Abbadini —
- Luca Carai —
- Matteo de Berardinis —
- Nick Galatos —
Workshop Dinner
There will be a workshop dinner after the workshop at Restaurant (---). The restaurant is within walking distance of Science Park. If you want to join the dinner, please fill in the form here so that we can make a reservation.
Contact
For any questions please contact Rodrigo Almeida at rodrigo.nico.almeida@gmail.com or Soren Knudstorp at s.b.knudstorp@uva.nl.