+------------------------------------------------------------------+
| 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 |
| [log in to unmask] |
+------------------------------------------------------------------+
-------------------------------------------------------------------
FTRTFT 2002: CALL FOR SATELLITE EVENTS
-------------------------------------------------------------------
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
Organizer:
Heike Wehrheim ([log in to unmask])
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 ([log in to unmask])
Important dates :
1 February 2002: Workshop proposals
15 February 2002: Notification of acceptance
FTRTFT Web site: http://www.informatik.uni-oldenburg.de/ftrtft02
|
