News and Events: MoL and PhD defenses

Please note that this newsitem has been archived, and may contain outdated information or links.

27 August 2020, Master of Logic defense, Tex Schönlank

Candidate: Tex Schönlank
Title: Syntactic logical relations for System F with recursive types and call-by-name semantics
Date: Thursday 27 August 2020
Time: 15:00
Location: Online (closed session)
Supervisor: Benno van den Berg en Herman Geuvers

Please note that this newsitem has been archived, and may contain outdated information or links.