We apologize if you have received multiple copies of the announcement.
================================================================
Call for Participation
FORTE 2007
27th IFIP WG 6.1 International Conference on
Formal Methods for Networked and Distributed Systems
Special focus on service oriented computing and architectures
Tallinn, Estonia
June 27 - 29, 2007
http://cs.ttu.ee/FORTE07/
Co-located with TESTCOM / FATES 2007
http://testcom-fates07.ioc.ee
We cordially invite you to participate in the 27th IFIP WG 6.1
International Conference on Formal Methods for Networked and Distributed
Systems in Tallinn, Estonia, from Wednesday June 27 until Friday June
29, 2007.
The aim of FORTE 2007 is to provide a forum for researchers and users to
review, discuss, and learn about new approaches, concepts and
experiences in the application of formal methods for the specification
and the verification of distributed systems and applications.
Visit the Conference web site http://cs.ttu.ee/FORTE07/ for details
about the full program, the social events, traveling and hotel
information, costs, registration, the venue, and the wonderful medieval
old-town of Tallinn: FORTE07 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 23
Late registration: June 9
Main conference: June 27-29
TESTCOM / FATES 2007 conference: June 27-29
INVITED SPEKERS
Susanne Graf (Verimag)
Antti Huima (Conformiq Software)- jointly with TESTCOM / FATES
SCIENTIFIC PROGRAM
includes 23 scientific papers:
http://cs.ttu.ee/FORTE07/programme.html
REGISTRATION
http://ioc.ee/testcom-fates-forte07/index.php?page=reginfo
PROGRAM CHAIRS
John Derrick and Jüri Vain
LOCAL ORGANIZATION CHAIR
Juhan Ernits
__________ NOD32 2229 (20070430) °T®§ __________
³oÓ°T®§¤w¸g³q¹L¤F NOD32 ¨¾¬r¨t²Îªº°»´ú.
http://www.eset.com
|