We apologize if you receive multiple copies. *--------------------------------------------------------------------* * First Call for Papers * * * * 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 * *--------------------------------------------------------------------* * Submission deadline: April 1, 2004 * * Notification to authors: June 1, 2004 * * Final version: July 1, 2004 * *--------------------------------------------------------------------* * http://www-formats-ftrtft.imag.fr [log in to unmask] * *--------------------------------------------------------------------* 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. The conference unites 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. Important Dates: * Submission deadline: April 1, 2004 * Notification to authors: June 1, 2004 * Final version: July 1, 2004 FORMATS Steering Committee: Rajeev Alur (U. Pennsylvania, USA), Flavio Corradini (Uni. di L'Aquila, Italy), Kim G. Larsen (Aalborg University, Denmark), Oded Maler (VERIMAG, France), Walter Vogler (U. Augsburg, Germany), Wang Yi (Uppsala University, Sweden). FTRTFT Steering Committee: Mathai Joseph (TCS, India), Amir Pnueli (NYU, USA), Willem-Paul de Roever (U. Kiel, Germany), Jan Vytopil (U. Nijmegen, The Netherlands). 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 (U. Pennsylvania, 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: [log in to unmask] To unsubscribe from FORMATS.FTRTFT mailing list please contact: [log in to unmask] ----------------------------------------------------------------------------