Please note that this newsitem has been archived, and may contain outdated information or links.
5 June 2024, PhD Defence, Fatemeh Seifan
Candidate: Fatemeh Seifan
Title: Coalgebraic Fixpoint Logic: Expressivity and completeness results
Date: Wednesday 5 June 2024
Time: 17:00
Location: Aula, Oude Lutherse Kerk, Singel 411, Amsterdam
Promotor: Helle Hansen & Yde Venema
Copromotor: Sebastian Enqvist
For more information,
contact Yde Venema at y.venema at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.