News and Events: MoL and PhD defenses

Headlines MoL and PhD defenses

MoL and PhD defenses

  • 8 July 2025, Master of Logic, Orestis Dimou Belegratis

    Date & Time: Tuesday 8 July 2025, 13:00
    Title: Higher-Level Plural Logic
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Luca Incurvati
  • 9 July 2025, Master of Logic, Lorenz Hornung

    Date & Time: Wednesday 9 July 2025, 13:00
    Title: Towards Intensionality in Computational Legal Theory
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Maria Aloni, Giovanni Sileno (IVI)
  • 9 July 2025, Master of Logic, Kirti Singh

    Date & Time: Wednesday 9 July 2025, 16:00
    Title: Voter representation in multi-winner voting
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Ulle Endriss
  • 11 July 2025, Master of Logic, Fatima Scha

    Date & Time: Friday 11 July 2025, 15:00
    Title: The Paradoxicality of Curry
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Thomas Schindler
  • 25 August 2025, Master of Logic, Simon Chiu

    Date & Time: Monday 25 August 2025, 09:00
    Title: Nested Sequents in Haskell
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Marianna Girlando
  • 25 August 2025, Master of Logic, Kira Miller

    Date & Time: Monday 25 August 2025, 11:00
    Title: An Eye for an ‘I’: Investigating the Relationship between Embodiment and Agency and the Possibilities for Machine Learning Models
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Tom Schoonen
  • 25 August 2025, Master of Logic, Otto de Jong

    Date & Time: Monday 25 August 2025, 13:00
    Title: Structured Justifications for Binary Aggregation
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Ronald de Haan
  • 25 August 2025, Master of Logic, Lucrezia Mosconi

    Date & Time: Monday 25 August 2025, 15:00
    Title: Introducing CompLog or the Unexpected side of Logic Programming
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Ronald de Haan, Giorgio Sbardolini
  • 26 August 2025, Master of Logic, Joris Galema

    Date & Time: Tuesday 26 August 2025, 09:00
    Title: Belief Base models and Evidence models
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Malvin Gattinger, Alexandru Baltag
  • 26 August 2025, Master of Logic, Josef von Hoffman

    Date & Time: Tuesday 26 August 2025, 11:00
    Title: HMS duality with Applications to Substructural Logics
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Nick Bezhanishvili, Søren Knudstorp
  • 26 August 2025, Master of Logic, Bas Laarakker

    Date & Time: Tuesday 26 August 2025, 13:00
    Title: A Reflexive Graph Model for Dependent Types with Sizes
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Benno van den Berg, Daniël Otten
  • 26 August 2025, Master of Logic, Jonathan Osser

    Date & Time: Tuesday 26 August 2025, 15:00
    Title: Type theories as enhanced sketches
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Benno van den Berg, Ivan di Liberti
  • 27 August 2025, Master of Logic, Tenyo Takahashi

    Date & Time: Wednesday 27 August 2025, 09:00
    Title: Union-splittings, the axiomatization problem, and the rule dichotomy property in modal logic
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Nick Bezhanishvili
  • 27 August 2025, Master of Logic, Stefano Volpe

    Date & Time: Wednesday 27 August 2025, 11:00
    Title: Higher Inductive Types via Impredicative Encodings
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Benno van den Berg
  • 27 August 2025, Master of Logic, Simeon du Toit

    Date & Time: Wednesday 27 August 2025, 13:00
    Title: Presuppositionalism's Epistemology: Rationality and Persuasion
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Karolina Krzyzanowska
  • 27 August 2025, Master of Logic, Zhirui Chen

    Date & Time: Wednesday 27 August 2025, 15:00
    Title: Hypernymy and similarity in language-and-vision models
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Martha Lewis
  • 28 August 2025, Master of Logic, Yunchong Huang

    Date & Time: Thursday 28 August 2025, 11:00
    Title: Who won the last elections? Make LLMs Understand Underspecified Requests
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Sandro Pezzelle
  • 28 August 2025, Master of Logic, Clara Riedmiller

    Date & Time: Thursday 28 August 2025, 13:00
    Title: Exploring the Computational Necessity of Dual Processes for Intelligence
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Erman Acar, Giorgio Sbardolini
  • 28 August 2025, Master of Logic, Mayra Huespe

    Date & Time: Thursday 28 August 2025, 15:00
    Title: Mapping the Ethics of LLMs
    Location: online
    Supervisor: Arianna Betti, Eduardo Giovannini
  • 28 August 2025, Master of Logic, Yuan Ma

    Date & Time: Thursday 28 August 2025, 15:00
    Title: The Semantics of Disjunction in Mandarin Chinese
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Maria Aloni, Tomasz Klochowicz