WURST@UCONNVM.BITNET (03/03/88)
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