Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

10 October 2019, PhD Defense, Frederik Möllerström Lauridsen

Candidate: Frederik Möllerström Lauridsen
Title: Cuts and Completions: Algebraic aspects of structural proof theory
Date: Thursday 10 October 2019
Time: 10:00
Location: Agnietenkapel, Oudezijds Voorburgwal 229-231, Amsterdam
Promotor: Yde Venema
Copromotor: Nick Bezhanishvili
For more information, contact Frederik at .

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