[clean-list] TestCom/Fates 2007: Call for Participation

[Jan Tretmans]

                  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

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)

SCIENTIFIC PROGRAM
24 scientific papers, and additionally position papers, tool demonstrations:
http://ioc.ee/testcom-fates-forte07/index.php?page=prog

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