sas@sbcs (Scott Smolka) (01/21/91)
FIRST ANNOUNCEMENT & CALL FOR PAPERS Theories of Concurrency: Unification and Extension Amsterdam, August 26-29, 1991 CONCUR'91 is the second international conference on concurrency theory, organized in association with the ESPRIT Basic Research Action 3006, CONCUR. The program has 7 sections: Process Algebras Logics Models Applications Tools Design Functional, Object Oriented and Logic Programming PROGRAM COMMITTEE The Program Committee is headed by J.C.M. Baeten (CWI Amsterdam). In each of the sections, subcommittees consisting of experts in the field will referee the submitted papers. The subcommittees are headed by: K.G. Larsen Univ. Aalborg, Denmark C. Stirling Univ. Edinburgh, UK E. Best Univ. Hildesheim, Germany M. Broy Tech. Univ. Muenchen, Germany S.A. Smolka SUNY at Stony Brook, USA C.A.R. Hoare Univ. Oxford, UK J.W. de Bakker CWI, The Netherlands SUBMISSIONS All researchers in concurrency theory are invited to submit papers to the conference. Submissions will be evaluated by the Program Committee for inclusion in the proceedings. Papers must contain original contributions, be clearly written and include appropriate reference to and comparison with related work. Five copies of a draft full paper of no more than 15 double-spaced standard pages accompanied by a one-page abstract should reach the PC-chairman according to the following: DEADLINES Submission of draft full paper March 1st, 1991 Notification of acceptance May 1st, 1991 Final version due June 10th, 1991 ORGANIZING COMMITTEE J.A. Bergstra P. van Gelder J.F. Groote S. Mauw A. Ollongren F. Snijders ADDRESS CONCUR'91 c/o CWI Kruislaan 413 Postbus 4079 NL-1009 AB Amsterdam The Netherlands Telephone :+31-20-5924171/2014 Fax :+31-20-5924199 Telex :12571 mactr nl email :franss@cwi.nl or madelon@fwi.uva.nl