Membership in program committees of conferences
and workshops
-
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), Juni 2011, Reykjavik
-
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
Back to Christel Baier