Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site utcsri.UUCP
Path: utzoo!utcsri!voula
From: voula@utcsri.UUCP (Voula Vanneli)
Newsgroups: ont.events
Subject: Computer Systems Seminar -"Proof Obligations.."
Message-ID: <871@utcsri.UUCP>
Date: Wed, 13-Mar-85 13:14:40 EST
Article-I.D.: utcsri.871
Posted: Wed Mar 13 13:14:40 1985
Date-Received: Wed, 13-Mar-85 13:43:37 EST
Distribution: ont
Organization: CSRI, University of Toronto
Lines: 12


                   UNIVERSITY OF TORONTO

                DEPARTMENT OF COMPUTER SCIENCE

  (SF = Sandford Fleming Building, 10 King's College Road)

COMPUTER SYSTEMS SEMINAR - Tuesday, March  19,  11  am.,  SF
1105
                      Mr. Bowen Alpern
                     Cornell University
9 "Proof Obligations for Deterministic Temporal Properties"