Dissimination
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]