[AISWorld] Joint Call for Contributions to Workshops associated with Petri Nets 2012 and ACSD 2012
Aalst, W.M.P. van der
W.M.P.v.d.Aalst at tm.tue.nl
Mon Mar 26 15:40:31 EDT 2012
Call for Contributions to Workshops Associated with
Petri Nets 2012 and ACSD 2012
33nd INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS
AND CONCURRENCY
and
12th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM
DESIGN
Hamburg, Germany, June 25-29, 2012
More information:
http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/
__________________________________________________________________
Important Dates
Deadline for papers: April 15th, 2012
Notification of paper acceptance: May 13st, 2012
Deadline for final revisions: June 1st, 2012
Workshops dates: Monday/Tuesday, June 25/26, 2012
__________________________________________________________________
WORKSHOPS:
BioPPN 2012 - Biological Processes and Petri Nets
Monika Heiner and Ralf Hofestaedt
http://www-dssz.informatik.tu-cottbus.de/BME/BioPPN2012
CompoNet 2012 - Petri Net Compositions
Hanna Klaudel and Franck Pommereau
http://www.ibisc.univ-evry.fr/~fpommereau/componet-2012.htm
LAM 2012 - Logics, Agents, and Mobility
Berndt Müller (Farwer) and Michael Köhler-Bußmeier
http://lam12.wordpress.com/
PNSE 2012 - Petri Nets and Software Engineering
Lawrence Cabac, Michael Duvigneau, and Daniel Moldt
http://www.informatik.uni-hamburg.de/TGI/events/pnse12/
WooPS 2012 - Petri Net-based Security
Rafael Accorsi, Tadao Murata, and Silvio Ranise
http://www.telematik.uni-freiburg.de/woops
In addition there will be model checking contest and a tool demonstration.
The workshop organizers welcome contributions describing original research in topics related to Petri. For further information, please visit the individual Web pages or:
<http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/workshops.shtml>
General workshops and tutorials chairs:
Alex Yakovlev, UK
Wil van der Aalst, The Netherlands
ps.
See <http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd201/accepted.shtml> for papers accepted for Petri nets 2012 and ACSD 2012. Registration is now open.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.aisnet.org/pipermail/aisworld_lists.aisnet.org/attachments/20120326/74bae9ef/attachment.html>
More information about the AISWorld
mailing list