peterc@cs.kun.nl (Peter Coesmans) (04/11/91)
SECOND ANNOUNCEMENT 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 useof 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)
******************************************************************
* I am posting this message for Prof. Vytopil, *
* please note the follow-up line *
* Peter *
******************************************************************peterc@cs.kun.nl (Peter Coesmans) (04/22/91)
SECOND ANNOUNCEMENT 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 useof 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)
******************************************************************
* I am posting this message for Prof. Vytopil, *
* please note the follow-up line *
* Peter *
******************************************************************
--
=========================== MODERATOR ==============================
Steve Stevenson {steve,fpst}@hubcap.clemson.edu
Department of Computer Science, comp.parallel
Clemson University, Clemson, SC 29634-1906 (803)656-5880.mabell