[AISWorld] Petri Nets 2017 and ACSD 2017: 2nd Call for Participation (early registration ends on May, 29th)
José Manuel Colom
jm at unizar.es
Wed May 3 19:48:13 EDT 2017
**** 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
More information about the AISWorld
mailing list