FINAL CALL FOR PAPERS

			 EXPRESS'99:
		6th International Workshop on
		Expressiveness in Concurrency

	 Eindhoven, the Netherlands, August 23, 1999

      Held in conjunction with the conference CONCUR'99
		 and the PROBMIV'99 workshop

	   http://www.docs.uu.se/~victor/Express99/
				   
SCOPE:
   The EXPRESS workshops aim at bringing together researchers interested
   in the relations between various formal systems, particularly in the
   field of Concurrency.  More specifically, they focus on the comparison
   between programming concepts (such as concurrent, functional,
   imperative, logic and object-oriented programming) and between
   mathematical models of computation (such as process algebras, Petri
   nets, event structures, modal logics, rewrite systems etc.) on the
   basis of their relative expressive power.

   The EXPRESS workshops were originally held as meetings of the HCM
   project EXPRESS, which was active with the same focus from January
   1994 till December 1997. The first three workshops were held
   respectively in Amsterdam (1994, chaired by Frits Vaandrager),
   Tarquinia (1995, chaired by Rocco De Nicola), and Dagstuhl (1996,
   co-chaired by Ursula Goltz and Rocco De Nicola). The workshop in 1997,
   which took place in Santa Margherita Ligure and was co-chaired by
   Catuscia Palamidessi and Joachim Parrow, was organized as a conference
   with a call for papers and a significant attendance from outside the
   project. The 1998 workshop was held as a satellite workshop of the
   CONCUR'98 conference in Nice, and like on that occasion EXPRESS'99
   will be hosted by the CONCUR'99 conference, to be held in Eindhoven.

CO-CHAIRS: 
   Ilaria Castellani (INRIA Sophia-Antipolis, FR)
   Bjorn Victor (Uppsala University, SE)

PROGRAMME COMMITTEE:
   Luca Aceto (BRICS, DK)
   Eric Badouel (INRIA Rennes, FR)
   Steve Brookes (Carnegie Mellon University, US)
   Ilaria Castellani (INRIA Sophia-Antipolis, FR)
   Rob van Glabbeek (Stanford University, US)
   Astrid Kiehn (TU Munchen, DE)
   Marta Kwiatkowska (University of Birmingham, UK)
   Ugo Montanari (Universita di Pisa, IT)
   Uwe Nestmann (BRICS, DK)
   Catuscia Palamidessi (Penn State University, US)
   Bjorn Victor (Uppsala University, SE)

INVITED SPEAKERS:
   Roberto Amadio (Universite de Provence, FR)
   Prakash Panangaden (McGill University, CA)

TOPICS (non-exclusive list):
   Models of Computation
   Process Algebras
   Mobile Processes
   Term and Graph Rewriting
   Event Structures
   Petri Nets
   Real-Time Systems
   Coordination Languages
   Concurrent Constraint, Functional, Logic and Object-Oriented Programming

IMPORTANT DATES:
   May 7, 1999    Deadline for submission
   June 18, 1999  Notification of acceptance
   July 19, 1999  Final version due

LOCAL ORGANIZATION:
   Jan Friso Groote (Eindhoven University of Technology, NL)

SUBMISSION AND PUBLICATION:
   Submissions may be of two forms:

   * Short abstracts: up to 4 pages, in format A4, typeset 11 points 
   * Full papers: up to 12 pages, in format A4, typeset 11 points
     (excluding bibliography and technical appendices)

   Both forms of submission should include a separate page with the
   following informations: title, author(s), corresponding author,
   contact information and a 12-15 lines summary. Simultaneous submission
   to other conferences or journals is *only* allowed for short abstracts.
   Electronic submission is strongly encouraged. The paper or abstract
   should be sent by e-mail in the form of a uuencoded postscript file to
   both the addresses ic@sophia.inria.fr and Bjorn.Victor@DoCS.UU.SE. The
   accompanying page should be sent in a separate email message.
   If surface mail has to be used, then 3 copies of the paper/abstract 
   should be sent to: Bjorn Victor, Dept. of Computer Systems, Uppsala 
   University, Box 325, SE-751 05 Uppsala, SWEDEN.

   The proceedings will most likely be published in Electronic Notes
   in Theoretical Computer Science (Elsevier Science Publishers). Short
   abstracts will not be included in the proceedings. 


RELATED EVENTS:
   EXPRESS'99 is organized as a satellite workshop of CONCUR'99, the 10th
   International Conference on Concurrency Theory, which will take place
   in Eindhoven on August 24-27, 1999.  EXPRESS'99 coincides with the
   PROBMIV'99 workshop on Probabilistic Methods in Verification, another
   satellite of CONCUR'99.

For more details see the URL http://www.docs.uu.se/~victor/Express99.