[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] CHINA 2008 PC CfPresentations
Dear PC members of CHINA,
The deadline for the submission of formal, original contributions, March 20, has
passed. We have received three such papers and these - which are also
candidates for publication in ToPNoC - are to be reviewed now.
(Notification May 1.)
In case your expertise is needed you will be approached one of these days.
A main objective of CHINA is to be a meeting place between East and West with
opportunity to get to know each other's interests and motivations, to discuss
ongoing work and get feedback. Thus also informal contributions which do not
necessarily have to be original, are welcome.
Such contributions can still be submitted until May 1,
See the Call for Presentations below
So, we cordially invite you, your students and colleagues to take part in this
meeting and submit an extended abstract on any issue or application of your work
on concurrency which you would like to discuss in Xi'an.
See you in/at China!
Jetty and Maciej
CALL FOR PRESENTATIONS
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
- 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
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@xxxxxxxx
- Maciej Koutny (United Kingdom), maciej.koutny@xxxxxxxxx
M.ter Beek (Italy)
J.-M. Colom (Spain)
J.Kleijn (Netherlands, chair)
M.Koutny (UK, chair)