29 August 2024, Master of Logic defense, Hannah van Santvliet
Candidate: Hannah van Santvliet
Title: Parameterized Proof Complexity Lower Bound with Cryptographic Assumptions
Date: Thursday 29 August 2024
Time: 11:00
Location: Room L3.36, Science Park 900, Amsterdam
Supervisor: Ronald de Haan