===========
CALL for CONTRIBUTIONS: ===DEADLINE 27 APRIL 2003=====
2nd INTERNATIONAL WORKSHOP ON REFINEMENT OF CRITICAL SYSTEMS: METHODS,
TOOLS AND DEVELOPMENTS
RCS'2003 -June 3, 2003 - Turku -Finland
(in conjunction with the 3rd International Conference of B and Z Users,
4-6 June 2003, www.tucs.fi/zb2003/)
Chairs: Traian MUNTEAN (University of Marseilles) and Kaisa SERE (Ebo
Academi)
RCS'03 Web page: http://www.esil.univ-mrs.fr/~spc/rcs03/rcs03.html
Workshop Description:
---------------------
RCS workshop provides a forum for discussion of current research,
developments and practical experience on refinement techniques for the
correct design and development of critical systems.
All papers and slides from the previous session of the workshop, held at
IMAG-University of Grenoble in January 2002, are available at
http://www.esil.univ-mrs.fr/~spc/rcs02/rcs02.html
The aim of this workshop is to bring together researchers and
practitioners working on software and system engineering using formal
methods and tools for correct software/system construction through
proved refinements or proof based synthesis techniques.
These include state based refinement techniques, process oriented
refinement techniques, notations for specification and systems design
through synthesis and refinement, etc.
Topics of interest include (but are not limited to):
* Refinement and Synthesis: theory and methods
* Specification notations
* Compositional models
* Refinement methodologies
* Time refinement
* Programming models
* Tools support
* Case Studies
* Industrial Developments
Submission of papers (or extended abstracts) describing ongoing work and
practical experience in critical systems design, through refinement or
formal synthesis techniques, is solicited.
The deadline for submission is: 27 APRIL 2003
----------------------------------------------
Notification of acceptance will be by 5 May 2003
Program Committee:
-------------------
Parosh Abdulla, Uppsala Universitet, <[log in to unmask]>
Gul Agha, University of Illinois-UIUC, <[log in to unmask]>
Egon Boerger, Universita di Pisa, <[log in to unmask]>
Michael Butler, University of Southampton <[log in to unmask]>
John Derrick, University of Kent, <[log in to unmask]>
Colin O'Halloran, QinetiQ <[log in to unmask]>
Jean-Louis Lanet, GEMPLUS Labs, <[log in to unmask]>
Traian Muntean, Universiti de la Miditerranie & CNRS Grenoble,
<[log in to unmask]>
Richard Paige, University of York, <[log in to unmask]>
Charles Rattray, University of Stirling , <[log in to unmask]>
Thomas Santen, TU-Berlin, <[log in to unmask]>
Gerhard Schellhorn, Universitaet Augsburg,
<[log in to unmask]>
Steve Schneider, Royal Holloway, University of London, <[log in to unmask]>
Kaisa Sere, Ebo Akademi University, <[log in to unmask]>
Marina Walden, Ebo Akademi University, <[log in to unmask]>
Proceedings:
------------
Permanently available in a published specific website.
__________________________________________________
If you require more information, please contact :
Prof. T. Muntean, Univ. "Miditerranie" Marseille & CNRS Grenoble
"Communicating Systems" Research Group
Tel.+33 (0)491828501;(secr.0491828510); Fax.+33 (0)491828511
<[log in to unmask]>
|