| STACS'23 | PC Track B co-chair | Theoretical Aspects of Computer Science | Hamburg (Germany), March 2023 |
| CSL'23 | PC member | Computer Science Logic | Warsaw (Poland), February 2023 |
| FSTTCS'22 | Invited speaker | Foundations of Software Technology and Theoretical Computer Science | Chennai (India), December 2022 |
| FORMATS'22 | Invited speaker | Formal Modeling and Analysis of Timed Systems | Warsaw (Poland), September 2022 |
| FoIKS'22 | Invited speaker | Foundations of Information and Knowledge Systems | Helsinki (Finland), June 2022 |
| FoSSaCS'22 | PC co-chair | Foundations of Software Science and Computation Structures | Munich (Germany), April 2022 |
| CONCUR'21 | Invited speaker | Concurrency Theory | Paris (France), online, August 2021 |
| LAMAS&SR'21 | PC member | Logical Aspects in Multi-Agent Systems and Strategic Reasoning | Online, May 2021 |
| RP'20 | Invited speaker | Reachability Problems | Paris (France), online, October 2020 |
| GandALF'20 | Games, Automata, Logics, and Formal Verification | Brussels (Belgium), online, September 2020 | |
| CONCUR'20 | PC member | Concurrency Theory | Vienna (Austria), online, August 2020 |
| ICALP'20 | PC member | Automata, Languages, and Programming | Beijing (China), Saarbrücken (Germany), online, July 2020 |
| FSTTCS'19 | Foundations of Software Technology and Theoretical Computer Science | Mumbai (India), December2019 | |
| ATVA'19 | Invited speaker | Automated Technology for Verification and Analysis | Taipei (Taiwan), October 2019 |
| TIME'19 | Invited speaker | Temporal Representation and Reasoning | Malaga (Spain), October 2019 |
| GandALF'19 | PC member | Games, Automata, Logics, and Formal Verification | Bordeaux (France), September 2019 |
| CONCUR'19 | Concurrency Theory | Amsterdam (The Netherlands), August 2019 | |
| MFCS'19 | PC member | Mathematical Foundations of Computer Science | Aachen (Germany), August 2019 |
| IJCAI'19 | Artificial Intelligence | Macao (China), August 2019 | |
| LICS'19 | PC chair | Logic in Computer Science | Vancouver (Canada), June 2019 |
| FoSSaCS'19 | Foundations of Software Science and Computation Structures | Prague (Czech Republic), April 2019 | |
| TACAS'19 | PC member | Tools and Algorithms for the Construction and Analysis of Systems | Prague (Czech Republic), April 2019 |
| TIME'18 | PC member | Temporal Representation and Reasoning | Warsaw (Poland), October 2018 |
| GandALF'18 | PC member | Games, Automata, Logics and Formal Verification | Saarbruecken (Germany), September 2018 |
| FORMATS'18 | PC member | Formal Modelling and Analysis of Timed Systems | Beijing (China), September 2018 |
| MFCS'18 | PC member | Mathematical Foundations of Computer Science | Liverpool (UK), August 2018 |
| FM'18 | Best paper award | Formal Methods | Oxford (UK), July 2018 |
| SR'18 | PC co-chair | Strategic Reasoning | Oxford (UK), July 2018 |
| CiE'18 | PC member | Computability in Europe | Kiel (Germany), June 2018 |
| FoSSaCS'18 | Foundations of Software Science and Computation Structures | Thessaloniki (Greece), April 2018 |
| RP'17 | PC member | Reachability Problems | London (UK), September 2017 |
| GandALF'17 | PC co-chair | Games, Automata, Logics and Formal Verification | Roma (Italy), September 2017 |
| FCT'17 | PC member | Fundamentals of Computation Theory | Bordeaux (France), September 2017 |
| FORMATS'17 | PC member | Formal Modelling and Analysis of Timed Systems | Berlin (Germany), Septembre 2017 |
| MFCS'17 | PC member | Mathematical Foundations of Computer Science | Aalborg (Denmark), August 2017 |
| CSL'17 | PC member | Computer Science Logic | Stockholm (Sweden), August 2017 |
| LC'17 | Invited speaker | Logic Colloquium | Stockholm (Sweden), August 2017 |
| LICS'17 | PC member, Workshop chair | Logic in Computer Science | Reykjavik (Iceland), June 2017 |
| SOFSEM'17 | PC member | Current Trends in Theory and Practice of Computer Science | Limerick (Ireland), January 2017 |
| FSTTCS'16 | PC member | Foundations of Software Technology and Theoretical Computer Science | Chennai (India), December 2016 |
| GandALF'16 | PC member | Games, Automata, Logics and Formal Verification | Genova (Italy), September 2016 |
| MFCS'16 | Invited speaker | Mathematical Foundations of Computer Science | Krakow (Poland), August 2016 |
| SYNT'16 | PC member | Synthesis | July 2016, Toronto (Canada) |
| SR'16 | PC member | Strategic Reasoning | New-York (USA), July 2016 |
| LICS'16 | Workshop chair | Logic in Computer Science | New York (USA), July 2016 |
| MOVEP'16 | PC member | Modelling and Verification of Parallel Processes | Genova (Italy), June-July 2016 |
| CSR'16 | Computer Science Russia | St Petersburg (Russia), June 2016 | |
| FSCD'16 | PC member | Formal Structures for Computation and Deduction | Porto (Portugal), June 2016 |
| TACAS'16 | PC member | Tools and Algorithms for the Construction and Analysis of Systems | Eindhoven (Netherlands), April 2016 |
| FSTTCS'15 | Foundations of Software Technology and Theoretical Computer Science | Bangalore (India), December 2015 | |
| MSR'15 | PC member | Modélisation des systèmes réactifs | Nancy (France), November 2015 |
| CSL'15 | PC member | Computer Science Logic | Berlin (Germany), September 2015 |
| CONCUR'15 | Concurrency Theory | Madrid (Spain), September 2015 | |
| FORMATS'15 | Formal Modeling and Analysis of Timed Systems | Madrid (Spain), September 2015 | |
| LICS'15 | Workshop chair, PC member | Logic in Computer Science | Kyoto (Japan), July 2015 |
| AutoMathA'15 | Invited speaker | Jewels of Automata: from Mathematics to Applications | Leipzig (Germany), May 2015 |
| TACAS'15 | PC member | Tools and Algorithms for the Construction and Analysis of Systems | London (UK), April 2015 |
| VMCAI'15 | PC member | Verification, Model Checking, and Abstract Interpretation | Mumbai (India), January 2015 |
| FSTTCS'14 | Foundations of Software Technology and Theoretical Computer Science | New Delhi (India), December 2014 | |
| ATVA'14 | Automated Technology for Verification and Analysis | Sydney (Australia), November 2014 | |
| CONCUR'14 | Concurrency Theory | Roma (Italy), September 2014 | |
| EATCS Young Researchers School | Invited lecturer | Automata, Logic and Games | Telč (Czech Republic), July 2014 |
| LICS'14 | Workshop chair | Logic in Computer Science | Vienna (Austria), July 2014 |
| MOVEP'14 | Invited lecturer | MOdelling and VErifying parallel Processes | Nantes (France), July 2014 |
| HSCC'14 | PC member | Hybrid Systems: Computation and Control | Berlin (Germany), April 2014 |
| SR'14 | Strategic Reasoning | Grenoble (France), April 2014 |
| RP'13 | Invited speaker | Reachability Problems | Uppsala (Sweden), September 2013 |
| FORMATS'13 | Formal Modeling and Analysis of Timed Systems | Buenos Aires (Argentina), August 2013 | |
| CONCUR'13 | PC member | Concurrency Theory | Buenos Aires (Argentina), August 2013 |
| ICALP'13 | PC member | Automata, Languages and Programming | Riga (Latvia), July 2013 |
| LICS'13 | Workshop chair | Logic in Computer Science | New Orleans (USA), June 2013 |
| GT Verif | Journées annuelles du GT Vérification du GDR IM | Cachan (France), June 2013 | |
| Workshop on Formal Verification of Embedded Control Systems | Invited speaker | Formal Verification of Embedded Control Systems | Lund (Sweden), April 2013 |
| MEMICS'12 | PC member | Mathematical and Engineering Methods in Computer Science | Znojmo (Czech Republic), October 2012 |
| QEST'12 | Quantitative Evaluation of SysTems | London (UK), September 2012 | |
| FM'12 | PC member | Formal Methods | Paris (France), August 2012 |
| CIAA'12 | PC member | Implementation and Application of Automata | Porto (Portugal), July 2012 |
| ICALP'12 | Automata, Languages and Programming | Warwick (England), July 2012 | |
| LICS'12 | PC member | Logic in Computer Science | Dubrovnik (Croatia), June 2012 |
| FoSSaCS'12 | Foundations of Software Science and Computation Structures | Tallinn (Estonia), March-April 2012 | |
| LATA'12 | PC member | Language and Automata Theory and Applications | A Coruña (Spain), March 2012 |
| FSTTCS'11 | Foundations of Software Technology and Theoretical Computer Science | Mumbai (India), December 2011 | |
| MSR'11 | PC member | Modélisation des systèmes réactifs | Lille (France), November 2011 |
| ATVA'11 | Automated Technology for Verification and Analysis | Taipei (Taiwan), October 2011 | |
| FORMATS'11 | PC member | Formal Modeling and Analysis of Timed Systems | Aalborg (Denmark), September 2011 |
| CONCUR'11 | Concurrency Theory | Saarbrücken (Germany), September 2011 | |
| ICALP'11 | Presburger Award | Automata, Languages and Programming | Zürich (Switzerland), July 2011 |
| LICS'11 | PC member | Logic in Computer Science | Toronto (Canada), June 2011 |
| TACAS'11 | PC member | Tools and Algorithms for the Construction and Analysis of Systems | Saarbrücken (Germany), March-April 2011 |
| Journées nationales du GDR IM | Invited speaker | GDR Informatique mathématique | Paris (France), January 2011 |
| FSTTCS'10 | Foundations of Software Technology and Theoretical Computer Science | Chennai (India), December 2010 | |
| QEST'10 | PC member | Quantitative Evaluation of Systems | Williamsburg (VA, USA), September 2010 |
| FORMATS'10 | Formal Modeling and Analysis of Timed Systems | Vienna (Austria), Septembre 2010 | |
| CONCUR'10 | Concurrency Theory | Paris (France), August-Septembre 2010 | |
| MFCS'10 | PC member | Mathematical Foundations of Computer Science | Brno (Czech Republic), August 2010 |
| ICALP'10 | PC member | Automata, Languages and Programming | Bordeaux (France), July 2010 |
| MOVEP'10 | PC member | Modelling and Verifying Parallel Processes | Aachen (Germany), June-July 2010 |
| WATA'10 | Invited lecturer | Weighted Automata: Theory and Applications | Leipzig (Germany), May 2010 |
| HSCC'10 | Hybrid Systems: Computation and Control | Stockholm (Sweden), April 2010 | |
| QAPL'10 | PC member | Quantitative Aspects of Programming | Paphos (Cyprus), March 2010 |
| FoSSaCS'10 | PC member | Foundations of Software Science and Computation Structures | Paphos (Cyprus), March 2010 |
| AVACS Spring School | Invited lecturer | Automatic Verification and Analysis of Complex Systems | Oldenburg (Germany), March 2010 |
| QMC Winter School | Invited lecturer | Quantitative Model Checking | Copenhagen (Denmark), March 2010 |
| Dagstuhl seminar | Quantitative Models: Expressiveness and Analysis | Dagstuhl Schloß (Germany), January 2010 |
| MSR'09 | Invited speaker, PC member | Modélisation des Systèmes réactifs | Nantes (France), October 2009 |
| VTSA'09 | Invited speaker | Verification Technology, Systems & Applications | Nancy (France), October 2009 |
| EMSOFT'09 | PC member | Embedded Software | Grenoble (France), October 2009 |
| QEST'09 | PC member | Quantitative Evaluation of Systems | Budapest (Hungary), September 2009 |
| CSL'09 | PC member | Computer Science Logic | Coimbra (Portugal), September 2009 |
| CONCUR'09 | Concurrency Theory | Bologna (Italy), September 2009 | |
| QUANTLOG'09 | Invited speaker | Quantitative Logics | Rhodes (Greece), July 2009 |
| ICALP'09 | Automata, Languages and Programming | Rhodes (Greece), July 2009 | |
| SPIN'09 | PC member | Model Checking of Software | Grenoble (France), June 2009 |
| QAPL'09 | PC member | Quantitative Aspects of Programming Languages | York (UK), March 2009 |
| STACS'09 | PC member | Theoretical Aspects of Computer Science | Freiburg (Germany), February 2009 |
| ACTS'09 | PC member, speaker | Automata, Concurrency and Timed Systems | Chennai (India), January 2009 |
| SOFSEM'09 | PC member | Current Trends in Theory and Practice of Computer Science | Špindlerův mlýn (Czech Republic), January 2009 |
| QEST'08 | PC member | Quantitative Evaluation of Systems | Saint-Malo (France), September 2008 |
| FORMATS'08 | PC member | Formal Modeling and Analysis of Timed Systems | Saint-Malo (France), September 2008 |
| GAMES'08 | Invited tutorial speaker | Games and Automata for Synthesis and Validation | Warsaw (Poland), September 2008 |
| Journées Montoises 2008 | Invited speaker at the workshop | Journées Montoises d'Informatique Théorique | Mons (Belgium), August 2008 |
| CONCUR'08 | PC member | Concurrency Theory | Toronto (Canada), August 2008 |
| ICALP'08 | Automata, Languages and Programming | Reykjavík (Iceland), July 2008 | |
| LICS'08 | Logic in Computer Science | Pittsburgh, PA (USA), June 2008 | |
| MOVEP'08 | PC member | MOdelling and VErifying parallel Processes | Orléans (France), June 2008 |
| Dagstuhl seminar | Beyond the Finite: New Challenges in Verification and Semistructured Data | Schloss Dagstuhl (Germany), April 2008 | |
| FoSSaCS'08 | Foundations of Software Science and Computation Structures | Budapest (Hungary), March-April 2008 | |
| TACAS'08 | PC member | Tools and Algorithms for the Construction and Analysis of Systems | Budapest (Hungary), March-April 2008 |
| QAPL'08 | PC member | Quantitative Analysis of Programming Languages | Budapest (Hungary), March-April 2008 |
| TFIT'08 | Invited speaker | Taiwanese-French Conference on Information Technology | Taipei (Taiwan), March 2008 |
| STACS'08 | Symposium on Theoretical Aspects of Computer Science | Bordeaux (France), February 2008 |
| FSTTCS'07 | Foundations of Software Technology and Theoretical Computer Science | New Delhi (India), December 2007 | |
| M4M-5 | Invited speaker | Methods for Modalities | Cachan (France), November 2007 |
| MSR'07 | PC member | Modélisation des Systèmes Réactifs | Lyon (France), October 2007 |
| FORMATS'07 | PC member | Formal Modeling and Analysis of Timed Systems | Salzburg (Austria), October 2007 |
| AVoCS'07 | PC member | Automated Verification of Critical Systems | Oxford (UK), September 2007 |
| LICS'07 | Logic in Computer Science | Wrocław (Poland), July 2007 | |
| LFCS'07 | Logical Foundations of Computer Science | New-York (USA), June 2007 | |
| FoSSaCS'07 | Foundations of Software Science and Computation Structures | Braga (Portugal), March-April 2007 |
| FSTTCS'06 | Foundations of Software Technology and Theoretical Computer Science | Kolkata (India), December 2006 | |
| ATVA'06 | Automated Technology for Verification and Analysis | Beijing (China), October 2006 | |
| FORMATS'06 | PC co-chair Organization | Formal Modelling and Analysis of Timed Systems | Paris (France), September 2006 |
| AVoCS'06 | PC member | Automated Verification of Critical Systems | Nancy (France), September 2006 |
| CORTOS'06 | Invited speaker | Control and Observation of Real-Time Open Systems | Bonn (Germany), August 2006 |
| CONCUR'06 | PC member | Concurrency Theory | Bonn (Germany), August 2006 |
| GDV'06 | PC co-chair | Games in Design and Verification | Seattle (WA, USA), August 2006 |
| LICS'06 | Logic in Computer Science | Seattle (WA, USA), August 2006 | |
| ICALP'06 | Automata, Languages and Programming | Venice (Italy), July 2006 | |
| ACSD'06 | Application of Concurrency to System Design | Turku (Finland), June 2006 | |
| MFPS XXII | Invited speaker | Mathematical Foundations of Programming Semantics | Genova (Italy), May 2006 |
| LATIN'06 | Latin American Theoretical INformatics | Valdivia (Chile), March 2006 |
| FSTTCS'05 | Foundations of Software Technology and Theoretical Computer Science | Hyderabad (India), December 2005 | |
| Perspectives in Verification | Organization | Doctor honoris causa of Wolfgang Thomas | Cachan (France), November 2005 |
| MSR'05 | Invited speaker | Modélisation des Systèmes réactifs | Autrans (France), October 2005 |
| School ARTIST2 | Invited lecturer | Summer School of the European Network of Excellence ARTIST2: Component & Modelling, Testing & Verification, and Statical Analysis of Embedded Systems | Nässlingen (Sweden), October 2005 |
| FORMATS'05 | PC member | Formal Modelling and Analysis of Timed Systems | Uppsala (Sweden), September 2005 |
| ETR'05 | Invited lecturer | École Temps-Réel | Nancy (France), September 2005 |
| AVoCS'05 | Invited speaker | Automated Verification of Critical Systems | Warwick (UK), September 2005 |
| INFINITY'05 | Invited speaker | Verification of Infinite-State Systems | San Francisco (CA, USA), August 2005 |
| CONCUR'05 | Concurrency Theory | San Francisco (CA, USA), August 2005 | |
| GDV'05 | Invited speaker | Games in Design and Verification | Edinburgh (Scotland), July 2005 |
| FoSSaCS'05 | Foundations of Software Science and Computation Structures | Edinburgh (Scotland), April 2005 | |
| TACAS'05 | PC member | Tools and Algorithms for the Construction and Analysis of Systems | Edinburgh (Scotland), April 2005 |
| GAMES School | Invited lecturer | Spring School of the GAMES European Project | Bonn (Germany), March 2005 |
| JSI'05 | Invited speaker | Journées Systèmes infinis | Cachan (France), March 2005 |
| FSTTCS'04 | Foundations of Software Technology and Theoretical Computer Science | Chennai (India), December 2004 | |
| MOVEP'04 | Invited lecturer | MOdélisation et VÉrification des Processus Parallèles | Brussels (Belgium), December 2004 |
| QEST'04 | Tutorial | Quantitative Evaluation of Systems | Twente (The Netherlands), September 2004 |
| FORMATS+FTRTFT'04 | PC member | Formal Modelling and Analysis of Timed Systems, Formal Techniques in Real-Time and Fault Tolerant Systems | Grenoble (France), September 2004 |
| GDV'04 | Games in Design and Verification | Boston (MA, USA), July 2004 | |
| TACAS'04 | Tools and Algorithms for the Construction and Analysis of Systems | Barcelona (Spain), March-April 2004 | |
| School EPIT32 | Invited lecturer | Spring School of Theoretical Computer Science: Theory and Applications of Concurrency | Luminy (France), April 2004 |
| FAC'04 | Invited speaker | Formalisation des activités concurrentes | Toulouse (France), March 2004 |
| MSR'03 | Modélisation des Systèmes réactifs | Metz (France), October 2003 | |
| CAV'03 | Computer-Aided Verification | Boulder (CO, USA), July 2003 | |
| TACAS'03 | Tools and Algorithms for the Construction and Analysis of Systems | Warsaw (Poland), April 2003 | |
| STACS'03 | Theoretical Aspects of Computer Science | Berlin (Germany), March 2003 | |
| ACL'03 | Invited speaker | Automata, Concurrency and Logic | Chennai (India), January 2003 |
| RT-TOOLS'02 | Real-Time Tools | Copenhagen (Denmark), August 2002 |
| CSL'01 | Organization | Computer Science Logic | Paris (France), September 2001 |
| CONCUR'01 | Concurrency Theory | Aalborg (Denmark), August 2001 | |
| CAV'01 | Organization | Computer-Aided Verification | Paris (France), July 2001 |
| MFCS'00 | Mathematical Foundations of Computer Science | Bratislava (Slovak Republic), August-September 2001 | |
| CAV'00 | Computer-Aided Verification | Chicago (IL, USA), July 2000 |
| ICALP'99 | Automata, Languages, and Programming | Prague (Czech Republic), July 1999 |
| FSTTCS'98 | Foundations of Software Technology and Theoretical Computer Science | Chennai (India), December 1998 |