Logic Colloquium 2022

Speaker

Bogdan Macovei

Talks at this conference:
 Fri, 16:00 Fully Certified Dynamic Epistemic Logic for Security Protocols ! Live

 Overview

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