Logic Colloquium 2022

Speaker

Revantha Ramanayake

Personal page
Talks at this conference:
 Wed, 14:00 Computer Science Logic - Sequent calculi with restricted cuts for non-classical logics ! Live

 Overview

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