Tutorials

• David Lee. The Ohio State University, Department of Computer Science & Engineering. Ohio, USA. "Communications Protocol System Testing: Theory and Applications".
• Kim Guldstrand Larsen and Brian Nielsen. CISS, Aalborg University, Denmark. "Model-based Testing and Validation of Real-Time Systems".
• Antonia Bertolino. Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", CNR, Pisa, Italy. > > "The Why, What and How of (not) software testing".

Invited Talks (More talks will be announced)

• Ana Cavalli. Department of Network Software. Institut National des Telecommunications, France. " Introduction to the TAROT network".
• Odile Laurent. EYDT (Methods and tools) Airbus France. "Systems Validation and Verification at Airbus".
• Ioannis Parissis. Université Joseph Fourier - LSR-IMAG, Grenoble, France. "Specification-Based Testing of Synchronous Software".
• Manuel Núñez. Facultad de Informática. Universidad Complutense de Madrid. Spain. "Logic and Testing".
• George Din. Fraunhofer FOKUS, MOTION, Kaiserin-Augusta-Allee 31, 10589 Berlin, Germany. "Development and Execution of TTCN-3 Tests with TTworkbench".