29 October 2026, Workshop on definability, algebra and duality in non-classical logic
Date: Thursday 29 October 2026
Time: 09:00
Location: F3.20, Science Park 107, Amsterdam
The DADL workshop 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:00 at the Aula of the University of Amsterdam (Singel 411, Amsterdam).
For more information, see
https://rodrigonalmeida.github.io/blog/thesisworkshop/
or contact Rodrigo Almeida at r.dacruzsilvapinadealmeida at uva.nl.