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

  • 25 November 2024, PhD Defence, Daira Pinto Prieto

    Date & Time: Monday 25 November 2024, 14:00
    Title: Combining Uncertain Evidence: Logic and Complexity
    Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
    Promotor: Ulle Endriss
    Copromotor: Ronald de Haan and Aybüke Özgün
  • 29 November 2024, Master of Logic defense, Frank Goossens

    Date & Time: Friday 29 November 2024, 12:00
    Title: Formalizing FLINT
    Location: Room F3.20, Science Park 107, Amsterdam
    Supervisor: Dean McHughes & Thom van Gessel
  • 6 December 2024, Master of Logic defense, Raufs Duņamalijevs

    Date & Time: Friday 6 December 2024, 15:00
    Title: Predicate evaluation in FastLanes
    Location: Room L1.17, ILLC Lab42, Science Park 900, Amsterdam
    Supervisor: Balder ten Cate
  • Willem_2.jpg

    9 December 2024, PhD defense, Willem Feijen

    Date & Time: Monday 9 December 2024, 17:00
    Title: Fast, Right or Best - Algorithms for Practical Optimization Problems
    Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
    Promotor: Guido Schäfer
    Copromotor: Rob van der Mei