PC conferences I have worked on (or will work on)

CONCUR'25 (PC co-chair)
Concurrency Theory
Aarhus (Denmark), August 2025

LICS'25
Logic in Computer Science
Singapore, June 2025

Jewels of Automata Theory'24
Jewels of Automata Theory
Bordeaux (France), September 2024

ICALP'24
Automata, Languages and Programming
Talinn (Estonia), July 2024

CiE'24
Computability in Europe
Amsterdam (The Netherlands), July 2024

FSTTCS'23 (Track B PC chair)
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 (Track B PC co-chair)
Theoretical Aspects of Computer Science
Hamburg (Germany), March 2023

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

FoSSaCS'22 (PC co-chair)
Foundations of Software Science and Computation Structures
Munich (Germany), April 2022

LAMAS&SR'21
Logical Aspects in Multi-Agent Systems and Strategic Reasoning
Online, May 2021

CONCUR'20
Concurrency Theory
Vienna (Austria), online, August 2020

FORMATS'20
Formal Modeling and Analysis of Timed Systems
Vienna (Austria), September 2020

ICALP'20
Automata, Languages, and Programming
Beijing (China), Saarbrücken (Germany), online, July 2020

GandALF'19
Games, Automata, Logics, and Formal Verification
Bordeaux (France), September 2019

LICS'19 (PC chair)
Logic in Computer Science
Vancouver (Canada), June 2019

TACAS'19
Tools and Algorithms for the Construction and Analysis of Systems
Prague (Czech Republic), April 2019

TIME'18
Temporal Representation and Reasoning
Warsaw (Poland), October 2018

GandALF'18
Games, Automata, Logics and Formal Verification
Saarbruecken (Germany), September 2018

FORMATS'18
TFormal Modelling and Analysis of Timed Systems
Beijing (China), September 2018

MFCS'18
Mathematical Foundations of Computer Science
Liverpool (UK), August 2018

SR'18
Strategic Reasoning
Oxford (UK), July 2018

CiE'18
Computability in Europe
Kiel (Germany), June 2018

RP'17
Reachability Problems
London (UK), September 2017

GandALF'17
Games, Automata, Logics and Formal Verification
Roma (Italy), September 2017

FCT'17
Fundamentals of Computation Theory
Bordeaux (France), September 2017

FORMATS'17
Formal Modelling and Analysis of Timed Systems
Berlin (Germany), Septembre 2017

MFCS'17
Mathematical Foundations of Computer Science
Aalborg (Denmark), August 2017

CSL'17
Computer Science Logic
Stockholm (Sweden), August 2017

LICS'17
Logic in Computer Science
Reykjavik (Iceland), June 2017

SOFSEM'17
Current Trends in Theory and Practice of Computer Science
Limerick (Ireland), January 2017

FSTTCS'16
Foundations of Software Technology and Theoretical Computer Science
Chennai (India), December 2016

GandALF'16
Games, Automata, Logics and Formal Verification
Genova (Italy), September 2016

GandALF'16
Synthesis
Toronto (Canada), July 2016

SR'16
Strategic Reasoning
New-York (USA), July 2016

MOVEP'16
Modelling and Verification of Parallel Processes
Genova (Italy), June-July 2016

FSCD'16
Formal Structures for Computation and Deduction
Porto (Portugal), June 2016

TACAS'16
Tools and Algorithms for the Construction and Analysis of Systems
Eindhoven (Netherlands), April 2016

MSR'15
Modélisation des systèmes réactifs
Nancy (France), November 2015

CSL'15
Computer Science Logic
Berlin (Germany), September 2015

LICS'15
Logic in Computer Science
Kyoto (Japan), July 2015

TACAS'15
Tools and Algorithms for the Construction and Analysis of Systems
London (UK), April 2015

VMCAI'15
Verification, Model Checking, and Abstract Interpretation
Mumbai (India), January 2015

HSCC'14
Hybrid Systems: Computation and Control
Berlin (Germany), April 2014

CONCUR'13
Concurrency Theory
Buenos Aires (Argentina), August 2013

ICALP'13
Automata, Languages and Programming
Riga (Latvia), July 2013

MEMICS'12
Mathematical and Engineering Methods in Computer Science
Znojmo (Czech Republic), October 2012

LICS'12
Logic in Computer Science
Dubrovnik (Croatia), June 2012

LATA'12
Language and Automata Theory and Applications
A Coruña (Spain), March 2012

MSR'11
Modélisation des systèmes réactifs
Lille (France), November 2011

FORMATS'11
Formal Modeling and Analysis of Timed Systems
Aalborg (Denmark), September 2011

LICS'11
Logic in Computer Science
Toronto (Canada), June 2011

TACAS'11
Tools and Algorithms for the Construction and Analysis of Systems
Saarbrücken (Germany), March-April 2011

QEST'10
Quantitative Evaluation of Systems
Williamsburg (VA, USA), September 2010

MFCS'10
Mathematical Foundations of Computer Science
Brno (Czech Republic), August 2010

ICALP'10
Automata, Languages and Programming
Bordeaux (France), July 2010

MOVEP'10
Modelling and Verifying Parallel Processes
Aachen (Germany), June-July 2010

QAPL'10
Quantitative Aspects of Programming
Paphos (Cyprus), March 2010

FoSSaCS'10
Foundations of Software Science and Computation Structures
Paphos (Cyprus), March 2010

MSR'09
Modélisation des Systèmes réactifs
Nantes (France), October 2009

EMSOFT'09
Embedded Software
Grenoble (France), October 2009

QEST'09
Quantitative Evaluation of Systems
Budapest (Hungary), September 2009

CSL'09
Computer Science Logic
Coimbra (Portugal), September 2009

SPIN'09
Model Checking of Software
Grenoble (France), June 2009

QAPL'09
Quantitative Aspects of Programming Languages
York (UK), March 2009

STACS'09
Theoretical Aspects of Computer Science
Freiburg (Germany), February 2009

SOFSEM'09
Current Trends in Theory and Practice of Computer Science
Špindlerův mlýn (Czech Republic), January 2009

QEST'08
Quantitative Evaluation of Systems
Saint-Malo (France), September 2008

FORMATS'08
Formal Modeling and Analysis of Timed Systems
Saint-Malo (France), September 2008

CONCUR'08
Concurrency Theory
Toronto (Canada), August 2008

MOVEP'08
MOdelling and VErifying parallel Processes
Orléans (France), June 2008

TACAS'08
Tools and Algorithms for the Construction and Analysis of Systems
Budapest (Hungary), March-April 2008

QAPL'08
Quantitative Analysis of Programming Languages
Budapest (Hungary), March-April 2008

MSR'07
Modélisation des Systèmes Réactifs
Lyon (France), October 2007

FORMATS'07
Formal Modeling and Analysis of Timed Systems
Salzburg (Austria), October 2007

AVoCS'07
Automated Verification of Critical Systems
Oxford (UK), September 2007

FORMATS'06 (PC co-chair)
Formal Modelling and Analysis of Timed Systems
Paris (France), September 2006

AVoCS'06
Automated Verification of Critical Systems
Nancy (France), September 2006

CONCUR'06
Concurrency Theory
Bonn (Germany), August 2006

GDV'06 (PC co-chair)
Games in Design and Verification
Seattle (WA, USA), August 2006

FORMATS'05
Formal Modelling and Analysis of Timed Systems
Uppsala (Sweden), September 2005

TACAS'05
Tools and Algorithms for the Construction and Analysis of Systems
Edinburgh (Scotland), April 2005

FORMATS+FTRTFT'04
Formal Modelling and Analysis of Timed Systems, Formal Techniques in Real-Time and Fault Tolerant Systems
Grenoble (France), September 2004