[ecoop-info] CFP: APNOC 2010 - 2nd Int. Workshop on Abstractions for Petri Nets and Other Models of Concurrency

[Serebrenik, A.]

===============================================================
APNOC 2010
2nd International Workshop on Abstractions for Petri Nets and 
Other Models of Concurrency

http://www.win.tue.nl/apnoc2010/
===============================================================
Braga, Portugal, June 21, 2010
a satellite event of Petri Nets 2010
31th International Conference on Application and Theory of
Petri Nets and Other Models of Concurrency
===============================================================
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 abstracts: March 13, 2010
Deadline for paper submission: March 20, 2010
===============================================================

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 7 pages). 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/apnoc2010/)

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:
Abstract submission: 13 March, 2010
Submission deadline: 20 March, 2010
Start of reviews: 23 March, 2010
Start of discussion phase: 23 April, 2010
Notification of acceptance: 1 May, 2010
Final version: 22 May, 2010

PROGRAMME COMMITTEE:

Josep Carmona (Spain)
Radhia Cousot (France)
Philippe Darondeau (France)
Jörg Desel (Germany)
Wan Fokkink (The Netherlands)
Pierre Ganty (Belgium)
Serge Haddad (France)
Olga Kouchnarenko (France)
Maciej Koutny (UK)
Laure Petrucci (France)
Olivier H. Roux (France)
Alexander Serebrenik (The Netherlands) (co-chair)
Natalia Sidorova (The Netherlands) (co-chair)
Martin Steffen (Norway)
Walter Vogler (Germany) 
================================================