Organization of Scientific Events:

• Thierry Jeron, Margus Veanes, and Burkhart Wolff (chairs): Symbolic Methods in Testing. Dagstuhl Seminary 13021, Jan. 2013.
• Marie-Claude Gaudel and Burkhart Wolff (chairs): 3rd International Conference on the Unified Theory of Programming (UTP 2012, co-located with FM'12, Paris).
  Local Organizer: Abderrahmane Felliachi.
• Burkhart Wolff and Fatiha Zaidi (chairs): 21 International Conference of Testing Software and Systems (ICTSS 2011, Paris).
• Martin Gogolla and Burkhart Wolff (chairs): 5th International Conference on Tests and Proofs (TAP 2011, Zürich).
• Marie-Claude Gaudel (general chair) : 3rd International Conference on Software Testing (ICST 2010, Paris).
•  Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel and Jim Woodcock (chairs): 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010, Natal, Brazil)  [ bib]