[AISWorld] Workshops and Tutorials at PN2011 and ACSD2011: Call for papers and participation

[Aalst, W.M.P. van der]

*** Apologies for multiple copies due to cross-posting ***
*** Please forward to colleagues who might be interested ***

            CALL FOR PAPERS AND PARTICIPATION
            *********************************

            *****workshops and tutorials*****

                           at

  11th International Conference on Application of Concurrency to
       System Design (ACSD'11) and

  32nd International Conference On Application and Theory of
       Petri Nets and Other Models of Concurrency (Petri Nets'11)

  Co-located in Newcastle upon Tyne, United Kingdom, 20-24 June 2011

***********************************************************************

In view of the tragic events in Japan, it has been decided to relocate

the conferences from Kanazawa to Newcastle.


The submission deadlines for the satellite workshops have been extended!


For registration and more information about the programs of workshops and
tutorials, see the conferences' website:

http://conferences.ncl.ac.uk/pn-acsd-11/

***********************************************************************

WORKSHOPS
*********

Biological Processes and Petri Nets (BioPPN)
Organisers: Monika Heiner and Hiroshi Matsuno

Petri Nets and Software Engineering (PNSE)
Organisers: Michael Duvigneau and Daniel Moldt

Applications of Region Theory (ART)
Organisers: Joerg Desel and Alex Yakovlev

Petri Nets Compositions (CompoNet)
Organisers: Hanna Klaudel and Franck Pommereau

Scalable and Usable Model checking for Petri nets and Other models of
concurrency
(SUMo)
Organisers: Didier Buchs, Fabrice Kordon and Natalia Sidorova


TUTORIALS
*********

Petri Net Course: Theory & Applications
Organisers: Joerg Desel and Jetty Kleijn

Verification with LoLA
Speakers: Karsten Wolf and Niels Lohmann

Elementary Net Synthesis
Speakers: Eric Badouel and Philippe Darondeau


TOOL EXHIBITION
***************

The Tool Exhibition consists of informal demonstrations for small
groups/individuals without any scheduled talks.



***********************************************************************
***********************************************************************

REGISTRATION

The registration is NOW OPEN:
http://conferences.ncl.ac.uk/pn-acsd-11/registration.html

Early registration deadline:   15 May 2011
Cancellation deadline:         1 June 2011