June 9, 2011, Reykjavik, Iceland
Satellite Workshop of DisCoTec 2011
|Invited Speakers||Important Dates||Organization Committee||Programme Committee||Submission||Programme|
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.
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.
|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|
|Paper Submission:||March 25, 2011|
|Author notification:||April 22, 2011|
|Camera ready paper due:||May 20, 2011|
|Workshop:||June 9, 2011|
|Luca Aceto||Reykjavik University, Iceland|
|Christel Baier||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|
|Rosario Pugliese||University of Florence, Italy|
|Davide Sangiorgi||University of Bologna, Italy|
|Marjan Sirjani||Reykjavik University, Iceland|
|08:55 - 09:00
|09:00 - 10:00
Dave Clarke: Context, Colouring and Constraints.|
|10:00 - 10:30
|10:30 - 11:00
Natallia Kokash, Farhad Arbab, Behnaz Changizi and Leonid Makhnist |
Input-output Conformance Testing for Channel-based Service Connectors.
|11:00 - 11:30
Suzana Andova, Luuk Groenewegen and Erik De Vink |
Towards Reduction of Paradigm Coordination Models.
|11:30 - 12:30
Jos C.M. Baeten: A Process Algebra for Supervisory Control
|12:30 - 14:00
|14:00 - 15:00
Rocco de Nicola: A Uniform Framework for Modeling Processes Behaviors and
(Joint invited talk with ICE)
|15:00 - 15:05
Back to PACO|
|15:05 - 16:05
Gianluigi Zavattaro: Parameterized Verification of Ad Hoc Network
| 16:05 - 16:30