[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[Contributions from members of the TYPES community to the workshop are most
welcome.]

********************************************************
 Call for Papers

The First International Workshop on
Process Algebra and Coordination (PACO 2011)
(co-located with DisCoTec'11)

http://www.win.tue.nl/paco2011/

9 June 2011, Reykjavik, Iceland

Paper Submission Deadline: March 25, 2011
********************************************************


Scope

Process algebra provides abstract and rigorous means for studying
communicating concurrent systems. Coordination languages also provide
abstract means for specifying and programming communication of components.
Hence, the two fields seem to have very much in common and the links between
these two research areas have been established formally by means of several
translations, mainly from coordination languages to process algebras. There
have also been proposals of process algebras whose communication policy is
inspired by the one underlying coordination languages.

The aim of this workshop is to push the state of the art in the study of the
connections between process algebra and coordination languages by bringing
together experts as well as young researchers from the two fields to
communicate their ideas and findings.

Format

The workshop will comprise two main parts: invited lectures and contributed
talks. In the first part, some invited senior researchers will present their
ideas around the theme of linking process algebras and coordination
languages.

Contributions will be solicited in the areas related to the formal aspects
of communication structures and coordination languages. The topics of
interest include, but are not restricted to:

* Comparison Among Different Coordination Models and/or Process Algebras
* Expressive Power of Coordination Languages and Process Algebras
* Formal Semantics of Coordination Languages
* Formal Verification of Coordinated Architectures
* Relating Different Semantic Models for Coordination Languages
* Translations from Coordination Languages to Process Algebras and Vice
Versa

Submissions should not exceed 15 pages and should be formatted according to
the EPTCS style. (Please check http://style.eptcs.org/ for more details.)

Concurrent submission to other venues (conferences, workshops or journals)
and submission of papers under consideration elsewhere are not allowed.
Submissions are handled using the EasyChair system and can be uploaded using
the following link:

https://www.easychair.org/conferences/?conf=paco2011

All contributions will undergo a rigorous review procedure by the Program
Committee of the workshop and a selection will
be made based on the novelty, soundness and relevance of the contributions.

The proceedings of the workshop, containing papers presented in both parts,
will be published as a volume of Electronic Proceedings in Theoretical
Computer Science.

Invited Speakers

Jos Baeten, Eindhoven University of Technology, The Netherlands
Dave Clarke, Katholieke Universiteit Leuven, Belgium
Rocco De Nicola, University of Florence, Italy
Gianluigi Zavattaro, University of Bologna, Italy


Important Dates

Paper Submission: March 25, 2011
Author notification: April 22, 2011
Camera ready paper due: May 20, 2011
Workshop: June 9, 2011


Program Committee

Luca Aceto Reykjavik University, Iceland (co-chair)
Christel Bair Technische Universit├Ąt Dresden, Germany
Mario Bravetti University of Bologna, Italy
Mohammad Mahdi Jaghoori Centrum Wiskunde & Informatica (CWI), The
Netherlands
MohammadReza Mousavi Eindhoven University of Technology, The Netherlands
(co-chair)
Rosario Pugliese University of Florence, Italy
Davide Sangiorgi University of Bologna, Italy
Marjan Sirjani Reykjavik University, Iceland

Reply via email to