CALL FOR PAPERS
                                 CONCUR '95

            Sixth International Conference on Concurrency Theory
                       Philadelphia, Pennsylvania, USA
                             August 21-24, 1995


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 for the first time electronic submission of papers.
Uuencoded dvi or postscript (tm) files should be e-mailed to:

        concur95-submit@cs.sunysb.edu

When electronic submission is not possible (due, e.g., to lack of internet
access), five (5) hardcopies of the paper should be sent to the postal
address given below.

Submissions should contain a draft of a full paper of no more than 15 typed
pages (with normal font sizes, line spacing, margins, etc.) accompanied by a
one-page abstract.  The mailing addresses (both postal and electronic),
telephone number and fax number (if available) of the author to whom
correspondence should be sent should be clearly indicated.


IMPORTANT DATES

Submission of draft paper:  1 March 1995
Notification of acceptance: 1 May 1995
Final version due:          1 June 1995


SUBMISSION ADDRESSES

electronic:  concur95-submit@cs.sunysb.edu

hardcopy:

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


PROGRAM COMMITTEE

B. Bloom (Cornell University)
R. Cleaveland (North Carolina State University)
P. Degano (University of Pisa)
R. van Glabbeek (Stanford University)
R. Gerth (Technical University of Eindhoven)
S. Graf (VERIMAG, Grenoble)
J.F. Groote (University of Utrecht)
C. Heitmeyer (Naval Research Laboratory)
T. Henzinger (Cornell University)
L. Jategaonkar Jagadeesan (AT&T Bell Labs)
A. Jeffrey (Sussex University)
I. Lee, co-chair (University of Pennsylvania)
J. Parrow (Swedish Institute of Computer Science)
A. Rabinovitch (Tel Aviv University)
D. Sangiorgi (University of Edinburgh/INRIA-Sophia Antipolis)
S. Schneider (University of London)
A. Skou (University of Aalborg)
S. Smolka, co-chair (SUNY Stony Brook)
E. Stark (SUNY Stony Brook)
B. Thomsen (ECRC)
M. Young (Purdue University)


CONFERENCE CO-CHAIRS

Insup Lee                                Scott A. Smolka 
Dept. of Computer and Information Sci.   Department of Computer Science  
University of Pennsylvania               SUNY at Stony Brook
Philadelphia, PA  19104-6389, USA        Stony Brook, NY 11794-4400, USA
telephone: +1 215 898 3532               telephone: +1 516 632 8453
fax: +1 215 898 0587                     fax: +1 516 632 8334
lee@cis.upenn.edu                        sas@cs.sunysb.edu


PUBLICITY CHAIR                         TUTORIALS CHAIR
                                        
Rich Gerber                             Dale Miller
Department of Computer Science          Dept. of Computer and Information Sci.
University of Maryland                  University of Pennsylvania
College Park, MD 20742, USA             Philadelphia, PA 19104-6389, USA
telephone: +1 301 405 2710              telephone: +1 215 898 1593
e-mail: rich@cs.umd.edu                 e-mail: dale@cis.upenn.edu


FURTHER INFORMATION

Plain text, dvi, and postscript versions of this Call For Papers as well as the
latest information on CONCUR '95 can be obtained electronically via:

E-MAIL:         concur95@cis.upenn.edu
FTP:            cis.upenn.edu (158.130.12.3) -- pub/concur95
WWW:            http://www.cis.upenn.edu/concur95/concur95.html