Logic Colloquium 2022

Speaker

Konstantinos Papafilippou

Talks at this conference:
 Thu, 11:30 Hyperarithmetical Worm Battles ! Live

 Overview

If you encounter any issues with this website, please get in touch with Léo Exibard.