**** 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)
-> The call for paper of the PNSE workshop is still open until May, 7th
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.
CALL FOR FEE GRANTS APPLICATIONS
--------------------------------
Registration fee grants cofounded by Springer Verlag and Zaragoza University are available for students. To apply for a grant you need to be PhD or MSc student and register for 2 days of wokshops/tutorials/course (Package 4).
Successful application allows to attend for free in the main conference including social events (upgrades package 4 to package 1).
To apply for the grant you need to send, before 15.05.2017 (notification - 22.05.2017): scientific CV, motivation letter, support letter from supervisor, and document confirming student status;to address pn2017 (at) unizar.es
Contact OC Chair : pn2017 (at) unizar.es
--
José-Manuel Colom
University of Zaragoza
