The full version of this Call for Papers is available as a plain text file.
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.
Topics 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, verification tools.
Proceedings will be published by Springer-Verlag. Papers must contain clearly written original contributions and comparison to related work.
Submission draft of a full paper of no more than 15 typed pages with a one-page abstract and mailing addresses (postal and electronic), telephone number and fax number of the author for correspondence. Email uuencoded dvi/postscript files to:
concur95-submit@cs.sunysb.edu(Or if this is not possible send 5 hardcopies to CONCUR, Scott Smolka, Dept of Comp Sci, SUNY at Stony Brook, NY 11794-4400).
Dates: Subm. 1 Mar 1995; Notif. 1 May 1995; Final version, 1 Jun 1995
Program Committee: Bloom, Cleaveland, Degano, van Glabbeek, Gerth, Graf, Groote, Heitmeyer, Henzinger, Jategaonkar Jagadeesan, Jeffrey, Lee, Parrow, Rabinovitch, Sangiorgi, Schneider, Skou, Smolka, Stark, Thomsen, Young
Conference Co-Chairs
Insup Lee, University of Penn. and Scott A. Smolka, SUNY at Stony Brook;
Publicity Rich Gerber;
Tutorials Dale Miller.
Further information Plain text, dvi, and postscript versions of the Call For Papers and latest information on CONCUR '95 can be obtained by
E-MAIL: concur95@cis.upenn.edu
FTP (158.130.12.3)
WWW