19 October 2026, Master of Logic defense, Bardo Maienborn
Candidate: Bardo Maienborn
Title: Bisimulations for Intuitionistic Modal Logics via Dialgebras
Date: Monday 19 October 2026
Time: 13:00
Location: F1.15, Science Park 107, Amsterdam
Supervisor: Yde Venema