| STACS'23 | Theoretical Aspects of Computer Science | Hamburg (Germany), March 2023 |
| CSL'23 | Computer Science Logic | Warsaw (Poland), February 2023 |
| FoSSaCS'22 | 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 |
| 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 |
| MFCS'19 | Mathematical Foundations of Computer Science | Aachen (Germany), August 2019 |
| LICS'19 | 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 | , October 2018 |
| GandALF'18 | Games, Automata, Logics and Formal Verification | Saarbruecken (Germany), September 2018 |
| FORMATS'18 | Formal 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 |
| CSL'17 | Computer Science Logic | , |
| 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 |
| SYNT'16 | Synthesis | July 2016, Toronto (Canada) |
| 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 | 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 | 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 |