MATHAI@UK.AC.WARWICK.UU (Mathai Joseph) (07/30/87)
- -
CALL FOR PAPERS
Workshop & Symposium
on
Formal Techniques in Real-time and Fault-tolerant Systems
20-23 September 1988
University of Warwick, U.K.
This meeting is to bring together people working on formal techniques
for the specification and verification of the properties of real-time
and fault-tolerant systems. The Workshop (20-21 September 1988) will
consist of background lectures and tutorials directed at practising
system designers. More details of the contents will be available by
December 1987. The Symposium (22-23 September 1988) will have some
invited talks and technical sessions with contributed papers.
Papers (upto 20 pages) and extended abstracts are invited for the
Symposium: FOUR COPIES should be sent to the Programme Committee
Chairman before 15 January 1988. Papers will be refereed and camera-
ready copies of selected papers will be expected by 15 May 1988.
Programme Committee
M. Joseph (Warwick), Chairman; G.R. Martin (Warwick); A. Mok (Texas);
R. Reed (GEC Telecomm.); F.B. Schneider (Cornell); S. Shrivastava
(Newcastle); W.-P. de Roever (Eindhoven).
Address for correspondence: Department of Computer Science, University
of Warwick, Coventry CV4 7AL, U.K.
- -
UUCP: ...!ukc!warwick!conf
JANET: conf@uk.ac.warwick
BITNET: conf%uk.ac.warwick@UKACRL.BITNET
DARPANET: mjoseph%WARWICK.AC.UK@CS.UCL.AC.UK
phone: +44 (203) 523987
- -