-
27 March 2025, Master of Logic defense, Djanira dos Santos Gomes
Date & Time:
Thursday 27 March 2025, 11:00
Title: Virtual Group Knowledge on Topological Evidence Models
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Alexandru Baltag & Malvin Gattinger
-
27 March 2025, Master of Logic defense, Jonas van der Schaaf
Date & Time:
Thursday 27 March 2025, 13:15
Title: AKE-principles for deeply ramified fields
Location: Room F3.20, Science Park 107, Amsterdam
Supervisor: Yde Venema & Franziska Jahnke
-
1 April 2025, Master of Logic defense, Stefano Zuffi
Date & Time:
Tuesday 1 April 2025, 10:00
Title: Arbitrary terms without arbitrary objects
Location: Room L2.06, Science Park 900, Amsterdam
Supervisor: Luca Incurvati
-
1 April 2025, PhD Defense, Aleksi Anttila
Date & Time:
Tuesday 1 April 2025, 16:00
Title: Not Nothing: Nonemptiness in Team Semantics
Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
Promotor: Robert van Rooij and Maria Aloni
Copromotor: Fan Yang
-
7 April 2025, Master of Logic defense, Paulius Skaisgiris
Date & Time:
Monday 7 April 2025, 15:00
Title: Inductive Learning of Temporal Advice Formulae for Guiding Planners
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Balder ten Cate & Daniele Meli
-
10 April 2025, Master of Logic defense, Daan in de Braekt
Date & Time:
Thursday 10 April 2025, 15:00
Title: Quantum State Preparation using Adaptive Circuits
Location: Room F3.20, Science Park 107, Amsterdam
Supervisor: Ronald de Wolf & Niels Neumann
-
2 May 2025, PhD defense, Niels Neumann
Date & Time:
Friday 2 May 2025, 13:00
Title: Adaptive Quantum Computers
Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
Promotor: Harry Buhrman and Frank Phillipson
Copromotor: Jop Briët
-
5 June 2025, Master of Logic defense, Horia Lixandru
Date & Time:
Thursday 5 June 2025, 14:00
Title: Change of Logic and the Adoption Problem
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Luca Incurvati & Giorgio Sbardolini