[TYPES] FORMATS+FTRTFT 2004: CALL FOR PARTICIPATION

[Formats FTRTFT]

We apologize if you receive multiple copies.

*--------------------------------------------------------------------*
*                       Call for Participation                       *
*                                                                    *
*                        Joint Conference on                         *
*      Formal Modelling and Analysis of Timed Systems (FORMATS)      *
*                                 and                                *
* Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT) *
*                                                                    *
*               September 22-24, 2004, Grenoble, France              *
*                                                                    *
*                  http://www-formats-ftrtft.imag.fr                 *
*--------------------------------------------------------------------*

Computer systems are becoming increasingly widespread in real-time and
safety-critical applications such as embedded systems.  Such systems
are characterised by the crucial need to manage their complexity in
order to produce reliable designs and implementations.  The importance
of timing aspects, performance and fault-tolerance is continuously
growing.

Formal techniques offer a foundation for systematic design of complex
systems. They have beneficial applications throughout the engineering
process, from the capture of requirements through specification,
design, coding and compilation, down to the hardware which embeds the
system into its environment.

The joint conference is devoted to considering the problems and the
solutions in designing real-time and/or fault-tolerant systems, and to
examining how well the use of advanced design techniques and formal
methods for design, analysis and verification serves in relating
theory to practice.

It units two previously independently organised conferences FORMATS
and FTRTFT.

FORMATS has been organised in 2003 as a satellite workshop of
CONCUR'03 and is related to three independently started workshop
series: MTCS (held as satellite event of CONCUR'00-02), RT-TOOLS (held
as satellite event of CONCUR'01 and FLoC'02) and TPTS (at ETAPS'02).

FTRTFT is a symposium that was held seven times before: in Warwick
1988, Nijmegen 1992, Lübeck 1994, Uppsala 1996, Lyngby 1998, Pune 2000
and Oldenburg 2002. Proceedings of these symposia were published as
volumes 331, 571, 863, 1135, 1486, 1926, and 2469 in LNCS series by
Springer-Verlag.



The programme can be found at the following  url:

http://www-formats-ftrtft.imag.fr/accepted/accepted.html



PC members:
Luca de Alfaro (UCSC, USA)
Eugene Asarin (LIAFA, France)
Patricia Bouyer (LSV, France)
Flavio Corradini (Uni. di L'Aquila, Italy)
Jordi Cortadella (UPC, Spain)
Pedro D'Argenio (FAMAF, Argentina)
Alain Girault (INRIA, France)
Tom Henzinger (Berkeley, USA)
Mathai Joseph (TCS, India)
Marta Kwiatkowska (Uni. Birmingham, UK)
Yassine Lakhnech (VERIMAG, France, co-chair)
Kim Larsen (Aalborg University, Denmark)
Claude Le Pape (Ilog SA, France)
Ernst-Ruediger Olderog (Uni. Oldenburg, Germany)
Jens Palsberg (UCLA, USA)
Madhusudan Parthasarathy (UPenn, USA)
Amir Pnueli (NYU, USA)
Jean-Francois Raskin (ULB, Belgium)
Willem-Paul de Roever (Uni. Kiel, Germany)
John Rushby (SRI, USA)
Henny Sipma (Stanford, USA)
Steve Vestal (Honeywell, USA)
Wang Yi (Uppsala University, Sweden)
Sergio Yovine (VERIMAG, France, co-chair)

----------------------------------------------------------------------------
You have received this e-mail via the following address: types at cis.upenn.edu.
To unsubscribe from FORMATS.FTRTFT mailing list please contact: FORMATS.FTRTFT at imag.fr.
----------------------------------------------------------------------------