DKANERVA@SRI-AI.ARPA (03/08/84)
[Forwarded from the CSLI Newsletter by Laws@SRI-AI.] JOINT SEMINAR ON CONCURRENCY Carnegie-Mellon University July 9-11, 1984 The National Science Foundation (NSF) of the United States and the Science and Engineering Council (SERC) of Great Britain have agreed to support a Joint Seminar on Concurrency. The seminar intends to discuss the state of the art in concurrent programming languages, their semantics, and the problems of proving properties of concurrent programs. A small number of participants from Britain and the United States have already been invited, but other interested researchers are encouraged to attend. Because of the limited NSF and SERC funding, no financial support is available. However, if you are interested in participating and can find your own support, please contact as soon as possible: Stephen D. Brookes Brookes@CMU-CS-A Department of Computer Science Home (412) 441-6662 Carnegie-Mellon University Work (412) 578-8820 Schenley Park Pittsburgh, PA 15213 The other organizers of the meeting are Glynn Winskel (Cambridge University) and Bill Roscoe (Oxford University), but inquiries should be directed to Brookes at Carnegie-Mellon.