Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site gatech.UUCP
Path: utzoo!watmath!clyde!akgua!gatech!pwh
From: pwh@gatech.UUCP (Phil Hutto)
Newsgroups: net.cse,net.lang,net.wanted,net.misc
Subject: Denotational Semantics courses?
Message-ID: <4043@gatech.UUCP>
Date: Sat, 18-Feb-84 15:50:18 EST
Article-I.D.: gatech.4043
Posted: Sat Feb 18 15:50:18 1984
Date-Received: Sun, 19-Feb-84 08:06:30 EST
Organization: Georgia Tech School of ICS, Atlanta
Lines: 15

Where are courses being offered in Denotational Semantics? I'm trying to
compile a list of universities which offer courses featuring semantics
systems (Operational, Axiomatic, and, particularly, Denotational)
for an independent study project that i'm working on with professor Kim
King here at Georgia Tech. If you are aware of such a course (regularly
scheduled, special topics, seminar, whatever) would you please
send a brief descriptive note (topics covered, instructor, when offered).
As usual, i'll be happy to summarize results for the net if
there is interest. Thanks!

phil hutto

CSNet:	pwh @ GATech		ARPA:	pwh.GATech @ CSNet-Relay
UUCP:	...!{akgua,allegra,rlgvax,sb1,unmvax,ulysses,ut-sally}!gatech!pwh