Please note that this newsitem has been archived, and may contain outdated information or links.
25 August 2025, Master of Logic, Simon Chiu
Candidate: Simon Chiu
Title: Nested Sequents in Haskell
Date: Monday 25 August 2025
Time: 09:00
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
Supervisor: Marianna Girlando
Please note that this newsitem has been archived, and may contain outdated information or links.