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
-
9 February 2023, Master of Logic defense, Andrew Fish
Date & Time: Thursday 9 February 2023, 11:15
Title: Extensional Realism: Interesting and Uninteresting TruthsLocation: Room L3.35, Lab 42, Science Park 100, AmsterdamSupervisor: Sebastian De Haro Ollé -
22 February 2023, Master of Logic defense, Alex Keizer
Date & Time: Wednesday 22 February 2023, 10:00
Title: Implementing a definitional (co)datatype package in Lean 4, based on quotients of polynomial functorsLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Jasmin Blanchette and Benno van den Berg -
(New) 24 February 2023, Master of Logic defense, Gerson Foks
Date & Time: Friday 24 February 2023, 11:00
Title: Towards Efficient Minimum Bayes Risk DecodingLocation: Room L3.35, Lab 42, Science Park 100, AmsterdamSupervisor: Wilker Ferreira Aziz and Bryan Eikema