Call for Papers

			      FTRTFT'96

		4th International School and Symposium
      Formal Techniques in Real Time and Fault Tolerant Systems
	 Sept 9-10 (School) and Sept 11-13 (Symposium) 1996,
			   Uppsala, Sweden

OBJECTIVES

Computer systems are becoming increasingly widespread in real-time and
safety-critical applications. Such systems are characterized by the
crucial need to manage their complexity in order to produce reliable
designs.

Formal techniques offer a foundation for systematic design of complex
systems.  They have beneficial applications throughout the engineering
process, from the capture of requirements through specification,
design, coding and compilation, down to the hardware which embeds the
system into its environment. Their use may presuppose novel system
architectures and design principles.

The school and symposium are devoted to considering the problems and
the solutions in safe system design, and to examining how well the use
of advanced design techniques and formal methods for design, analysis
and verification serves in relating theory to practical realities.

This is the fourth in a line of International Schools and Symposia,
previous were held at Warwick 1989, at Nijmegen 1992, and at L�beck
1994. Proceedings of these symposia are published as volumes 331, 571,
and 863 in the LNCS series by Springer Verlag.

SUBMISSIONS

Paper Submissions are invited for the Symposium on the development and
use of formal techniques and mathematical reasoning in design of real
time, fault-tolerant and/or embedded systems, covering all stages from
requirements analysis to hardware and/or software implementation.

In addition to general topics, special themes of this symposium will
be:

   * Verification Tools and/or Algorithms for Real Time and Fault
     Tolerant Systems
   * Tools and Algorithms Supporting Formal Methods
   * Requirements for and Verification of Safety-Critical Systems
   * Scheduling and Timing Constraints in Real Time Systems
   * Formal Methods for Real Time and Fault Tolerant Systems in
     Industrial Practice.
   * Fault Tolerance
   * Hybrid Systems
   * Synchronous Languages - their Theory and Tools
   * Case Studies in Application of Methods

Six copies of a paper, not exceeding 20 double-spaced standard pages,
accompanied by a one-page abstract should reach the program committee
co-chair at the below address no later than March 1, 1996. Mailing
addresses (postal, fax, and electronic) of corresponding author should
be indicated on each copy.  Notification of Acceptance by May
15. Final text by June 30. Accepted papers will be published in the
LNCS series by Springer Verlag.

TOOLS DEMONSTRATIONS

Demonstrations of software tools that support formal approaches to the
development of real time, fault-tolerant and/or embedded systems are
invited for the school and symposium. Proposers should contact the
Tools Demonstration Chair.

VENUE

School and Symposium will be held in the city of Uppsala (population
ca.  140.000). Uppsala is located 70 km north of Stockholm and 35 km
north of Stockholm Arlanda international airport.

FOR MORE INFO

Consult our WWW page at:

		   http://www.docs.uu.se/ftrtft96/

PROGRAM COMMITTEE

A. Burns (Univ. of York), C. Dwork (IBM Almaden), T. Henzinger
(Cornell Univ., Ithaca, N.Y.),, J. Hooman (Eindhoven Univ. of
Technology), B. Jonsson (co-chair) (Uppsala Univ.), M. Joseph
(Univ. of Warwick), B. Kurshan (AT&T/Bell Labs, New Jersey), K. Larsen
(Aalborg Univ.), N. Leveson (Univ. of Washington), A. Mok (Univ. of
Texas, Austin), E.R. Olderog (Univ. of Oldenburg), J. Parrow
(co-chair) (Royal Inst. of Technology, Stockholm), Z. Peng (Link�ping
University) A. Pnueli (Weizmann Inst., Rehovot), A.P. Ravn (DTU,
Lyngby), W.-P.  de Roever (Univ. of Kiel), F. Schneider (Cornell
Univ., Ithaca, N.Y.), J.  Sifakis (IMAG-LGI, Grenoble), J. Torin
(Chalmers Univ. of Technology), J.  Vytopil (Kath. Univ., Nijmegen)
K.-E. �rz�n (Lund Univ. of Technology)

ORGANIZING COMMITTEE

Parosh Abdulla:   Publicity
Per Gunningberg:  Local Organization
Hans Hansson:     Sponsorship
Wang Yi:          Tools Demonstrations

STEERING COMMITTEE

M. Joseph (Univ. of Warwick) A. Pnueli (Weizmann Inst., Rehovot)
H. Rischel (DTU, Lyngby) W.-P. de Roever (Univ. of Kiel) J. Vytopil
(Kath. Univ., Nijmegen)

ADDRESSES

Program Committee Co-Chair           Tools Demonstration Chair           
				                                          
Bengt Jonsson			     Wang Yi                             
Uppsala University		     Uppsala University                  
Dept. of Computer Systems	     Dept. of Computer Systems           
Box 325, S-751 05 Uppsala, Sweden    Box 325, S-751 05 Uppsala, Sweden
tel: + 46 18 - 183157		     tel: + 46 18 - 183110               
fax: + 46 - 18 - 550225		     fax: + 46 - 18 - 550225             
e-mail: bengt@docs.uu.se	     e-mail: yi@docs.uu.se               
-- 
----------------------------------------------------------------------
Mats Kindahl			! matkin@docs.uu.se
Department of Computer Systems  ! 
Box 325				! Tel  +46 18 18 10 66
S-751 05 Uppsala		! Fax  +46 18 55 02 25
SWEDEN				! URL  http://www.docs.uu.se/~matkin/

PGP Key fingerprint =  92 5C FC 39 32 A8 7F 91  01 56 A0 D3 9C A9 6C 81 
PGP key available under finger matkin@kay.docs.uu.se

"People do strange things when you give them money."
	-- Simple Minds