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.