**** Apologies for multiple copies due to cross-posting ****
*** Please forward to colleagues who might be interested ***
**************************
* CALL FOR PARTICIPATION *
**************************
36th International Conference On Application and Theory of Petri Nets
and Other Models of Concurrency (*Petri Nets 2015*)
and
15th International Conference on Application of Concurrency to System Design
(*ACSD 2015*)
Co-located in Brussels, Belgium, 21-26 June 2015
Conference website: http://www.ulb.ac.be/di/verif/pn2015acsd2015/
*************
* IMPORTANT *
*************
-> Early registration ends on May, 15th
-> We are still welcoming proposals for the tool exhibition (see hereunder)
-> The call for paper of the PNSE workshop is still open until May, 15th
REGISTRATION
------------
Please visit: http://www.ulb.ac.be/di/verif/pn2015acsd2015/registration.html
INVITED SPEAKERS
----------------
http://www.ulb.ac.be/di/verif/pn2015acsd2015/program.html#invited
- Andrew Brown (Southampton, UK): SpiNNaker – a neural simulation
engine
- Marlon Dumas (Tartu, Estonia): Process Mining Reloaded:
Event Structures as a Unified Representation of Process Models
and Event Logs
- Marta Kwiatkowska (Oxford, U.K): On quantitative modelling and verification
of DNA walker circuits using stochastic Petri nets
- Robert Lorenz (Augsburg, Germany): Modeling Quantitative Aspects of
Concurrent Systems using Weighted Petri Net Transducers
We are very sorry to announce that, due to personal reasons,
Prof. Michael Rabin will not be able to deliver the `Distinguished
Petri lecture', contrary to what was previously announced.
PN COURSE AND TUTORIALS
-----------------------
http://www.ulb.ac.be/di/verif/pn2015acsd2015/satellite.html
- Petri net course: Basic net classes, Coloured Petri nets and
Timed and stochastic Petri nets
June, 21st and 22nd
Lecturers: Joerg Desel, Lars Kristensen and Serge Haddad
Organisers: Joerg Desel and Jetty Kleijn
- Tutorial: Modeling, Synthesis and Verification of Hardware
Organiser: Alex Yakovlev
June, 23rd
- Tutorial: From Symmetric Nets to Symmetric Nets with Bags
Organisers: Fabrice Kordon, Laure Petrucci and Souheib Baarir
June, 23rd
WORKSHOPS
---------
http://www.ulb.ac.be/di/verif/pn2015acsd2015/satellite.html
- ATAED 2015
Algorithms and Theories for the Analysis of Event Data
Organisers: Wil Van der Aalst, Robin Bergenthum and Josep Carmona
- PNSE 2015
Petri Nets and Software Engineering
Organisers: Daniel Moldt, Harald Störrle and Heiko Rölke
*Deadline for papers*: May, 15th
- BioPPN 2015
Biological Processes and Petri Nets
Organisers: Anegret Wagler and Monika Heiner
- ADECS 2015
Petri Nets for Adaptive Discrete-Event Control Systems
Organisers: Kamel Barkaoui and Chadlia Jerad
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://www.ulb.ac.be/di/verif/pn2015acsd2015/satellite.html#TP
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: pn2015 at lit.ulb.ac.be. Posters are welcome too.
Contact OC Chair : pn2015 at lit.ulb.ac.be
--
Gilles GEERAERTS
Université libre de Bruxelles (ULB)
Home Page: http://www.ulb.ac.be/di/verif/ggeeraer
Federated Center in Verification: http://cfv.ulb.ac.be
Belgian olympiad of computer science: http://www.be-oi.be
----
[[ 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] ]]
