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

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 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 Co-Chairs Luca Aceto BRICS, Aalborg University, Denmark luca@cs.auc.dk Björn Victor Uppsala University, Sweden Bjorn.Victor@DoCS.UU.SE 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 luca@cs.auc.dk 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 luca@cs.auc.dk 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. Publication 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). Sponsors 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

2000-01-25 -- 2000-09-27 more stats

Click to receive email when this page changes [ Powered by NetMind ]