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