FTRTFT 2002: Call for Satellite Events

Martin Fraenzle Martin.Fraenzle@REDACTED
Mon Dec 17 15:03:14 CET 2001

  | Sorry for any inconvenience caused by receiving multiple copies. |
  | If this mail was sent directly to you (not via another mailing   |
  | list you have subscribed to) and you would like to be removed    |
  | from the FTRTFT mailing list, please drop an email notice to     |
  | Martin.Fraenzle@REDACTED                      |


The International Symposium on Formal Techniques in Real-Time and Fault 
Tolerant Systems (FTRTFT) is devoted to problems and solutions in save 
system design. The seventh meeting, FTRTFT 2002, will take place in 
Oldenburg, Germany, from 9 to 13 September 2002, hosted by the University 
of Oldenburg and co-sponsored by IFIP Working Group 2.2 on ``Formal 
Description of Programming Concepts''.  Previous symposia took place in 
Warwick 1990, Nijmegen 1992, Luebeck 1994, Uppsala 1996, Lyngby 1998, and 
Pune 2000. 

The Symposium will present advances in the development and use of formal 
techniques in the design of real-time, hybrid, fault-tolerant, embedded 
systems, covering all stages from requirements analysis to hardware and/or 
software implementation. With the increasing use of such formal techniques 
in industrial settings, the Symposium aims at stimulating cross-fertilization 
between challenges in industrial usages of formal methods and advanced 
research. A particular focus of FTRTFT 2002 will be on UML based development 
of real-time systems, and on secure global and mobile computing. 

The main symposium will be held from Sept, 9th to Sept, 12th, preceeded 
by a half day of tutorials. Workshops affiliated to FTRTFT 2002 are scheduled 
for Sept, 13th 2002. Researchers and practitioners wishing to organize such a 
workshop are invited to submit workshop proposals to the FTRTFT 2002 Workshop 
        Heike Wehrheim (wehrheim@REDACTED) 
Workshop proposals are due 1 February 2002 and should be submitted by electronic mail 
in ASCII or Postscript format. A proposal should not exceed two pages and should 
describe the topic of the workshop, the names and contact information of the 
organizers, the estimated  dates for paper submissions, notification of 
acceptance, and final versions, the expected number of participants and 
duration (half day/full day) and any other relevant information.

The proposals will be evaluated by the FTRTFT program committee chairs on the 
basis of their assessed benefit for prospective participants to FTRTFT 2002.  
Acceptance decisions will be made by Feb, 10th. 
The titles and brief information related to accepted workshop proposals will 
be included in the conference program and advertised in the call for 
participation. Workshop organizers will be responsible for producing a Call 
for Papers, Web site, proceedings (if any), reviewing and making acceptance 
decisions on submitted papers, and scheduling workshop activities in consultation 
with the local organizers.

Any further information needed for preparing a workshop proposal can
be obtained from the FTRTFT 2002 Workshop Organizer: 
           Heike Wehrheim (wehrheim@REDACTED) 

Important dates :

1  February 2002: Workshop proposals 
15 February 2002: Notification of acceptance

FTRTFT Web site:

More information about the erlang-questions mailing list