*** Apologies for multiple copies due to cross-posting *** *** Please forward to colleagues who might be interested ***
**************************************** CALL FOR PARTICIPATION *************************************** 35th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency (*Petri Nets 2014*) & 14th International Conference on Application of Concurrency to System Design (*ACSD 2014*) Co-located in Tunis, Tunisia, 23-27 June 2014 Conference website: http://petrinets2014.cnam.fr/ REGISTRATION ********************* Please visit: http://petrinets2014.cnam.fr/registration.php INVITED SPEAKERS *************************** - W. Murray Wonham Systems Control Group, ECE Department University of Toronto, Canada Talk: Supervisory Control Synthesis for Discrete Event Systems - Christel Baier TU Dresden, Faculty of Computer Science, Germany Talk :Energy-utility analysis using probabilistic model checking - Stephen A. Edwards Columbia University, New York, USA Talk: Functioning Hardware from Functional Languages - Matthieu Latapy LIP6 - CNRS and UPMC, France Talk: Complex Networks and Link Streams for the Empirical Analysis of Large Software - Kurt Lautenbach Universität Koblenz-Landau, Germany Talk: Propagation Nets TUTORIALS ********************** http://petrinets2014.cnam.fr/petrinetcourse.php - Petri Net Course: Theory & Applications (starts on 22th June) Organisers: Joerg Desel and Serge Haddad - Tutorial: Petri nets for Multiscale Systems Biology Organisers: David Gilbert, Monica Heiner and Wolfgang Marwan - Tutorial: From Symmetric Nets to Symmetric Nets with Bags Organisers: Fabrice Kordon, Laure Petrucci and Souheib Baarir WORKSHOPS ************************ http://petrinets2014.cnam.fr/workshops.php - PNSE 2014 Petri Nets and Software Engineering Organisers: Daniel Moldt and Heiko Rölke - BioPPN 2014 Biological Processes and Petri Nets Organisers: Alia Benkahla and Monika Heiner - FMS 2014 Formal Methods for Security Organisers: Veronique Cortier and Riadh Robbana Invited speaker: Mark Ryan, University of Birmingham, UK Talk: Remote Electronic Voting with Untrusted Computers - ADECS 2014 Petri Nets for Adaptive Discrete-Event Control Systems Organisers: Mohamed Khalgui and Zhiwu Li MODEL CHECKING CONTEST **************************************** http://petrinets2014.cnam.fr/contest.php 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://petrinets2014.cnam.fr/toolsexhibition.php The Tool Exhibition consists of informal demonstrations for small groups/individuals without any scheduled talks. ******************************************** Contact OC Chair : [email protected] ================================= Kamel Barkaoui Professeur des Universités Conservatoire National des Arts et Métiers Ecole SITI - Département Informatique Cédric - Groupe Vespa 2, Rue Conté 75141 Paris Cedex 03 France ------------------------------------------------------ [email protected] homepage tel (+33) 1 40 27 28 52 mobile (+33) 6 72 54 22 47 fax (+33) 1 40 27 27 69 http://vecos-world.org http://petrinets2014.cnam.fr http://acsd2014.cnam.fr =================================
---- [[ 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] ]]
