PN & ACSD 2018 - 2ND CALL FOR PARTICIPATION
It is a great pleasure for us to invite you to register for the Petri
Nets and ACSD conference.
REGISTRATION
WE HAVE EXTENDED THE EARLY REGISTRATION DEADLINE! You can register for
discounted prices UNTIL JUNE 7.
PRICING PACKAGES and registration FEES are available at
https://interes.institute/registration/ [1] along with registration
process instructions and instructional video. Registration
web-application can be found at https://pn2018.netgrif.com/ [2]. We
kindly ask you to register using Chrome browser and please check your
spam folder for emails from registration process.
PROGRAMME
Conference programme starts on SUNDAY with PN COURSE organised by Jetty
Kleijn and Jörg Desel. This course will offer a thorough introduction to
Petri Nets.
PN Course will continue on MONDAY along with three workshops. ATAED [3]
workshop will offer talks on process mining, region theory and other
synthesis techniques. The use of Petri nets in the formal process of
software engineering, covering modeling, validation, and verification,
will be presented at the PNSE [4] workshop. Both workshops will share an
invited talk CHALLENGES IN BUSINESS PROCESS INTELLIGENCE: COMPLIANCE,
COLLABORATION, AND CHANGE by STEFANIE RINDERLE-MA. PDAD workshop will
show how to use Process Driven Application Development in practice. We
will demonstrate the principle Specification = Model = Application by
creating a process model, simulate process behavior and finally add
data, roles and actions.
Two advanced tutorials will take place on TUESDAY. A TOUR IN PROCESS
MINING: FROM PRACTICE TO ALGORITHMIC CHALLENGES [5] will be led by Wil
van der Aalst, Josep Carmona and Thomas Chatain. The tutorial will
provide an introductory tour to the field, necessary background and
practice. Karsten Wolf will lead the MODEL CHECKING FOR PETRI NETS:
FROM ALGORITHMS TO TECHNOLOGY [6] tutorial. The tutorial spans the whole
spectrum from basic algorithms to state-of-the-art technology. PNSE
workshop will continue, starting with MANUEL WIMMER'S invited talk. PDAD
will also continue with practice sessions.
Opening session of PN AND ACSD conferences will take place on WEDNESDAY
morning at 9:00, followed by DISTINGUISHED CARL ADAM PETRI LECTURE ON
SEMANTIC DIFFERENCE FOR PROGRAM VERSIONS BY ORNA GRUMBERG.
THURSDAY will start with an invited talk SELF-ADAPTIVE MODEL CHECKING,
THE NEXT STEP? by FABRICE KORDON and YANN THIERRY-MIEG. CONFERENCE
DINNER ON A CRUISE SHIP will take place in the evening. The cruise
begins with the views of the historical part of Bratislava and its
waterfront and the Bratislava Castle, continues along the New Bridge and
the Lafranconi Bridge towards DEVÍN CASTLE, a national cultural
monument. It was built on the site of a Roman building and a Great
Moravian castle. The castle in 1809 threw Napoleonic troops into the
air. At present there is an archaeological museum on the castle. You can
learn many interesting facts from our local guide.
MATTHIAS FÜGGER will start the FRIDAY sessions with his talk CHALLENGES
OF CIRCUIT DESIGN: CIRCUITS AS ROBUST DISTRIBUTED ALGORITHMS.
INVITED SPEAKERS
* ORNA GRUMBER - Semantic Difference for Program Versions
* FABRICE KORDON - Self-Adaptive Model Checking, the next step?
* MATTHIAS FÜGGER - Challenges of circuit design: Circuits as robust
distributed algorithms
* STEFANIE RINDERLE-MA - Challenges in Business Process Intelligence:
Compliance, Collaboration, and Change
* MANUEL WIMMER
WORKSHOPS
The conference features following workshops and tutorials:
* Petri nets and Software Engineering [7]
* Algorithms & Theories for the Analysis of Event Data [3]
* Model Checking Contest [8]
* Petri Net Course [9]
* Process Mining Tutorial [5]
* Tutorial on Verification [6]
QUESTIONS
For general questions about the conference please contact us at
[email protected]
Links:
------
[1] https://interes.institute/registration/
[2] https://pn2018.netgrif.com/
[3] http://www.fernuni-hagen.de/ataed2018/
[4] http://www.informatik.uni-hamburg.de/TGI/events/pnse18/
[5] https://interes.institute/process-mining-tutorial/
[6] https://interes.institute/tutorial-on-verification/
[7] http://www.pnse.de/
[8] https://mcc.lip6.fr/
[9] https://interes.institute/petri-net-course/----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
