[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