Some of my talks

2023

FSTTCS'23
Foundations of Software Technology and Theoretical Computer Science
Hyderabad (India), December 2023

TIME'23
Temporal Representation and Reasoning
Athens (Greece), September 2023

EUMAS'23
Multi-Agent Systems
Naples (Italy), September 2023

FORMATS'23
Formal Modeling and Analysis of Timed Systems
Antwerp (Belgium), September 2023

RADICAL'23
Recent Advances in Concurrency and Logic
Antwerp (Belgium), September 2023

STACS'23
Theoretical Aspects of Computer Science
Hamburg (Germany), March 2023

CSL'23
Computer Science Logic
Warsaw (Poland), February 2023