Path: utzoo!mnetor!uunet!lll-winken!lll-tis!ames!pasteur!ucbvax!UCONNVM.BITNET!WURST
From: WURST@UCONNVM.BITNET
Newsgroups: comp.ai.digest
Subject: Seminar information...
Message-ID: <8803050240.AA27660@ucbvax.Berkeley.EDU>
Date: 2 Mar 88 17:40:00 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 13
Approved: ailist@kl.sri.com


          I accidentally deleted a recent AILIST containing a announcement
    about a seminar on temporal logic.  Could someone please send me a
    copy of the announcement?  I believe that the seminar was being given
    at BBN, but I am not sure.  Thank you.

----------
Karl R. Wurst
Computer Science and Engineering, U-155       BITNET: WURST@UCONNVM
University of Connecticut                     CSNET : WURST@UCONN
Storrs, CT   06268

"Progress might have been alright once, but it's gone on too long."
                                         --Ogden Nash