[comp.software-eng] Real-Time & Fault-Tolerance

vytopil@cs.kun.nl (Jan Vytopil) (12/03/90)

FIRST ANNOUNCMENT AND CALL FOR PAPERS

School & Symposium 

Formal Techniques in Real-time and Fault-tolerant Systems
---------------------------------------------------------
6-10 January 1992
University of Nijmegen, The Netherlands


The use of computers in safety-critical applications is increasing rapidly, 
as is interest in the theoretical foundations for the design of reliable systems.
Such systems are used in embedded applications and in interconnected networks 
and are characterised both by their complexity and by the crucial need to 
manage this using systematic principles of design. 

This Conference and School are devoted to considering the problems and 
the solutions in safety-critical system design and to examining how 
well the use of formal techniques for design, analysis and verification 
serves in relating theory to practical realities.

The School will be held from 6-7 Januari 1992 
to provide background lectures and tutorials and will be directed at 
practising system designers. Admission will be restricted: 
full details will be available by June 1991.

The Symposium will follow the School, from 8-10 Januari 1992. 

The School and Symposium will be held in the Aula/Congrescentre, 
University of Nijmegen, The Netherlands.

Nijmegen is situated close to the German border in the beautiful area 
between the rivers Rhine, Maas (Meuse) and Waal. Nijmegen has good railway 
and motorway connections and can easily be reached from Amsterdam Airport 
within two hours.


CALL FOR PAPERS

Papers (upto 20 pages) and extended abstracts are invited for the Symposium on all aspects of the development and use 
of formal techniques and mathematical reasoning in real-time and fault-tolerant system design, for example:

 - design principles for real-time / fault-tolerant systems
 - derivation of real-time / fault-tolerant systems from their specifications
 - foundations of real-time / fault-tolerance development methodology
 - semantics of specification and verification of real-time and 
   fault-tolerant system behaviour
 - local and global time in system design
 - logics of real-time / fault-tolerance

Four copies of each submission should be sent to the Programme 
Committee Chairman; papers will be refereed and the 
final choice of papers will be made by the Programme Committee.

DEADLINES
Papers to reach by 1st June 1991
Final selection by 15th October 1991
Camera-ready copy by 1st November 1991

If you have any questions, if you intend to submit a paper for the 
Symposium, or if you simply want to keep informed, 
please send an e-mail or postcard. Do not forget to give your full address.

Address for Correspondence: 

Prof.dr.ir. Jan Vytopil
Real-time Systems Group
Department of Informatics
University of Nijmegen
Toernooiveld
6525 ED  NIJMEGEN
The Netherlands

e-mail: vytopil@cs.kun.nl
Tel: +31-80-65 2075
Fax: +31-80-55 34 50
Telex: 48228 wina nl



Programme Committee
O. Babaoglu (Universita di Bologna)
J.A. Bergstra (CWI, Amsterdam)
F. Cristian (IBM, Almaden)
S. Gerhart (MCC, Austin)
N. Halbwachs (IMAG, Grenoble)
M. Joseph (University of Warwick)
A. Mok (University of Texas)
A. Pnueli (Weizmann Institute)
G.M. Reed (University of Oxford)
W.P. de Roever (Christian-Albrechts-Universitaet Kiel)
F.B. Schneider (Cornell University)
J. Vytopil (University of Nijmegen) -  Chairman
D.Weber (Odyssey Research Associates Inc)