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

  • 24 August 2022, Master of Logic defense, Valentino Filipetto

    Date & Time: Wednesday 24 August 2022, 15:00
    Title: Constructing queries from data examples
    Location: Online (closed session)
    Supervisor: Balder ten Cate
  • 25 August 2022, Master of Logic defense, Anouk Oudshoorn

    Date & Time: Thursday 25 August 2022, 10:00
    Title: Cost Fixed Point Logic
    Location: Online (closed session)
    Supervisor: Bahareh Afshari
  • 25 August 2022, Master of Logic defense, Erin McCloskey

    Date & Time: Thursday 25 August 2022, 15:00
    Title: Two-sided fibrations and relative weak factorization systems
    Location: Online (closed session)
    Supervisor: Benno van den Berg & Paige North (University of Pennsylvania)
  • 29 August 2022, Master of Logic defense, Soeren Knudstorp

    Date & Time: Monday 29 August 2022, 10:00
    Title: Modal Information Logics
    Location: Online (closed session)
    Supervisor: Johan van Benthem and Nick Bezhanishvili
  • 29 August 2022, Master of Logic defense, Lide Grotenhuis

    Date & Time: Monday 29 August 2022, 13:00
    Title: Natural Axiomatic Theories and Consistency Strength: A Lakatosian Approach to the Linearity Conjecture
    Location: Online (closed session)
    Supervisor: Luca Incurvati and Giorgio Sbardolini
  • (New) 30 August 2022, Master of Logic defense, Tianwei Zhang

    Date & Time: Tuesday 30 August 2022, 15:00
    Title: Bisimulations over Parity Formulas
    Location: Online (closed session)
    Supervisor: Yde Venema en Johannes Marti
  • (New) 20 September 2022, Master of Logic defense, Rodrigo Almeida

    Date & Time: Tuesday 20 September 2022, 18:00
    Title: Polyatomic Logics and Generalised Blok-Esakia with Applications to Orthologic and KTB
    Location: Online (closed session)
    Supervisor: Nick Bezhanishvili and Tommaso Moraschini