* FTRTFT'96 -- Additional information
@ 1996-09-03 0:00 Matz Kindahl
0 siblings, 0 replies; only message in thread
From: Matz Kindahl @ 1996-09-03 0:00 UTC (permalink / raw)
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 3231 bytes --]
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 will be held in the MIC auditorium 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, UK)
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1996-09-03 0:00 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1996-09-03 0:00 FTRTFT'96 -- Additional information Matz Kindahl
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox