Information from the Petri Nets Steering Committee meeting Milano, 25th June 2013
1. Changes to SC membership Kurt Jensen has left the Steering Committee after many years of highly appreciated contributions to the Petri Net community. Lars Kristensen has joined the Steering Committee. 2. Future conferences and chairs Sites: 2014: Tunis, Tunisia (organised by Kamel Barkaoui; co-located with ACSD) 2015: Brussels, Belgium (organised by Gilles Geeraerts; co-located with ACSD) PC-chairs: 2014: Ekkart Kindler & Gianfranco Ciardo 2015: Raymond Devillers & Antti Valmari W&T-chairs: 2014: Serge Haddad & Jörg Desel 2015: Jörg Desel & Jetty Kleijn 3. Workshops & tutorials for Tunis The SC has accepted the following workshops for the 2014 conference in Tunis: . Petri Nets and Software Engineering (PNSE) : Monday & Tuesday . Formal Methods for Security (FMS): Monday . Biological Processes & Petri Nets BioPPN: Monday . PN for Adaptive Discrete-Event Systems: Tuesday . Doctoral Symposium: Tuesday (provisionally) . Petri Net Course: Sunday-Tuesday The W&T chairs have also received a proposal for a continuation of the Model Checking Contest which was accepted. As in 2013, the only advanced tutorials in 2014 will be the two tutorials on the last day of the Petri Net Course (Tuesday). It will be possible to participate in these tutorials without following the rest of the Petri Net Course. 4. Electronic workshop proceedings For the workshops in Milano we have the following volumes: Biological Processes & Petri Nets (BioPPN 2013) ONLINE: http://ceur-ws.org/Vol-988 ARCHIVE: ftp://SunSITE.Informatik.RWTH-Aachen.DE/pub/publications/CEUR-WS/Vol-988.zip Petri Nets and Software Engineering (PNSE'13) & Modeling and Business Environments (ModBE'13) ONLINE: http://ceur-ws.org/Vol-989 ARCHIVE: ftp://SunSITE.Informatik.RWTH-Aachen.DE/pub/publications/CEUR-WS/Vol-989.zip ---- [[ 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] ]]
