[Concurrency] APNOC 2009 - Call for Papers
This is a multi-part message in MIME format.
–===============0039639545==
Content-Type: multipart/alternative;
boundary=”————010206000804070304040604″
This is a multi-part message in MIME format.
————–010206000804070304040604
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Call for papers
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
APNOC 2009
International Workshop on Abstractions for Petri Nets
and Other Models of Concurrency
http://www.win.tue.nl/apnoc2009/
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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=20
co-located with 20th IEEE/IFIP International Symposium on Rapid System=20
Prototyping
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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.
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Deadline for abstracts: March 13, 2009
Deadline for paper submission: March 20, 2009
Deadline for posters: May 1, 2009
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
APNOC is a forum for researchers interested in abstraction techniques=20
and methodologies for modeling and verification of concurrent systems.=20
The modeling language of particular interest is Petri nets; other=20
formalisms such as process algebras, pi-calculus, B-method, etc., are=20
also of great interest, since abstraction techniques are often=20
formalism-independent and could be transferred from one formalism to=20
another. Both academics and practitioners can contribute and learn from=20
such a meeting.
Contributions describing original research in topics related to the use=20
of abstractions for Petri nets and other models of concurrency, as well=20
as surveys addressing abstraction techniques and open problems and new=20
applications of abstractions are being sought. Topics of interest=20
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=20
15 pages) or short contributions (up to 5 pages). Ongoing work (up to 2=20
pages) can be presented in a special poster session. Papers should be=20
submitted in electronic form (PDF) using the Springer LNCS-format=20
(http://www.springer.de/comp/lncs/authors.html). Submissions should=20
include title, author’s address and email, and an abstract. Please use=20
the online conference management system (see=20
http://www.win.tue.nl/apnoc2009/)
Accepted papers will be included in the workshop proceedings which will=20
be available at the workshop. At least one of the authors of each=20
accepted contribution should register and take part in the workshop to=20
give the presentation.
Selected papers from the workshop will be invited for publication in a=20
volume of a journal subline of Lecture Notes in Computer Science=20
entitled “Transactions on Petri Nets and Other Models of Concurrency”=20
(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 (=C9cole Polytechnique, France)
PROGRAMME COMMITTEE:
* Wil van der Aalst (The Netherlands)
* Josep Carmona (Spain)
* Radhia Cousot (France)
* Philippe Darondeau (France)
* J=F6rg Desel (Germany)
* Olga Kouchnarenko (France)
* Maciej Koutny (UK)
* Charles Lakos (Australia)
* Laure Petrucci (France)
* Jean-Fran=E7ois 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)
————–010206000804070304040604
Content-Type: text/html; charset=us-ascii
Content-Transfer-Encoding: 7bit
===============================================================
Call for papers
===============================================================
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 abstracts: March
13, 2009
Deadline for paper submission: March
20, 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)
————–010206000804070304040604–
–===============0039639545==
Content-Type: text/plain; charset=”us-ascii”
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
_______________________________________________
Concurrency mailing list
Concurrency@listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
–===============0039639545==–