ILLC Events this week

• 

  (Updated) 29 October 2026, Workshop on definability, algebra and duality in non-classical logic

  Date & Time: Thursday 29 October 2026, 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.
• 

  29 October 2026, PhD Defense, Daniil Khaitovich

  Date & Time: Thursday 29 October 2026, 10:00
  Title: From Arbitrary Sets to Social Groups: Group Agency in Multi-agent Modal Logic
  Location: Agnietenkapel, Oudezijds Voorburgwal 229, Amsterdam [NL]
  Promotor: Sonja Smets
  Copromotor: Aybüke Özgün
  For more information, contact Daniil Khaitovich at d.khaitovich at uva.nl.
• 

  29 October 2026, LIRa Event, Valentin Goranko, Olivier Roy, Zoé Christoff, Davide Grossi

  Date & Time: Thursday 29 October 2026, 13:00
  Speaker: Valentin Goranko, Olivier Roy, Zoé Christoff, Davide Grossi
  Title: Workshop at the occassion of a PhD defense (D. Khaitovich)
  Location: Humanities Lab F0.01, Bushuis, Kloveniersburgwal 48, Amsterdam [NL]
  For more information, see https://projects.illc.uva.nl/lgc/seminar/2026/09/phd-defence-daniil-khaitovich-and-workshop/.
• 

  (Updated) 29 October 2026, PhD defence workshop on Formal Theories of Group Agency

  Date & Time: Thursday 29 October 2026, 13:30-16:40
  Location: Humanities Lab F0.01, Bushuis, Kloveniersburgwal 48, Amsterdam [NL]

  To mark Daniil's PhD defence, we are organising a workshop dedicated to the study of group agency, broadly understood, via mathematical methods, broadly understood. The themes include, but are not limited to, modal logics of strategic and cooperative reasoning and philosophical aspects of mathematical and computational models of social interactions. Invited speakers are Davide Grossi, Olivier Roy, and Valentin Goranko.

  For more information, see https://sites.google.com/view/ftoa2026/home or contact Daniil Khaitovich at d.khaitovich at uva.nl.
• 

  30 October 2026, PhD Defense, Rodrigo Almeida

  Date & Time: Friday 30 October 2026, 14:00
  Title: Representations and model theory of free Heyting algebras
  Location: Aula, Oude Lutherse Kerk, Singel 411, Amsterdam
  Promotor: Nick Bezhanishvili
  Copromotor: Mamuka Jibladze
  For more information, contact Rodrigo Almeida at r.dacruzsilvapinadealmeida at uva.nl.