EXPRESS'00 logo
7th International Workshop on
Expressiveness in Concurrency
August 21, 2000
Pennsylvania State University, USA
Held in conjunction with the conference CONCUR 2000.
[BRICS logo] [UU logo]

Call for Participation

[ Programme | Abstracts | Programme Committee | Invited Speaker | Important Dates | Publication | Registration | Related Events ]

The list of accepted papers now is available, as well as a preliminary programme.

Scope of the workshop

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, co-chaired by Ilaria Castellani and Catuscia Palamidessi, and like on that occasion EXPRESS'99 was hosted by the CONCUR'99 conference in Eindhoven, co-chaired by Ilaria Castellani and Björn Victor.

The EXPRESS'00 workshop is again held as a satellite workshop of CONCUR, this year at Pennsylvania State University, USA.

Invited speaker
Neil Jones (DIKU, Copenhagen, DK)

Important dates
Paper submission: May 14, 2000 (midnight UTC)
Notification: June 16, 2000
Final version: July 31, 2000

Luca Aceto
BRICS, Aalborg University, Denmark

Björn Victor
Uppsala University, Sweden

Programme committee
Luca Aceto (BRICS, DK)
Karen Bernstein Jeffrey (DePaul University, US)
Rance Cleaveland (SUNY at Stony Brook, US)
Wan Fokkink (CWI, NL)
Rob van Glabbeek (Stanford University, US)
Ursula Goltz (TU Braunschweig, DE)
Rosario Pugliese (University of Firenze, IT)
Julian Rathke (University of Sussex, UK)
Davide Sangiorgi (INRIA Sophia-Antipolis, FR)
Igor Walukiewicz (Warsaw University, PL)
Björn Victor (Uppsala University, SE)

Additional information
Further information will appear on this web page, or can be obtained by mailing to or Bjorn.Victor@DoCS.UU.SE.

Paper submission
The deadline for submission is May 14, 2000 (midnight). 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 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: Björn Victor, Dept. of Computer Systems, Uppsala University, Box 325, SE-751 05 Uppsala, SWEDEN.

The proceedings will be published after the workshop in the ENTCS (Electronic Notes in Theoretical Computer Science). A preliminary version of the proceedings will be available at the workshop. Short abstracts will not be included in the proceedings.

See also a special issue of MSCS (Mathematical Structures in Computer Science) devoted to ``the Difference between Concurrent and Sequential Computation''.

Venue and Registration
The workshop will be held at Pennsylvania State University, Pennsylvania, USA. Registration is handled via the registration procedure of CONCUR 2000.

Related events
EXPRESS'00 is organized as a satellite workshop of CONCUR 2000, the 11th International Conference on Concurrency Theory, which will take place on August 22-25, 2000. Three other workshops will be held in conjunction with the conference: GETCO 2000: Geometric and Topolocical Methods in Concurrency Theory, YOO: Why Object-Orientation, and MTCS: Models for Time-Critical Systems (and their Relationships).

We gratefully acknowledge the support of BRICS (Basic Research in Computer Science), Centre of the Danish National Research Foundation.

© Björn Victor
Last modified: Fri, 28-Jul-2000 00:14 MEST
1493  hits
2000-01-25 -- 2000-09-27
more stats
Click to receive email
when this page changes

[ Powered by NetMind ]
[Valid HTML 4.01!]