From: E.Best@informatik.uni-hildesheim.de (Eike Best)
Subject: Call-for-papers: CONCUR-93
Organization: Institut fuer Informatik, Universitaet Hildesheim
Distribution: world
Date: Fri, 16 Oct 1992 13:22:38 GMT

********************************************************************************

                              CALL FOR PAPERS

                                 CONCUR '93

            Fourth International Conference on Concurrency Theory
                             Hildesheim, Germany

                             August 23-26,  1993


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 and partial order models
     Shared-memory and message-passing formalisms
     Operational and denotational approaches
     Programming language semantics
     Concurrent logic and constraint programming
     Fairness and infinite behaviour
     Temporal logics and model checking
     Synthesis methods for concurrent systems
     Compositional analysis techniques
     Verification tools

Submissions will be  carefully  evaluated  by  the  Program    Committee     for
presentation at the conference and inclusion  in  the proceedings,   which   are
expected  to    be     published  by  Springer-Verlag    by  the  time  of   the
conference. Previous conference  proceedings  appeared    in   Springer-Verlag's
Lecture Notes in Computer Science  (volumes 458, 527 and 630).

Papers  must contain original contributions, be clearly written,  and    include
appropriate  reference  to  and  comparison    with  related    work.   Six  (6)
copies  of a draft of a full paper of no more  than  15  double-spaced  standard
pages, accompanied by a  one-page  abstract,  should    be  sent to the  Program
Committee  chairman.    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 on each copy  of  the
submission.

INVITED SPEAKERS

Jan A. Bergstra (University of Amsterdam and Utrecht University, NL)

Bard Bloom (Cornell University, USA)

G'erard Boudol (INRIA Sophia Antipolis, F)

Cliff B. Jones (Manchester University, UK)

Christian Lengauer (University of Passau, D)

Pierre Wolper (University of Li`ege, B)

IMPORTANT DATES

Submission of draft paper:  1 March 1993
Notification of acceptance: 30 April 1993
Final version due:          4 June 1993

SUBMISSION ADDRESS (Program Committee Chair)

CONCUR '93
Attn:  Eike Best
Institut fuer Informatik
Universitaet Hildesheim
Marienburger Platz 22
Tel.      (49) 5121 883 741/740
FAX:      (49) 5121 860 475
e-mail:   E.Best@informatik.uni-hildesheim.de

SUBMISSION FORMAT

Preferrably, please send hard copies of your paper and abstract.
In exceptional cases, LaTeX files are acceptable; they have to be self-contained.
Authors from countries where access to copying machines is difficult or expensive
may submit a single copy of their paper and abstract.

PROGRAM COMMITTEE

Jos C. M. Baeten (Eindhoven University of Technology, NL)
David B. Benson (Washington State University, USA)
Eike Best, chair (University of Hildesheim, D)
Manfred Broy (Technical University of Munich, D)
Ilaria Castellani (INRIA Sophia Antipolis, F)
Rance Cleaveland (North Carolina State University, USA)
Raymond Devillers (Free University of Brussels, B)
Javier Esparza (University of Hildesheim/Edinburgh University, D/UK)
Roberto Gorrieri (University of Bologna, I)
Matthew Hennessy (University of Sussex, UK)
Bengt Jonsson (Uppsala University, S)
Maciej Koutny (University of Newcastle upon Tyne, UK)
Mogens Nielsen (University of Aarhus, DK)
Catuscia Palamidessi (University of Pisa, I)
Doron Peled (Bell Laboratories, USA)
Colin Stirling (Edinburgh University, UK)
Pazhamaneri S. Thiagarajan (SPIC Foundation, Madras, IND)
Walter Vogler (University of Augsburg, D)
Frits W. Vaandrager (Centrum voor Wiskunde en Informatica, NL)

CONFERENCE CHAIR

Ursula Goltz
Institut fuer Informatik
Universitaet Hildesheim
Marienburger Platz 22
D-3200 Hildesheim
Tel.      (49) 5121 883 746/748
FAX:      (49) 5121 860 475
e-mail:   goltz@informatik.uni-hildesheim.de

TUTORIALS CHAIR
					
Ernst-Ruediger Olderog
Institut fuer Informatik
Universitaet Oldenburg
Ammerlaender Heerstrasse 114-118
D-2900 Oldenburg
Tel.      (49) 0441 798 2439
FAX:      (49) 0441 798 2155
e-mail:   olderog@arbi.informatik.uni-oldenburg.de

LOCATION

Hildesheim, a town with slightly more than 100.000 inhabitants, lies  30  km  to
the south of  Hannover  and  40  km to the north of the "Harz" mountain range, a
well known tourist attraction.  The conference will take place  in lecture rooms
provided by the University.

TRAVEL

There are convenient train connections to the international airports of Berlin,
Hannover, Hamburg and Frankfurt/Main.

ACCOMMODATION

Hotel accommodation prices range between DM 50 and DM 170 (bed and breakfast).

********************************************************************************

Xref: sparky comp.theory:2199 sci.math:13322