I apologize that I have to send it again, but there were some minor
errors in the previous article.


			      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


ADDITIONAL INFORMATION

The school on Sept. 9-10, will be held in the main auditorium at the
Mathematics and Information Technology Campus (MIC) at Polacksbacken.
The first tutorial starts at 9:00, September 9, 1996.

GENERAL INFORMATION (in previous announcements)

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.

PROGRAMME AT SCHOOL, SEPT 8-10

Sunday, September 8

   19:00-       Reception, Polacksbacken

Monday, September 9

   08:00-       Registration
   08:50-08:00  Welcome 

Tutorials
  09:00-10:30   Scheduling in Real-Time Systems: Theory and practise
	           Alan Burns (Univ. of York, UK) 
 10:30-11:00    Coffee and refreshments
 11:00-12:30    Scheduling in Real-Time Systems (continued) 
	           K. Tindell (Northern Real-Time Technologies, UK) 
 12:30-14:00    Lunch
 14:00-15:30    Design of Real-Time Systems 
	           E.R. Olderog (Univ. of Oldenburg, DE) 
 15:30-16:00    Coffee and refreshments
 16:00-18:00    Model Checking Real Time Systems 
	           K. Larsen (Aalborg Univ., DK)


Tuesday, September 10

Tutorials
  08:30-10:00   Testing the coverage of Fault-Tolerant and
		 Safety-Critical Systems 
	           D. Powell (LAAS-CNRS, FR) 
 10:00-10:30    Coffee and refreshments

Tutorials / Industrial Practise
 10:30-12:30    Static Analysis with SPARK: Theory and Practice
                   Mel Jackson (Praxis, USA)  
 12:30-14:00    Lunch
 14:00-16:00    Verification of Safety-Critical Systems using Fast Automated
		 Theorem Proving 
	           Lars-Henrik Eriksson (Logikkonsult NP AB, SE) 
 15:30-16:00    Coffee and refreshments


Conference and Hotel Registration should be directed to the Congress
secretariat:

		FTRTFT 96
		Uppsala Turist & Kongress 
		Fyris Torg 8,
		S-753 10 Uppsala, Sweden. 
		Tel:  +46 (0)18 27 48 07 
		Fax: +46 (0)18 69 24 77 
		E-mail: Kongress@utkab.se

Correspondence on other matters should be directed to the scientific
secretariat:

	       FTRTFT 96
	       c/o Dept. of Computer Systems
	       Uppsala University 
	       Box 325, 
	       S-751 05 Uppsala, Sweden 
	       Tel: +46 (0)18 18 30 21 
	       Fax: +46 (0)18 55 02 25 
	       e-mail: naresh@DoCS.UU.SE

FOR MORE INFORMATION

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

-- 
----------------------------------------------------------------------
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