**** Apologies for multiple copies due to cross-posting **** *** Please forward to colleagues who might be interested ***
********************** CALL FOR PARTICIPATION ********************** ******************************** CALL FOR PAPERS (WORKSHOPS ONLY) ******************************** 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/ REGISTRATION ************ Please visit: http://www.ulb.ac.be/di/verif/pn2015acsd2015/registration.html Early registration ends on May, 15th ! INVITED SPEAKERS **************** http://www.ulb.ac.be/di/verif/pn2015acsd2015/program.html#invited - Distinguished Carl Adam Petri Lecture: Michael Rabin. - Andrew Brown: TBA - 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 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 *Deadline for papers*: May, 10th - PNSE 2015 Petri Nets and Software Engineering Organisers: Daniel Moldt, Harald Störrle and Heiko Rölke *Deadline for papers*: May, 5th - BioPPN 2015 Biological Processes and Petri Nets Organisers: Anegret Wagler and Monika Heiner *Deadline for papers*: April, 26th - ADECS 2015 Petri Nets for Adaptive Discrete-Event Control Systems Organisers: Kamel Barkaoui and Chadlia Jerad *Deadline for papers*: May, 10th 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] ]]
