Please note that this newsitem has been archived, and may contain outdated information or links.
24 August 2020, Master of Logic defense, Pedro Del Valle-Inclán Vázquez
Candidate: Pedro Del Valle-Inclán Vázquez
Title: Structural Rules and Proof-Theoretic Harmony
Date: Monday 24 August 2020
Time: 10:00
Location: Online (closed session)
Supervisor: Julian Schlöder
Please note that this newsitem has been archived, and may contain outdated information or links.