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 |