Projects

Activities

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-in-chief of the Springer journal Acta Informatica since 2015
  • Member of the editorial board of ACM Transactions on Computational Logic since 2015
  • Member of the editorial board of PeerJ since 2015
  • Member of the editorial board of RAIRO since 2014
  • Steering Committee Member of International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) 2016--2021
  • 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

Edited Volumes

  • 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). SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in 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.
  • 22nd International Conference on Fundamental Approaches to Software Engineering (FASE’19), Prag, April 2019.
  • 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.
  • 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.
  • 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.
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Workshop on Verification of Infinite State Systems (INFINITY ‘03), September 2003, Marseille, France
  • 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
  • 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
  • 1st Workshop for Probabilistic Methods in Verification (PROBMIV ‘98), June 1998, Indianapolis, USA
  • 38th IFIP WG6.1 Internal Conference on Formal Techniques for Distributed Objects, Components and Systems FORTE’18. June 2018, Madrid.
  • 21st Internal Conference on Foundations of Software Science and Computation Structures (FoSSaCS’18) at ETAPS. April 2018, Thessaloniki, Greece.
  • 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.
  • 21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’15). PC co-chair. March 2015, London, UK
  • Quantitative Models: Expressiveness and Analysis, 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
  • Member of Academia Europea since 2011
  • Elected member of the DFG Review Board for Computer Science, 2012 - 2020
  • Member of the Scientific Advisory Board Schloss Dagstuhl, Leibniz Zentrum für Informatik
  • Jury Member of the German Youth Research Competion “Bundeswettbewerb Jugend forscht”
  • Elected member of the senate at TU Dresden, 2015 – 2020

Teaching

Contact