[AISWorld] Petri Nets 2017 and ACSD 2017: 3rd Call for Participation (early registration ends on May, 29th)

[José Manuel Colom]

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

                    *********************************
                    *    CALL FOR PARTICIPATION     *
                    *                               *
                    * Petri Nets 2017 and ACSD 2017 *
                    *********************************

38th International Conference On Application and Theory of  Petri Nets 
and Other Models of Concurrency (Petri Nets 2017)

and

17th International Conference on Application of Concurrency to System 
Design (ACSD 2017)

Co-located in Zaragoza, Spain, 25-30 June 2017

Conference website: http://pn2017.unizar.es

                             *************
                             * IMPORTANT *
                             *************

-> Early registration ends on May, 29th

-> We are still welcoming proposals for the tool exhibition (see below)


REGISTRATION
------------
Please visit: http://pn2017.unizar.es/registration/


INVITED SPEAKERS
----------------
Please visit: http://pn2017.unizar.es/keynotes/

Distinguished Carl Adam Petri Lecture

- Thomas Henzinger. Promises and Challenges of Reactive Modeling: A 
Personal Perspective

Invited speakers

- Josep Carmona. The Alignment of Formal, Structured and Unstructured 
Process Descriptions

- Bernhard Steffen. Property-Preserving Generation of Tailored Benchmark 
Petri Nets

- Irina A. Lomazova. Resource Equivalences in Petri Nets

- Christos G. Cassandras. Complexity Made Simple (at a small price)


PN COURSE AND TUTORIALS
-----------------------
http://pn2017.unizar.es/events/

- Petri net course - Basic net classes, Coloured Petri nets and Timed 
and stochastic Petri nets
     June, 25 and 26
     Lecturers: Joerg Desel, Lars Kristensen and Serge Haddad
     Organisers: Joerg Desel and Jetty Kleijn
     http://pn2017.unizar.es/events/petri-nets-course/

- Advanced Tutorial - Parametric Verification
     June, 27
     Lecturers: Étienne André, Didier Lime, Wojciech Penczek, and Laure 
Petrucci
     http://pn2017.unizar.es/events/#advtutorial17-1

- Advanced Tutorial - A Tour In Process Mining: From Practice to 
Algorithmic Challenges
     June, 27
     Lecturers:  Wil van der Aalst, Josep Carmona, Thomas Chatain, and 
Boudewijn van Dongen
     http://pn2017.unizar.es/events/advanced-tutorial/


WORKSHOPS
---------
http://pn2017.unizar.es/events/

- ATAED 2017
   Algorithms and Theories for the Analysis of Event Data
   June, 26 and 27
   Organisers: Wil Van der Aalst, Robin Bergenthum and Josep Carmona
   http://www.fernuni-hagen.de/ataed2017/

- PNSE 2017
   Petri Nets and Software Engineering
   June, 26 and 27
   Organisers: Daniel Moldt, Lawrence Cabac and Heiko Rölke
   http://www.informatik.uni-hamburg.de/TGI/events/pnse17/

- STRUCTURE
   Structure Theory of Petri Nets
   June, 26
   Organisers: Serge Haddad, Jetty Kleijn, Joerg Desel, and José Manuel 
Colom
   http://pn2017.unizar.es/events/#structure17



MODEL CHECKING CONTEST
----------------------
http://mcc.lip6.fr/

The Model Checking Contest called for model and tool submissions with 
the objective to compare the efficiency of techniques according to 
characteristics of models. The results of the contest are presented in a 
session close to the workshops.


TOOL EXHIBITION
---------------
http://pn2017.unizar.es/call-for-papers/call-for-exhibitions/

The Tool Exhibition consists of informal demonstrations for small 
groups/individuals without any scheduled talks. If you want to present 
your favourite tool during the session, send an e-mail to the organisers 
(pn2017-tools (at) unizar.es). Posters are welcome too.



Contact OC Chair : pn2017 (at) unizar.es

--
José-Manuel Colom
University of Zaragoza