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
Title: Combining Uncertain Evidence: Logic and ComplexityLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Ulle EndrissCopromotor: Ronald de Haan and Aybüke ÖzgünFor more information, see https://www.uva.nl/en/content/events/2024/11/combining-uncertain-evidence-logic-and-complexity.html?origin=Hrba9dP3TiyS8U8plHPUHQ or contact Daira Pinto Prieto at d.pintoprieto at uva.nl. -
29 November 2024, Master of Logic defense, Frank Goossens
Title: Formalizing FLINTLocation: Room F3.20, Science Park 107, AmsterdamSupervisor: Dean McHughes & Thom van Gessel -
6 December 2024, Master of Logic defense, Raufs Duņamalijevs
Title: Predicate evaluation in FastLanesLocation: Room L1.17, ILLC Lab42, Science Park 900, AmsterdamSupervisor: Balder ten Cate -
9 December 2024, PhD defense, Willem Feijen
Title: Fast, Right or Best - Algorithms for Practical Optimization ProblemsLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Guido SchäferCopromotor: Rob van der Mei