2025

• 36th International Conference on Concurrency Theory CONCUR'25, August 2025, Aarhus, Denmark
• Summer School Marktoberdorf 2025 MOD'25, August 2025, Marktoberdorf, Germany

2024

• Strachey Lecture in Computer Science, February 2024, Oxford, UK
• International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ISoLA/AISoLA 2024 October 2024, Crete, Greece

2023

• Workshop on Verification of Probabilistic Programs VeriProp 2023, July 2023, Paris, France
• Workshop dedicated to Tom Henzinger for his 60th birthday Henzinger Festschrift, July 2023, Paris, France

2022

• 18th International Conference on Formal Aspects of Component Software FACS'22 November 2022, Oslo, Norway (online)
• Summer School on Modelling and Verification of Parallel Processes MOVEP'22 June 2022, Aalborg, Denmark

2021

• 48th International Colloquium on Automata, Languages and Programming ICALP'21 July 2021, Glasgow, UK (online)
• 10th IFIP WG 1.8 Workshop on Trends in Concurrency Theory TRENDS'21 Satellite event of QONFEST'21, Paris, France (online)
• Verification Mentoring Workshop VMW'21 Satellite event of CAV'21, Los Angelos, US (online)

2019

• 6th Workshop on Synthesis of Complex Parameters SynCoP'19 Satellite event of ETAPS'19, Prague, CZ

2018

• 43rd International Symposium on Mathematical Foundations of Computer Science MFCS'18 August 2018, Liverpool, UK.
• Workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe'18) MoRe'18 July 2018, FloC, Oxford, UK.
• IEEE Colombian Conference on Communication and Computing COLCOM'18 May 2018, Medellin, Colombia.

2017

• 2nd Winter School in Engineering and Computer Science on Formal Verification Israel Winter School December 2017, Jerusalem, Israel.
• 1st School on Foundations of Programming and Software Systems. Probabilistic Programming ProbProgSchool May/June 2017, Vila Verde, Portugal.
• Verification Technology, Systems and Applications VTSA Summer School July 2017, MPI, Saarbrücken.
• 38th Marktoberdorf Summer School: Logical Methods for Safety and Security of Software Systems MOD'17 August 2017, Marktoberdorf.

2016

• 10th International Symposium on Theoretical Aspects of Software Engineering TASE'16. July 2016, Shanghai, China.

2015

• 9th International Workshop on Reachability Problems RP'15. September 2015, Warsaw
• Highlights of Logic, Games and Automata HLGA'15. September 2015, Prague
• Marktoberdorf Summer School MSS. August 2015, Marktoberdorf
• 14th Asian Logic Conference ALC. January 2015, Mumbai

2014

• First EATCS Young Researcher School EATCS. August 2014, Telc
• 29th Symposium on Logic in Computer Science CSL-LICS. July 2014, Vienna
• 35th International Conference on Application and Theory of Petri Nets and Concurrency PN. June 2014, Tunis
• 17th International Conference on Fundamental Approaches to Software Engineering FASE. April 2014, Grenoble

2013

• 20. Jahrestagung der GI-Fachgruppe Logik in der Informatik LOGINF. November 2013, Bremen
• 5th International Conference on Algebraic Informatics (CAI), September 2013, Porquerolles Island, France
• NVTI Theory Day NVTI. April 2013, Utrecht, Niederlande

2012

• Rigorous dependability analysis using model checking techniques for stochastic systems ROCKS. Oktober 2012, Vahrn, Italien

2011

• Computability in Europe: Models of Computation in Context CIE. June/July 2011, Sofia, Bulgaria
• SFM'11:CONNECT SFM. June/July 2011, Bertinoro, Italia

2010

• 8th International Conference on Integrated Formal Methods IFM. October 2010, Nancy, Fance
• School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Aspects of Programming Languages SFM-10:QAPL. June 2010, Bertinoro, Italy
• Weighted Automata: Theory and Applications WATA. May 2010, Leipzig, Germany
• Ph.D. School: Quantitative Model Checking QMC. March 2010, Kopenhagen, Denmark
• Winter School Synthesis and Analysis of Component Connectors SYANCO. February 2010, Berlin, Germany
• 20th International Conference on Concurrency Theory CONCUR. September 2009, Bologna, Italy

2009

• 11th Workshop on Descriptional Complexity of Formal Systems: \"Expressiveness, Efficiency, and Decidability\" DCFS. July 2009, Magdeburg, Germany
• 35th International Conference in Theory and Practice of Computer Science, Software seminar SOFSEM. January 2009, Spindleruv Mlyn, Czech Republic

2007

• GI 17. Theorietag GI. September 2007, Leipzig, Germany

2006

• IPA Herfstdagen on Stochastic Systems IPA. November/December 2006, Bergen, The Netherlands
• International Workshop on Advances in Model Checking, in Honour of Gerald J. Holzmann, November 2006, Twente, Enschede, The Netherlands
• Weighted Automata: Theory and Applications WATA. March 2006, Leipzig, Germany

2005

• First Doctoral Workshop on Mathematical and Engineering Methods in Computer Science MEMICS. Oktober 2005, Znojmo, Czech Republic
• 10th International Workshop on Formal Methods for Industrial Critical Systems FMICS. September 2005, Lisbon, Portugal
• Journées Systèmes Infinis, March 2005, Cachan, France

2004

• 20th Conference on Mathematical Foundations of Programming Languages MFPS. 2004, Pittsburgh, USA

2000

• First EEF/Euro Summer School on Trends in Computer Science, School on Formal Methods and Performance Analysis EEF. July 2000, Nijmegen, The Netherlands

1999

• IPA Spring Days on Probabilistic Methods, April 1999, Mierlo, The Netherlands

• Editor of the Verification Column of ACM SIGLOG News from April 2023
• Editor-in-chief of the Springer journal Acta Informatica 2015-2022
• Member of the editorial board of the diamond open access journal TheoretiCS since 2025
• Member of the editorial board of ACM Transactions on Computational Logic since 2015
• Member of the editorial board of Information and Computation since 2024
• Member in the editorial board of LIPIcs: Leibniz International Proceedings in Informatics, since 2018
• Member of the editorial board of PeerJ since 2015
• Member of the editorial board of RAIRO since 2014
• Member of the Advisory Board of the diamond open access journal TheoretiCS since 2024
• Steering Committee Member of IEEE Symposium on Logic in Computer Science LICS since 2018
• Steering Committee Member of the International Conference on Concurrency Theory, since 2023
• Steering Committee Member of International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) 2016-2021
• Steering Committee Member of IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), since 2018
• Steering Committee Member of International Conference on Fundamentals of Software Engineering (FSEN) since 2009
• European Joint Conferences on Theory and Practice ETAPS 2014-2015, 2017-2018
• EATCS Fellow Selection Committee Member EATCS 2019-2023, (chair in 2020)

Edited Volumes

• C. Baier (Editor). Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science LICS'22 Association for Computing Machinery, 2022
• C. Baier, J. Goubault-Larrecq (Editors). 29th EACSL Annual Conference on Computer Science Logic CSL'21 LIPICS Vol. 183, 2021
• C.Baier, I. Chatzigiannakis, P. Flocchini, S. Leonardi (Editors). 6th International Colloquium on Automata, Languages, and Programming ICALP'19 LIPICS Vol. 132, 2019
• C. Baier, L. Caires (Editors). 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems FORTE'18. Lecture Notes in Computer Science 10854, Springer 2018.
• C. Baier, U. Dal Lago (Editors). 21st International Conference on Foundations of Software Science and Computation Structures FoSSaCS'18. Lecture Notes in Computer Science 10803, Springer 2018.
• C. Baier, C. Tinelli (Editors). Special Issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Acta Informatica 54(8), 2017
• C. Baier, C. Tinelli (Editors). Some Advances in Tools and Algorithms for the Construction and Analysis of Systems. STTT 19 (6), 2017
• Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (Editors). 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017: Theory and Practice of Computer Science. Limerick, Ireland, January 16-20, 2017, Proceedings. Lecture Notes in Computer Science 10139, Springer 2017.
• C. Baier, C. Tinelli (Editors). 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'15. Lecture Notes in Computer Science 9035, Springer, 2015.
• C. Baier, M. Kwiatkowska (Guest Editors). Probabilistic Model Checking. Formal Methods in System Design, Vol. 43(2), Special Issue, 2013.
• C. Baier, A. Di Pierro (Editors). QAPL'09: 7th Workshop on Quantitative Aspects of Programming. Electronic Notes in Theoretical Computer Science, Vol. 253(3), 2009.
• C. Baier, H. Hermanns (Editors). 17th International Conference on Concurrency Theory. Information and Computation, Vol. 206(5), Special Issue, 2008.
• C. Baier, A. Aldini (Editors). QAPL'08: 6th Workshop on Quantitative Aspects of Programming. Electronic Notes in Theoretical Computer Science, Vol. 220(3), 2008.
• C. Baier, H. Hermanns (Editors). CONCUR 2006: 17th International Conference on Concurrency Theory. Lecture Notes in Computer Science, Vol. 4137, Springer, 2006.
• C. Baier, B. Haverkort, H. Hermanns, J.-P. Katoen, M. Siegle (Editors). Validation of Stochastic Systems - a Guide to Current Research. Lecture Notes in Computer Science, Vol. 2925, Springer, 2004.
• C. Baier, M. Huth, M. Kwiatkowska, M. Ryan (Editors). PROBMIV'98: First International Workshop on Probabilistic Methods in Verifiction. Electronic Notes in Theoretical Computer Science, Vol. 22, 1999.

2026

• 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2026 (TACAS'26), April 2026, Torino, Italy

2025

• 40th Annual ACM/IEEE Symposium on Logic in Computer Science 2025 (LICS'25), June 2025, Singapore
• Computability in Europe 2025 (CiE'25), July 2025, Lisbon, Portugal

2024

• 32nd EACSL Annual Conference on Computer Science Logic 2024 (CSL'24), February 2024, Naples, Italy
• 49th International Symposium on Mathematical Foundations of Computer Science (MFCS'24), August 2024, Bratislava, Slovakia
• 22nd International Symposium on Automated Technology for Verification and Analysis 2024 (ATVA'24), October 2024, Kyoto, Japan
• 18th International Conference on Reachability Problems 2024 (RP'24), September 2024, Vienna, Austria
• 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 2024, Track B (FSTTCS'24), December 2024, IIT Gandhinagar, India
• *25th International Conference on Formal Engineering Methods 2024$ (ICFEM'24), December 2024, Hiroshima, Japan

2023

• 15th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'23), October 2023, Iowa, US
• 14th International Symposium on Games, Automata, Logics, and Formal Verification (GandAlf'23) September 2023, Udine, Italy
• 17th International Conference on Reachability Problems (RP'23) October 2023. Nice, France
• 34th International Conference on Concurrency Theory (CONCUR'23), Antwerp, Belgium
• 50th International Colloquium on Automata, Languages, and Programming (ICALP'23), Paderborn, Germany
• 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'23), Paris, France

2022

• 14th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'22), Trento, Italy
• 33rd International Conference on Concurrency Theory (CONCUR'22), Warsaw, Poland
• 20th International Symposium on Automated Technology for Verification and Analysis (ATVA'22), Bejing, China
• 23rd International Conference on Formal Engineering Methods (ICFEM'22), Madrid, Spain

2021

• 24th International Symposium on Formal Methods (FM'21), Bejing, China
• 33rd International Conference on Computer-Aided Verification (CAV'21)

2020

• 32nd International Conference on Computer-Aided Verification (CAV'20)
• 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'20)
• 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'20) April 2020. Dublin, Ireland.

2019

• 21st International Conference on Formal Engineering Methods (ICFEM'19). November 2019, Shenzen, China.
• 13th International Conference on Reachability Problems (RP'19). September 2019. Brussels, Belgium
• 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19). October 2019. Taipei, Taiwan.
• 23rd International Symposium on Formal Methods (FM'19). October 2019. Porto, Portugal.
• 31st International Conference on Computer-Aided Verification (CAV'19). July 2019. New York, US.
• 2nd workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe'19). Satellite workshop of LICS, June 2019, Vancouver, Canada.
• 22nd International Conference on Fundamental Approaches to Software Engineering (FASE'19). April 2019. Praque, Czech Republic.
• 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC'19). April 2019. Montreal, Canada.
• 8th IPM International Conference on Fundamentals of Software Engineering (FSEN'19). May 2019. Tehran, Iran.

2018

• 29th International Conference on Concurrency Theory (CONCUR'18). Bejing, September 2018.
• 27th Annual Conference on Computer Science Logic (CSL'18) of the European Association for Computer Science Logic. Birmingham, UK, September 2018.
• 20th International Conference on Formal Engineering Methods (ICFEM'18). November 2018, Gold Coast, Australia.
• 9th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'18). September 2018, Saarbr\"ucken.
• 12th International Conference on Reachability Problems (RP'18) Aix-Marseille, September 2018.
• 30th International Conference on Computer-Aided Verification (CAV'18) July 2018, Oxford, UK.
• 13th School on Modelling and Verifying Parallel Processes (MOVEP'18), July 2018, Cachan, France
• 12th International Conference on Language and Automata Theory and Applications (LATA'18) March 2018, Bar-Ilan, Israel.
• 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'18) January 2018, Krems, Austria.

2017

• 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'17) December 2017, Kanpur, India.
• Formal Methods in Computer-Aided Design (FMCAD'17) October 2017, Vienna, Austria.
• 14th International Conference on Quantitative Evaluation of Systems (QEST'17), September 2017, Berlin, Germany.
• Highlights of Logic, Games and Automata (Highlights'17) September 2017, London, UK.
• 24th International SPIN Symposium on Model Checking of Software (SPIN'17)
• 29th International Conference on Computer-Aided Verification (CAV'17) July 2017, Heidelberg, Germany.
• 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'17) July 2017, Heidelberg, Germany.
• 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'17) June 2017, Reykjavik, Island.
• 20th Internal Conference on Foundations of Software Science and Computation Structures (FoSSaCS'17) April 2017, Uppsala.
• 11th International Conference on Language and Automata Theory and Applications (LATA'17) March 2017, Umea, Sweden.

2016

• 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) Oktober 2016, Tokio.
• 25th Annual Conference on Computer Science Logic (CSL'16) August/September 2016, Marseille.
• 31rd IEEE Symposium on Logic in Computer Science (LICS'16) July 2016, New York City.
• 28th International Conference on Computer-Aided Verification (CAV'16) July 2016, Toronto, Canada.
• 12th School on Modelling and Verifying Parallel Processes (MOVEP'16), July 2016, Genova, Italy
• 19th International Conference on Hybrid Systems: Computation and Control (HSCC'16) April 2016, Vienna.
• 10th International Conference on Language and Automata Theory and Applications (LATA'16) March 2016, Prague.

2015

• 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR). November 2015,South Pacific, Fiji.
• 13th International Symposium on Automated Technology for Verification and Analysis (ATVA'15), October 2015, Shanghai, China
• 22nd International SPIN Workshop on Model Checking of Software (SPIN'15), August 2015, Stellenbosch, South Africa
• 20th International Symposium on Fundamentals of Computation Theory (FCT'15), August 2015, Gdansk, Poland
• 42th International Colloquium on Automata, Languages and Programming (ICALP'15), Juli 2015, Kyoto, Japan
• 7th NASA Formal Methods Symposium (NFM'15), April 2015, Pasadena, USA
• 6th International Conference on Fundamentals of Software Engineering, Theory and Practice (FSEN'15), April 2015, Teheran, Iran
• 13th Workshop on Quantitative Aspects of Programming Languages (QAPL'15), April 2015, London, UK

2014

• 25th International Conference on Concurrency Theory (CONCUR'14), September 2014, Rom, Italy
• 21th Internatinal Conference on Analytical and Stochastic Modelling and Applications (ASMTA'14), June/July 2014, Budapest, Hungary
• 9th International Computer Science Symposium in Russia (CSR'14), June 2014, Moskau
• 11th Annual Conference on Theory and Applications of Models of Computation (TAMC'14), April 2014, India
• 12th Workshop on Quantitative Aspects of Programming Languages (QAPL'14), April 2014, Grenoble, France
• 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (ETAPS:TACAS'14), April 2014, Grenoble, France
• 8th International Conference on Language and Automata Theory and Applications (LATA'14), March 2014, Madrid, Spain
• 11th Internatinal Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'14) January 2014, San Diego, USA

2013

• 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'13), December 2013, Stellenbosch, South Africa
• 22nd EASCL Annual Conference on Computer Science Logic (CSL'13), September 2013, Turin
• 10th International Conference on Quantitative Evaluation of Systems (QEST'13), August 2013, Buenos Aires
• 24th International Conference on Concurrency Theory (CONCUR'13), August 2013, Buenos Aires
• 7th International Conference on Language and Automata Theory and Applications (LATA'13), March 2013, Bilbao
• 40th International Colloquium on Automata, Languages and Programming, (ICALP'13), July 2013, Riga
• 5th International Conference on Fundamentals of Software Engineering, Theory and Practice (FSEN'13), April 2013, Teheran, Iran

2012

• 10th International Symposiumon Automated Technology for Verification and Analysis (ATVA'12), October 2012, Kerala
• 9th International Conference on Quantitative Evaluation of Systems (QEST'12), September 2012, London
• 9th International Symposium on Formal Aspects of Component Software (FACS'12), September 2012, Mountain View, USA
• 1st Workshop on Quantities in Formal Methods (QFM'12), August 2012, Paris, France
• 27th IEEE Symposium on Logic in Computer Science (LICS'12), July 2012, Dubrovnik, Croatia
• 19th International SPIN Workshop on Model Checking of Software (SPIN'12), July 2012, Oxford, UK
• 10th Workshop on Quantitative Aspects of Programming Languages (QAPL'12), March 2012, Tallin, Estonia

2011

• 5th International Workshop on Harnessing Theories for Tool Support in Software (TTSS'11), September 2011, Oslo
• 8th International Conference on Quantitative Evaluation of Systems (QEST'11), September 2011, Aachen
• 8th International Symposium on Formal Aspects of Component Software (FACS'11), September 2011, Oslo
• 9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'11), September 2011, Aalborg
• Workshop on Process Algebra and Coordination (PACO'11), June 2011, Reykjavik, Iceland
• 4rd International Conference on Fundamentals of Software Engineering, Theory and Practice (FSEN '11), April 2011, Iran
• 21th International Conference on Concurrency Theory (CONCUR '11), September 2011, Aachen, Germany

2010

• 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS '10), September 2010, Wien, Austria
• 7th International Conference on Quantitative Evaluation of Systems (QEST '10), September 2010, Williamsburg, USA
• Games and Probabilistic Models in Formal Verification (GPMFV'10), August 2010, Brno, Czech Republic
• 4th Workshop on Reachability Problems (RP '10), August 2010, Brno, Czech Republic
• 35th International Symposium on Mathematical Foundations of Computer Science (MFCS '10), August 2010, Brno, Czech Republic
• 22nd International Conference on Computer Aided Verification (CAV '10), July 2010, Edinburgh, UK
• 13th International Conference on Foundations of Software Science and Com- putation Structures (FOSSACS '10), March 2010, Paphos, Cyprus
• 9th School on Modelling and Verifying Parallel Processes (MOVEP '10), June/July 2010, Aachen, Germany
• 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI '10), January 2010, Madrid, Spain
• Dagstuhl Seminar 10031: Quantitative Models: Expressiveness and Analysis (co-organizer) (Seminar 10031), January 2010, Dagstuhl, Germany

2009

• 29th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS '09), December 2009, Kanpur, India
• International Conference on Theoretical Aspects of Computing (ICTAC '09), August 2009, Kuala Lumpur, Malaysia
• 7th International Symposium on Automated Technology for Verification and Analysis (ATVA '09), October 2009, Macao, China
• 6th International Conference on Quantitative Evaluation of Systems (QEST '09), September 2009, Budapest, Hungary
• Workshop on Expressiveness in Concurrency (EXPRESS '09), August 2009, Bologna, Italy
• 21st International Conference on Computer Aided Verification (CAV '09), June/July 2009, Grenoble, France
• 16th International SPIN Workshop on Model Checking of Software (SPIN '09), June 2009, Grenoble, France

2008

• 5th International Conference on Quantitative Evaluation of Systems (QEST '08), September 2008, Saint Malo, France
• 18th International Conference on Concurrency Theory (CONCUR '08), August 2008, Toronto, Canada
• 35th International Colloquium on Automata, Languages and Programming, (ICALP '08), July 2008, Reykjavik, Iceland
• 6th Workshop on Quantitative Aspects of Programming Languages (co-chair) (QAPL '08)), March 2008, Budapest, Hungary
• 9th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI '08), January 2008, San Francisco, USA

2007

• Two Decades of Probabilistic Verification−Refections and Perspectives (scientific coordinator) (link), November 2007, Lorentz Center, Leiden
• 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS '07), October 2007, Znojmo, Czech Republic
• 5th International Symposium on Automated Technology for Verification and Analysis (ATVA '07), October 2007, Tokyo, Japan
• 1st International Workshop on Synthesis and Analysis of Component Connectors (co-chair), ESEC/FSE-Workshop (SYANCO '07), September 2007 Dubrovnik, Croatia
• 4th International Conference on Quantitative Evaluation of Systems (QEST '07), September 2007 Edinburgh, UK
• 2nd International Workshop on Probabilistic Automata and Logics (co-chair), LICS-Workshop (PAuL '07), July 2007, Wroclaw, Poland
• 3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord '07), June 2007, Paphos, Cyprus
• 13th International Conference on Tools and Algorithms for the construction and analysis of systems (TACAS '07), April 2007, Braga, Portugal
• 2nd International Workshop on Fundamentals of Software Engineering, Theory and Practice (FSEN '07), April 2007, Tehran, Iran
• 5th Workshop on Quantitative Aspects of Programming Languages (QAPL '07), March 2007 Braga, Portugal

2006

• 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS '06), October 2006, Mikulov, Czech Republic
• 4th International Symposium on Automated Technology for Verification and Analysis (ATVA '06), October 2006, Beijing, China
• 3rd International Conference on Quantitative Evaluation of Systems (QEST '06), September 2006, Riverside, USA
• 1st International Workshop on Probabilistic Automata and Logics (co-chair) FLoC−Workshop (PAuL '06), August 2006, Seattle, USA
• 26th IEEE Symposium on Logic in Computer Science (LICS '06), August 2006, Seattle, USA
• 17th International Conference on Concurrency Theory (co-chair and local organizer) (CONCUR '06), August 2006, Bonn

2005

• 1st International Workshop on Fundamentals of Software Engineering, Theory and Practice (FSEN '05), June 2005, Tehran, Iran
• 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA '05), October 2005, Taipei, Taiwan
• 2nd International Conference on Quantitative Evaluation of Systems (co-chair) (QEST '05), September 2005, Turino, Italy
• 1st Conference on Algebra and Coalgebra in Computer Science (CALCO '05), September 2005, Swansea, UK
• 16th International Conference on Concurrency Theory (CONCUR '05), August 2005, San Francisco, USA

2004

• Workshop on Verification of Infinite State Systems (INFINITY '04), September 2004, London, UK
• 1st International Conference on Quantitative Evaluation of Systems (QEST '04), September 2004, Twente, The Netherland
• GI-Dagstuhl Seminar \"Validation of Stochastic Systems\" (co-organizer) (GI), December 2003, Dagstuhl, Germany

2003

• Workshop on Verification of Infinite State Systems (INFINITY '03), September 2003, Marseille, France

2002

• Argentinian Workshop on Theoretical Computer Science (WAIT '02), September 2002, Rosario, Argentina
• Workshop on Process Algebra, Performance Modelling and Probabilistic Methods in Verification (PAPM−PROBMIV), July 2002, Kopenhagen, Denmark

1999

• 2nd Workshop for Probabilistic Methods in Verification (PROBMIV '99), August 1999, Eindhoven, The Netherlands
• 15th Conference on Mathematical Foundations of Programming Languages (MFPS '99), April/May 1999, Tulane University, New Orleans, USA
• 5th International AMAST Workshop on Real−Time and Probabilistic Systems (ARTS '99), May 1999, Bamberg, Germany

1998

• 1st Workshop for Probabilistic Methods in Verification (PROBMIV '98), June 1998, Indianapolis, USA

2025

• Highlights of Logic, Games and Automata (Highlights'25). PC chair. September 2022, Saarbrücken, Germany

2022

• 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'22). PC chair. August 2022, Haifa, Israel

2021

• 29th International Conference on Computer Science Logic (CSL'21). PC co-chair. January 2021, virtual meeting

2019

• 46th International Colloquium on Automata, Languages, and Programming (ICALP'19). PC chair of Track B. July 2019, Patras, Greece

2018

• Chair of the invited session on Multi-objective Reasoning in Probabilistic Models at Highlights of Logic, Games and Automata HLGA. September 2018, Berlin
• 38th IFIP WG6.1 Internal Conference on Formal Techniques for Distributed Objects, Components and Systems FORTE'18. PC co-chair. June 2018, Madrid
• 21st Internal Conference on Foundations of Software Science and Computation Structures (FoSSaCS'18) at FoSSaCS'18. PC co-chair. April 2018, Thessaloniki, Greece

2017

• 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM). Track Chair for Foundations of Computer Science. January 2017. Limerick, Ireland

2015

• 21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15). PC co-chair. March 2015, London, UK

before 2015

• Quantitative Models: Expressiveness and Analysis, Dagstuhl-Seminar 10031. co-organizer. January 2010, Dagstuhl, Germany
• 7th Workshop on Quantitative Aspects of Programming Languages (QAPL'09). PC co-chair. March 2009, York, UK
• 6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08). PC co-chair. March 2008, Budapest, Hungary
• Two Decades of Probabilistic Verification - Reflections and Perspectives, co-organizer. November 2007, Leiden, Netherlands
• First International Workshop on Synthesis and Analysis of Component Connectors (SYANCO'07), co-organizer. September 2007, Dubrovnik, Croatia
• Second International Workshop on Probabilistic Automata and Logics (PAuL'07). PC co-chair. July 2007, Wroclaw, Poland
• 17th International Conference on Concurrency Theory (CONCUR'06). PC co-chair and local organizer. August 2006, Bonn, Germany
• First International Workshop on Probabilistic Automata and Logics (PAuL'06). PC co-chair. August 2006, Seattle, US
• Second International Conference on Quantitative Evaluation of Systems (QEST'05). PC co-chair. September 2005, Turin, Italy
• Validation of Stochastic Systems co-organizer. December 2003, Dagstuhl, Germany
• First International Workshop on Probabilistic Methods in Verification (PROBMIV'98), PC co-chair. August 1998, Indianapolis, US

• Jean-Claude Laprie Award in Dependable Computing 2023
• Honorary doctorate (Dr. rer. nat. h.c.) from RWTH Aachen, 2022
• Test-of-Time Award CONCUR'22
• Best Paper Awards at ETAPS 2008, ETAPS 2014, HSCC 2018, ATVA 2021, HSCC 2024
• Outstanding Artefact Award QEST+FORMATS 2024
• Member of Academia Europea since 2011.
• Member of the DFG senate commission for Research Training Groups, 2020-2025.
• Elected member of the DFG Review Board for Computer Science, 2012-2019. (Fachkollegium 409)
• Jury member of the LICS Test-of-Time Award 2017 and chair in 2018 (LICS ToT)
• Jury member for the Ackerman Award. EACSL Outstanding Dissertation Award for Logic in Computer Science) 2018-2025
• Member of the Scientific Advisory Board (SAB) Schloss Dagstuhl, Leibniz Zentrum für Informatik, 2014-2023
• Jury Member of the German Youth Research Competion Bundeswettbewerb Jugend forscht: 2015 (Ludwigshafen), 2016 (Paderborn), 2017 (Erlangen), 2019 (Chemnitz), 2021 (online), 2022 (Lübeck), 2023 (Bremen), 2024 (Heilbronn)
• Jury Member of the Bundeswettbewerb Informatik 2024 (München)
• Dean of the Faculty for Computer Science at TU Dresden, 2025-2027
• Vice Dean of the Faculty for Computer Science at TU Dresden, 2019-2021 and 2021-2024
• Elected member of the senate at TU Dresden, 2015-2020
• Ombudsperson of TU Dresden, 2020-2023