-
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