-
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
