===============================================================
New deadline: March 27
===============================================================
APNOC 2009
International Workshop on Abstractions for Petri Nets
and Other Models of Concurrency
http://www.win.tue.nl/apnoc2009/
===============================================================
Paris, France, June 22, 2009
a satellite event of Petri Nets 2009
30th International Conference on Application and Theory of
Petri Nets and Other Models of Concurrency
co-located with 20th IEEE/IFIP International Symposium on Rapid System
Prototyping
===============================================================
Selected papers from the workshop will be published in ToPNoC -
"Transactions on Petri Nets and Other Models of Concurrency" -
journal subline of Lecture Notes in Computer Science.
===============================================================
Deadline for paper submission: March 27, 2009
Deadline for posters: May 1, 2009
===============================================================
APNOC is a forum for researchers interested in abstraction techniques
and methodologies for modeling and verification of concurrent systems.
The modeling language of particular interest is Petri nets; other
formalisms such as process algebras, pi-calculus, B-method, etc., are
also of great interest, since abstraction techniques are often
formalism-independent and could be transferred from one formalism to
another. Both academics and practitioners can contribute and learn from
such a meeting.
Contributions describing original research in topics related to the use
of abstractions for Petri nets and other models of concurrency, as well
as surveys addressing abstraction techniques and open problems and new
applications of abstractions are being sought. Topics of interest
include but are not limited to:
* State space abstraction and aggregation
* Abstract interpretation techniques
* Abstractions for handling underspecified systems
* Pattern-based abstractions
* Abstractions for handling incomplete information
* Abstraction for efficiency, explanation, anytime reasoning,
* Methodologies for applying abstraction techniques in modelling
* Case studies where abstraction plays a central role
* Tools support for abstractions
The programme committee invites submissions of full contributions (up to
15 pages) or short contributions (up to 5 pages). Ongoing work (up to 2
pages) can be presented in a special poster session. Papers should be
submitted in electronic form (PDF) using the Springer LNCS-format
(http://www.springer.de/comp/lncs/authors.html). Submissions should
include title, author's address and email, and an abstract. Please use
the online conference management system (see
http://www.win.tue.nl/apnoc2009/)
Accepted papers will be included in the workshop proceedings which will
be available at the workshop. At least one of the authors of each
accepted contribution should register and take part in the workshop to
give the presentation.
Selected papers from the workshop will be invited for publication in a
volume of a journal subline of Lecture Notes in Computer Science
entitled "Transactions on Petri Nets and Other Models of Concurrency"
(ToPNoC).
Important Dates:
Deadline for abstracts: March 13, 2009
Deadline for papers: March 20, 2009
Notification of paper acceptance: May 1, 2009
Deadline for posters: May 1, 2009
Notification of poster acceptance: May 12, 2009
Deadline for all final contributions: May 22, 2009
Workshop: June 22, 2009
INVITED SPEAKER
* Radhia Cousot (École Polytechnique, France)
PROGRAMME COMMITTEE:
* Wil van der Aalst (The Netherlands)
* Josep Carmona (Spain)
* Radhia Cousot (France)
* Philippe Darondeau (France)
* Jörg Desel (Germany)
* Olga Kouchnarenko (France)
* Maciej Koutny (UK)
* Charles Lakos (Australia)
* Laure Petrucci (France)
* Jean-François Raskin (Belgium)
* Olivier Roux (France)
* Alexander Serebrenik (The Netherlands) (co-chair)
* Natalia Sidorova (The Netherlands) (co-chair)
* Martin Steffen (Norway)
* Ulrich Ultes-Nitsche (Switzerland)
* Walter Vogler (Germany)
* Karsten Wolf (Germany)
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
