[C2] ================================================ AMAST Links 02 01

     6th International Conference on Concurrency Theory, CONCUR'95
          Philadelphia, Pennsylvania, USA, August 21-24, 1995

   *Update* of [AL0101C3].
   The full version of the _Final Call for Papers_ is available at
URL: http://www.cs.utwente.nl/data/amast/links/v02/i01/full/CONCURc.txt
  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
 o  E-mail: concur95@cis.upenn.edu,
 o  FTP (158.130.12.3): URL: ftp://ftp.cis.upenn.edu/pub/concur95
 o  WWW: URL: http://www.cis.upenn.edu/concur95/concur95.html