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
-
15 December 2023, PhD Defence, Mario Giulianelli
Title: Neural Models of Language UseLocation: Aula, Oude Lutherse Kerk, Singel 411, AmsterdamPromotor: Raquel FernándezCopromotor: Willem ZuidemaMario Giulianelli will defend his PhD thesis on Neural Models Of Language Useon 15th December. The defence will take place in the Aula (Oude Lutherse kerk, Singel 411) at 11 am.
For more information, contact Mario Giulianelli at m.giulianelli at uva.nl. -
30 January 2024, PhD defense, Guillermo Menéndez Turata
Title: Cyclic Proof Systems for Modal Fixpoint LogicsLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Yde VenemaCopromotor: Bahareh Afshari -
31 January 2024, PhD defense, Jan Rooduijn
Title: Fragments and Frame Classes: towards a uniform proof theory of modal fixed pointsLocation: Aula, Oude Lutherse Kerk, Singel 411, AmsterdamPromotor: Yde VenemaCopromotor: Johannes MartiFor more information, contact Jan Rooduijn at j.m.w.rooduijn at uva.nl.