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