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
27 January 2021, PhD Defense, Elbert BooijTitle: The Things Before Us: On What it Is to Be an ObjectLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamSupervisor: Robert van RooijPromotor: Robert van RooijCopromotor: Franz Berto
18 February 2021, Master of Logic defense, Lukas ZengerTitle: Proof theory for fragments of the modal mu-calculusLocation: Online (Closed Session)Supervisor: Bahareh Afshari
24 February 2021, Master of Logic defense, Wijnand van WoerkomTitle: Algebraic models of type theoryLocation: Online (Closed Session)Supervisor: Benno van den BergMentor: Ronald de Wolf