A Reminder that the deadline for RCS 2002 is approaching:
=============
CALL FOR CONTRIBUTIONS (Extended Abstracts):
Workshop on
Refinement of Critical Systems: Methods, Tools and Experience
RCS 2002 - January 22 - Grenoble, France
(in conjunction with ZB2002)
RCS 2002 Workshop is organized with support of the EU IST-RTD Project
"MATISSE: Methodologies and Associated Technologies for Industrial
Strength Systems Engineering" http://www.matisse.dera.gov.uk/
IMPORTANT DATES:
Deadline for Submissions: December 10, 2001:
Extended Abstracts - max 5 pages- should be submitted
electronically in standard PDF or Postscript format
Notification by December 20, 2001.
Workshop Description:
----------------------------
RCS workshop will provide a forum for discussion of current research,
developments and practical experience on refinement techniques for
the design and development of critical systems.
The aim of the workshop is to bring together researchers and
practitioners working on software and system engineering using
methods and tools for correct software/system construction through
refinement or automatic synthesis techniques.
These could include state based refinement techniques such as VDM, Z and
B, process oriented refinement techniques such as CSP, etc.
Submission of extended abstracts or papers describing ongoing work and
practical experience in critical systems design through refinement or
formal synthesis techniques is solicited.
The workshop will include also presentations of ongoing work and
results from Matisse project partners.
TOPIC: This includes, but is not limited to reports on:
- New developments in refinement methods
- Tool support for refinement
- Refinement applied to:
software engineering
control systems
distributed systems
embedded systems
real-time, reactive and hybrid systems
communications and security systems
information systems
co-design,
SoC products and components
Organizers:
-------------
Michael Butler, University of Southampton [log in to unmask]
Traian Muntean, University of Marseilles & CNRS-TIMA Grenoble
[log in to unmask]
Colin O'Halloran, QinetiQ [log in to unmask]
Marina Walden, Aabo Akademi University [log in to unmask]
Summary of Key Dates
----------------------------
Submission deadline : December 10, 2001
by e-mail to: [log in to unmask] and [log in to unmask]
Notification: December 20, 2001.
RCS'02 is organized in conjunction with the
2nd International Conference of B and Z Users
ZB2002 - January 23-25, 2002, Grenoble, France
http://www-lsr.imag.fr/zb2002/
INQUIRIES:
For additional information, please feel free to contact :
-----------------------------------------------------------------
Traian MUNTEAN, Professor Univ. "Méditerranée" - Marseille
& CNRS-TIMA Grenoble
Communicating Systems Group
Parc Scientifique de Luminy-Case 925 ESIL
Tel.+33 (0)491828501;(secr.0491828510); Fax.+33 (0)491828511
|