[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[pept:226] Express'05 First CFP
- To: acl@xxxxxxxxxxxxxxx, acl2@xxxxxxxxxxxxx, action-semantics@xxxxxxxx, agents@xxxxxxxxxxx, aisb@xxxxxxxxxxxxxxxxx, apng-all@xxxxxxxx, asci@xxxxxxxxxxxxxx, behavior@xxxxxxxxxxx, bforum@xxxxxxxxxxxxxxxx, caml-list@xxxxxxxxxxxxxxxxx, categories@xxxxxx, clp@xxxxxxxxxxxxxxx, comprox@xxxxxxxxxxxx, comp-thy@xxxxxxxxxxxxxxx, coordinator@xxxxxxxxxxxxx, coq-club@xxxxxxxxxxxxxxxxx, cphc-conf@xxxxxxxxxxxxxx, csd@xxxxxxxxxxx, cs-logic@xxxxxxxxxxxxxx, dbworld@xxxxxxxxxxx, deduktion@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx, DMA-LIST@xxxxxxxxxxxxxx, DMANET@xxxxxxxxxxxxxxxx, dna@xxxxxxxxxxxxxx, ea@xxxxxxxxxx, eacsl@xxxxxxxxxxxxx, elotos@xxxxxxxxxxxx, elsnet@xxxxxxxxxxxxxxx, emisa@xxxxxxxxxxxxxxxxxxxxxxxxxx, esterel-users@xxxxxxxxxxxxxxx, eti-users@xxxxxxxxxxxxxxx, fg-db@xxxxxxxxxxxxxxxxxxxxxxxxx, finite-model-theory@xxxxxxxxxxxxxxxxxxxxxxxxx, fits-list@xxxxxxxxxxxxxxx, formal-methods@xxxxxxxxxxxxx, gap@xxxxxxx, gazette@xxxxxxxxxxxxxxxxxxxxxxxxxx, glp@xxxxxxxxxxxx, graduiertenkolleg-infos@xxxxxxxxxxxxxxxxxxxx, gragra@xxxxxxxxxxxxxxxxxxxxxxxxxxxx, grin@xxxxxxxxxxx, i3s@xxxxxxxxxxxx, idss@xxxxxxxxxxxxxxx, ifip-wg1_3-members@xxxxxxxxxxx, ifmsig@xxxxxxxxx, ikbs@xxxxxxxxxxxxx, imps@xxxxxxxxxxxxxxx, infoagents@xxxxxx, informatica@xxxxxxxxxxxxx, ipa@xxxxxxxxxx, isabelle-users@xxxxxxxxxxxx, java-threads@xxxxxxxxx, kaw@xxxxxxxxxxxxxx, ld@xxxxxxxxx, lfcs-interest@xxxxxxxxxxxx, lfg@xxxxxxxxxxxxxxxxxx, lics-request@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx, lmcall@xxxxxxx, Lotos-World@xxxxxxxxxxxxxxx, lpnmr@xxxxxxxxxxxxxxx, lprolog@xxxxxxxxxx, maude-users@xxxxxxxxxxxxxxxxx, mercury-ads@xxxxxxxxxxx, ml@xxxxxxxxxxx, mol@xxxxxxxxxxxxx, mscnews@xxxxxxxxxxxxx, nlcl@xxxxxxxxxxxxxxx, nuprlnotes@xxxxxxxxxxxxxx, office@xxxxxxx, om-announce@xxxxxxxxxxxxxxxxx, parallel-io@xxxxxxxxxxxxx, pept@xxxxxxxxxxxxxxxxxxxxx, PetriNets@xxxxxxxxxxx, prog-lang@xxxxxxx, prologia@xxxxxxxxxxxxxxxxxxxxxxx, puml-list@xxxxxxxxxxxxx, pvs@xxxxxxxxxxx, rewriting@xxxxxxxxxxx, sdlnews@xxxxxxxxxxxxx, seworld@xxxxxxxxxxxxxxx, spin_list@xxxxxxxxxxxxxxxxxxxxxx, stochver@xxxxxxxxxxxxx, takagi@xxxxxxxxx, theorem-provers@xxxxxxxxxx, theory-logic@xxxxxxxxxx, theorynt@xxxxxxxxxxxxxxxxxx, tools-europe@xxxxxxxxxx, unification@xxxxxxx, verimag@xxxxxxx, vki-list@xxxxxxx, zeves@xxxxxxxxx, zforum@xxxxxxxxxxxx
- Subject: [pept:226] Express'05 First CFP
- From: Iain Phillips <iccp@xxxxxxxxxxxx>
- Date: Wed, 16 Mar 2005 19:55:53 +0000
- Reply-to: pept@xxxxxxxxxxxxxxxxxxxxx
- Resent-date: Sat, 19 Mar 2005 03:53:32 +0900
- Resent-from: sumii@xxxxxxxxxxxxxxxxxx
- Resent-message-id: <200503190353.FMLAAB12911.pept@yl.is.s.u-tokyo.ac.jp>
- Resent-to: pept@xxxxxxxxxxxxxxxxxxxxx (moderated)
- User-agent: Mozilla/5.0 (X11; U; Linux i686; en-GB; rv:1.7) Gecko/20040617
First Call for Papers
12th International Workshop on
Expressiveness in Concurrency
EXPRESS'05
Affiliated with CONCUR 2005
San Francisco, California
27 August 2005
http://www.win.tue.nl/Express05
Supported by: Eindhoven University of Technology,
The Netherlands
AIMS 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.
SUBMISSIONS:
Submissions may be of two forms:
- Short papers (not included in the proceedings):
up to 4 pages, typeset 11 points
- Full papers: up to 12 pages, typeset 11 points
(excluding bibliography and technical appendices)
Simultaneous submission to other conferences or journals is
only allowed for short papers. Submissions may already use
the ENTCS-style format.
PUBLICATION OF THE PROCEEDINGS:
The proceedings will be published after the workshop in the
ENTCS (Electronic Notes in Theoretical Computer Science).
A printed preliminary version of the proceedings will be
available at the workshop. Authors will be asked to prepare
their final version using the ENTCS-style format.
Authors of selected papers will be invited after the
workshop to submit a full version for publication in a
Special Issue of a leading journal; those submissions will
then be subject to a separate reviewing procedure matching
the standards of the journal.
IMPORTANT DATES:
Deadline for Paper Submission: 1 June 2005
Notification to Authors: 11 July 2005
Final Version of Accepted Papers due: 25 July 2005
INVITED SPEAKERS:
Thomas Henzinger (EPFL, CH)
Glynn Winskel (Univ. of Cambridge, UK)
PROGRAM CO-CHAIRS:
Jos Baeten (Eindhoven Univ. of Technology, NL)
Iain Phillips (Imperial College London, UK)
PROGRAM COMMITTEE:
Roberto Amadio (Univ. de Provence, CMI Marseille, FR)
Jos Baeten (Eindhoven Univ. of Technology, NL)
Julian Bradfield (Univ. of Edinburgh, UK)
Michele Bugliesi (Univ. Ca' Foscari, IT)
Mariangiola Dezani-Ciancaglini (Univ. di Torino, IT)
Wan Fokkink (Vrije Univ. Amsterdam, NL)
Thomas Hildebrandt (IT Univ. of Copenhagen, DK)
Kohei Honda (Queen Mary Univ. of London, UK)
Richard Mayr (North Carolina State Univ. US)
Catuscia Palamidessi (INRIA Futurs, LIX École Polytechnique, FR)
Iain Phillips (Imperial College London, UK)
Julian Rathke (Univ. of Sussex, UK)
Eugene Stark (SUNY Stony Brook, US)
CONTACT:
Jos Baeten - josb@xxxxxxxxxx
Iain Phillips - iccp@xxxxxxxxxxxx