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.
You can also view this information as a calendar or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
Headlines MoL and PhD defenses
MoL and PhD defenses
-
27 January 2021, PhD Defense, Elbert Booij
Title: 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 Zenger
Title: Proof theory for fragments of the modal mu-calculusLocation: Online (Closed Session)Supervisor: Bahareh Afshari -
24 February 2021, Master of Logic defense, Wijnand van Woerkom
Title: Algebraic models of type theoryLocation: Online (Closed Session)Supervisor: Benno van den BergMentor: Ronald de Wolf