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
-
4 July 2024, Master of Logic defense, Daan Schoneveld
Date & Time: Thursday 4 July 2024, 13:00
Title: On Quantum Data StructuresLocation: Room B1.25, Science Park 904, AmsterdamSupervisor: Ronald de Haan & Stacey Jeffery -
27 August 2024, Master of Logic defense, Xiaoshuang Yang
Date & Time: Tuesday 27 August 2024, 11:00
Title: Using Zippers to make a Sequent Calculus prover fasterLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Malvin Gattinger -
27 August 2024, Master of Logic, Alyssa Renata
Date & Time: Tuesday 27 August 2024, 15:00
Title: Homotopy Theory of Computable SpacesLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Benno van den BergMentor: Benno van den Berg -
29 August 2024, Master of Logic, Arun Ganguly
Date & Time: Thursday 29 August 2024, 11:00
Title: Characterization problems in Computational Learning TheoryLocation: ILLC Common Room F1.21, Science Park 107, AmsterdamSupervisor: Balder ten CareMentor: Balder ten Care