These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines MoL and PhD defenses
MoL and PhD defenses
24 September 2021, Master of Logic defense, Daan RijksTitle: Programming With Open GamesLocation: Online (closed session)Supervisor: Benno van den Berg & Jules Hedges
(New) 13 October 2021, PhD Defense, Levin HornischerTitle: Dynamical Systems via Domains: Toward a Unified Foundation of Symbolic and Non-symbolic ComputationLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Michiel van LambalgenCopromotor: Franz BertoFor more information, contact Levin Hornischer at l.a.hornischer at uva.nl.