Update of [AL0101C3] .
The full version of the Final Call for Papers is available.
The purpose of CONCUR'95 is to bring together researchers, developers and students in order to advance the science of concurrency theory and promote its application. Submissions are invited in all areas of semantics, logics, and verification techniques for concurrent systems. Potential topics include, but are not limited to, process algebras, Petri nets, true concurrency, shared-memory and message-passing formalisms, operational and denotational models, programming language semantics, probabilistic and real-time processes, hybrid systems, concurrent logic and constraint programming, fairness, temporal logics, compositional analysis techniques, and verification tools. Submissions will be evaluated by the Program Committee for inclusion in the proceedings, which will be published by Springer-Verlag. Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. CONCUR '95 will feature electronic submission of papers. E-mail postscript (tm) or uuencoded dvi files to: concur95-submit@cs.sunysb.edu .
When electronic submission is not possible (e.g. due to lack of internet access), five (5) hardcopies of the paper should be sent to:
CONCUR '95, Attn: Scott Smolka, Dept. of Computer Science
SUNY at Stony Brook, Stony Brook, NY 11794-4400, USA
telephone: +1 516 632 8453, fax: +1 516 632 8334.
Submissions should contain a full paper of no more than 15 typed pages (11pt or 12pt, single-spacing, single-column, fullpage or a4 margins) accompanied by a one-page abstract. Mailing address (both postal and electronic), phone/fax number (if available) of the author to whom correspondence should be sent should be clearly indicated.
Dates: subm: 1 March 1995; notif: 1 May 1995; final: 1 June 1995.
The latest CONCUR'95 information may be obtained electronically via