English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Call for Presentations CHINA 2008
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-03-31 (15:44)
From: Jetty Kleijn <kleijn@l...>
Subject: Call for Presentations CHINA 2008
(informal contributions)
Apologies for multiple copies

		CHINA 2008 Workshop 
Concurrency metHods: Issues aNd Applications

A satellite workshop of PETRI NETS 2008 co-located with ACSD 2008 

		June 24, 2008 
		Xi'an, China


Important Dates:
-  Deadline for submission			May   1, 2008
-  Deadline for pre-proceedings			June  1, 2008
-  Workshop                                	June 24, 2008

		Alex Yakovlev (Newcastle, UK)

The main objective of the workshop is to be a meeting place, in two
ways. It is intended to be a forum to exchange ideas and experiences with
different methods for the study of concurrent and distributed systems.
In addition, it will also be a meeting place for researchers from China
and neighbouring countries with the participants of the PETRI NETS and
ACSD conferences.
Therefore, in addition to the formal submissions, informal contributions are
still most welcome, in particular:
presentations of ongoing work like Ph.D. research or 
significantly based on already published work 
-possibly in a language other than English- 
for which the authors seek feedback.
(The latter under the condition that the prior work is adequately
referenced, and there are no publisher's restrictions.)
Also posters presenting initial ideas are solicited.

Extended abstracts of the accepted informal contributions will be included in 
the workshop proceedings and available at the meeting.

The scope of the workshop is broad. Its goal is to discuss models of
concurrency with an emphasis on issues relevant to certain application
domains which have led or could lead to the addition of structural
The focus of the workshop will be on qualitative rather than
quantitative aspects of concurrent systems. For the (enhanced) models
under discussion, also analysis techniques, extended or even completely
new, are to be considered. The meeting is deliberately not focussed on
any particular model of concurrency, issue or application. Fundamental
approaches as well as interdisciplinary applications may be discussed.

Aspects which are of interest to the workshop (in combination with
techniques for analysis, verification and synthesis) include:

(i) Concurrency models: Petri nets, process algebras, cooperating
automata, coordination languages, rewriting systems, discrete event
systems, message sequence charts, temporal logics

(ii) Issues: synchrony / asynchrony, mobility and security, locality and
components, supervisory control, dynamic reconfiguration, resource
access / testing, collaboration schemes, behavioural equivalence

(iii) Application areas: asynchronous circuits, GALS systems, biological
systems, membrane systems, mobile process networks, architecture,
component based software, workflow systems, communication protocols

Prospective participants are asked to submit by email 
(to the email addresses given below) 
an extended abstract of at most 15 pages as PDF or PS and 
using the Springer LNCS-format

Submissions should include a title and 
the authors' contact addresses and email.
At least one of the authors of each accepted contribution should
register and take part in the workshop to give the presentation.

-  Jetty Kleijn (The Netherlands), kleijn@liacs.nl
-  Maciej Koutny (United Kingdom), maciej.koutny@ncl.ac.uk

M.Bednarczyk (Poland)
M.ter Beek (Italy)
Y.Bin (China)
M.Bonsangue (Netherlands)
J.Carmona (Spain)
T.Chothia (Netherlands)
S.Christensen (Denmark)
G.Ciobanu (Romania)
J.-M. Colom (Spain)
P.Darondeau (France)
Z.Duan (China)
S.Gnesi (Italy)
L.Gomes (Portugal)
A.Gordon (UK)
S.Haddad (France)
K.Hao (China)
H.Hong (China)
R.Janicki (Canada)
E.Kindler (Denmark)
H.Klaudel (France)
J.Kleijn (Netherlands, chair)
A.Kondratyev (USA)
M.Koutny (UK, chair)
Z.Liu (China)
R.Lorenz (Germany)
H.Miao (China)
M.Mukund (India)
G.Pappalardo (Italy)
G.Paun (Spain)
L.Pomello (Italy)
W.Vogler (Germany)
K.Wolf (Germany)
A.Yakovlev (UK)