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
9 February 2023, Master of Logic defense, Andrew FishTitle: 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 KeizerTitle: 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 FoksTitle: Towards Efficient Minimum Bayes Risk DecodingLocation: Room L3.35, Lab 42, Science Park 100, AmsterdamSupervisor: Wilker Ferreira Aziz and Bryan Eikema