Call for Participation
TESTCOM / FATES 2007
The International Event for Testing of Software
and Communicating Systems
19th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM) and
7th Int. Workshop on Formal Approaches to Testing of Software (FATES)
Tallinn, Estonia
June 26 - 29, 2007
http://testcom-fates07.ioc.ee
Co-located with FORTE 2007
http://cs.ttu.ee/FORTE07
*** NOTE: The early registration deadline is already on 9 May 2007 ***
We cordially invite you to participate in the joint TESTCOM/FATES
conference on Testing of Software and Communicating Systems in
Tallinn, Estonia, from Tuesday June 26 until Friday June 29, 2007.
TESTCOM/FATES'07 will be a forum for researchers, developers, and
testers, to review, discuss, and learn about new approaches, concepts,
theories, methodologies, tools, and experiences in the field of
testing of software and communicating systems.
Visit the Conference web site http://testcom-fates07.ioc.ee for
details about the full programme, the social events, travelling and
hotel information, costs, registration, the venue, and the wonderful
medieval old-town of Tallinn: TESTCOM/FATES 2007 be held in the
historic House of the Brotherhood of Blackheads in the old town of
Tallinn, the capital of Estonia.
DATES
Early registration: May 9
Late registration: June 9
Tutorial day: June 26
Main conference: June 27-29
Forte conference: June 27-29
INVITED SPEAKERS
Antti Huima (Conformiq Software)
Susanne Graf (Verimag) - jointly with FORTE
SCIENTIFIC PROGRAM
24 scientific papers, and additionally position papers, tool demonstrations:
http://ioc.ee/testcom-fates-forte07/index.php?page=prog
TUTORIALS
Model-Based Software Testing and Analysis with C# and NModel
(Jonathan Jacky, University of Washington)
Software Fault Diagnosis
(Peter Zoeteweij, TU Delft)
Theorem-Prover Based Testing with HOL-TestGen
(Burkhart Wolff, Achim D. Brucker, ETH Zürich)
Model-Based Testing of Real-Time Systems
(Brian Nielsen, University of Aalborg)
REGISTRATION
http://ioc.ee/testcom-fates-forte07/index.php?page=reginfo
PROGRAM CHAIRS
Alexandre Petrenko, Margus Veanes, Wolfgang Grieskamp, Jan Tretmans
LOCAL ORGANIZATION CHAIR
Juhan Ernits
|