uva.nl

Institute for Logic, Language and Computation

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

  • 23 August 2024, Master of Logic defense, Wouter Smit

    Date & Time: Friday 23 August 2024, 11:00
    Title: Axiomatising Protocol-Dependent Logics and Logics of Gossiping
    Location: Room L0.11, Science Park 900, Amsterdam
    Supervisor: Malvin Gattinger

  • 26 August 2024, Master of Logic defense, Justus Becker

    Date & Time: Monday 26 August 2024, 10:00
    Title: Proof Translations for Intuitionistic Modal Logic
    Location: Room F3.20, Science Park 107, Amsterdam
    Supervisor: Marianna Girlando & Yde Venema

  • 27 August 2024, Master of Logic defense, Xiaoshuang Yang

    Date & Time: Tuesday 27 August 2024, 11:00
    Title: Using Zippers to make a Sequent Calculus prover faster
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Malvin Gattinger

  • (New) 27 August 2024, Master of Logic defense, Liam Chung

    Date & Time: Tuesday 27 August 2024, 13:00
    Title: Automata Closure Constructions for Kleene Algebra with Hypotheses
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Tobias Kappé & Yde Venema

  • 27 August 2024, Master of Logic, Alyssa Renata

    Date & Time: Tuesday 27 August 2024, 15:00
    Title: Homotopy Theory of Computable Spaces
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Benno van den Berg
    Mentor: Benno van den Berg

  • 29 August 2024, Master of Logic, Arun Ganguly

    Date & Time: Thursday 29 August 2024, 11:00
    Title: Characterization problems in Computational Learning Theory
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam
    Supervisor: Balder ten Care
    Mentor: Balder ten Care

  • 29 August 2024, Master of Logic defense, Hannah van Santvliet

    Date & Time: Thursday 29 August 2024, 11:00
    Title: Parameterized Proof Complexity Lower Bound with Cryptographic Assumptions
    Location: Room L3.36, Science Park 900, Amsterdam
    Supervisor: Ronald de Haan

  • (New) 29 August 2024, Master of Logic defense, Lukas Pieper

    Date & Time: Thursday 29 August 2024, 15:00
    Title: Compressibility in Model Theory
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Franziska Jahnke