Please note that this newsitem has been archived, and may contain outdated information or links.
29 November 2024, Master of Logic defense, Frank Goossens
Candidate: Frank Goossens
Title: Formalizing FLINT
Date: Friday 29 November 2024
Time: 12:00
Location: Room F3.20, Science Park 107, Amsterdam
Supervisor: Dean McHughes & Thom van Gessel
Please note that this newsitem has been archived, and may contain outdated information or links.