(New) 28 October 2026, Master of Logic defense, Noam Cohen

Candidate: Noam Cohen

Title: To Infinity and Beyond: Expressive completeness of the modal mu-calculus with transfinite counting modalities

Date: Wednesday 28 October 2026

Time: 15:00

Location: online

Supervisor: Yde Venema