Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!seismo!rutgers!ames!sdcsvax!ucbvax!hplabs!hplabsc!taylor
From: MATHAI@UK.AC.WARWICK.UU (Mathai Joseph)
Newsgroups: news.announce.conferences
Subject: CFP: Formal Techniques in Real-time and Fault-tolerant Systems
Message-ID: <2267@hplabsc.HP.COM>
Date: Thu, 30-Jul-87 14:32:23 EDT
Article-I.D.: hplabsc.2267
Posted: Thu Jul 30 14:32:23 1987
Date-Received: Sat, 1-Aug-87 10:34:04 EDT
Expires: Fri, 15-Jan-88 03:00:00 EDT
Sender: taylor@hplabsc.HP.COM
Distribution: world
Lines: 38
Approved: taylor@hplabs
Location: University of Warwick, England


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