[net.cse] Denotational Semantics courses?

pwh@gatech.UUCP (Phil Hutto) (02/18/84)

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