News and Events: MoL and PhD defenses

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 Truths
    Location: Room L3.35, Lab 42, Science Park 100, Amsterdam
    Supervisor: 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 functors
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: 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 Decoding
    Location: Room L3.35, Lab 42, Science Park 100, Amsterdam
    Supervisor: Wilker Ferreira Aziz and Bryan Eikema