CFP: Workshop on Semantic Foundations of Engineering Design Languages



Date view Thread view Subject view Author view

Gerald Luettgen (g.luettgen@dcs.shef.ac.uk)
Thu, 28 Jun 2001 16:21:10 +0100


[Apologies in case you receive multiple copies of this message.] FIRST CALL FOR PAPERS AND TOOL DEMONSTRATIONS ETAPS2002 Satellite Workshop on SEMANTIC FOUNDATIONS OF ENGINEERING DESIGN LANGUAGES (SFEDL) Grenoble, France, 14 April 2002 http://www.dcs.shef.ac.uk/~sfedl Engineering design languages are at the heart of today's tools employed for developing embedded systems. Their thorough semantic underpinning is a necessity to make them scale up with the ever increasing complexity of real-world systems and to interface them to state-of-the-art techniques for simulation, validation, and code generation. Recent years have seen growing interest in this field, with academic and industrial experts in concurrency theory, tool development, and formal validation techniques joining forces. The workshop will provide an opportunity for this community to present novel and ongoing research, to demonstrate tools, and to discuss emerging ideas. Topics of interest include but are not limited to: * Semantic models of engineering design languages, such as Statecharts, Message Sequence Charts, SDL, LOTOS, & others * Case studies highlighting semantic aspects of existing design tools * Paradigms supporting heterogeneity & multi-language designs * Semantic issues of compositionality, abstraction, & refinement * Semantic concepts for simulation, validation, & code generation The workshop is open to anyone interested in this area; the registration will be handled via ETAPS (see http://www-etaps.imag.fr/ ). IMPORTANT DATES Submission: 19 October 2001 (regular papers) 03 December 2001 (tool demonstrations) Notification: 17 December 2001 Final version: 08 February 2002 Workshop: 14 April 2002 SUBMISSION AND PUBLICATION OF REGULAR PAPERS Regular papers may be extended abstracts or full papers describing original research results or work in progress. They must not be published elsewhere; however, simultaneous submission to one of the ETAPS conferences is permitted. Submissions should preferably be no longer than 15 pages and must be made electronically via the workshop web site at http://www.dcs.shef.ac.uk/~sfedl . The submission lines will be open from 17 September 2001. Proceedings will be published as a research report and made available for participants at the workshop. All authors of accepted papers will also be invited to submit revised, extended versions for a special issue of Springer Verlag's Formal Aspects of Computing journal on the topic of the workshop. These will pass through a second round of peer-reviewing. TOOL DEMONSTRATIONS Expressions of interest for tool demonstrations should be sent to the organizers via email to mailto:sfedl@dcs.shef.ac.uk by 03 December 2001. The organizers will confirm tool demonstrations on 17 December 2001. PROGRAM COMMITTEE F. Balarin (Cadence, USA) M. Broy (TU Munich, D) R. Cleaveland (SUNY, USA) P.-W. DeRoever (U. of Kiel, D) H. Doerr (Daimler-Chrysler, D) A. Evans (U. of York, UK) A. Kerbrat (Telelogic, FR) S. Leue (U. of Freiburg, D) G. Luettgen (U. of Sheffield, UK) F. Maraninchi (VERIMAG, FR) M. Mendler (U. of Sheffield, UK) M. Morley (Verisity, USA) ORGANIZING COMMITTEE G. Luettgen (U. of Sheffield, UK) F. Maraninchi (VERIMAG, FR) M. Mendler (U. of Sheffield, UK) WEB SITES SFEDL workshop: http://www.dcs.shef.ac.uk/~sfedl ETAPS conference: http://www-etaps.imag.fr/ CONTACT ADDRESS Gerald Luettgen mailto:g.luettgen@dcs.shef.ac.uk Dept. of Computer Science Phone: ++44 114 222-1845 The University of Sheffield Fax: ++44 114 222-1810 211 Portobello Street Sheffield S1 4DP, UK


Date view Thread view Subject view Author view