Process Algebra and COordination (PACO) 2011

PACO 2011 PACO 2011

June 9, 2011, Reykjavik, Iceland

Satellite Workshop of DisCoTec 2011

Invited Speakers Important Dates Organization Committee Programme Committee Submission Programme

Scope


Process algebra provides abstract and rigorous means for studying communicating concurrent systems. Coordination languages also provide abstract means for the specifying and programming communication of components. Hence, the two fields seem to have very much in common and the link 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:

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



Important Dates



Organization Committee



Programme Committee



Programme