Logic Colloquium 2022

Speaker

Léo Exibard

Personal page
Talks at this conference:
 Thu, 11:50 Runtime monitoring for Hennessy-Milner logic with recursion over systems with data ! Live

 Overview

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