ART 2013 International Workshop on Applications of Region Theory 2013
Barcelona, Spain, July 9, 2013 a satellite event of ACSD 2013 13th International Conference on Application of Concurrency to System Design For more information see: http://wiki.fernuni-hagen.de/art/index.php/Applications_of_Region_Theory_(ART)_2013 __________________________________________________________________ IMPORTANT DATES paper submission deadline: 29 April 2013 notification of acceptance: 27 May 2013 camera-ready submission deadline: 17 June 2013 workshop: 9 July 2013 __________________________________________________________________ WORKSHOP SCOPE The aim of this workshop is to bring together people working in the areas of region theory, including: hardware synthesis from precise specifications visualisation of concurrent hardware behaviour GALS synthesis and desynchronisation based on synthesis Synthesis of control and policies for DES Modelling biological (membrane) systems with localities generation of specifications from incomplete specifications model generation from examples mining of process descriptions __________________________________________________________________ PAPER SUBMISSION The program committee invites submission of full papers (up to 15 pages) and of short papers (up to 5 pages). Papers should be submitted as pdf-files using the Springer LNCS-format. All papers should be submitted via EasyChair: https://www.easychair.org/conferences/?conf=art2013 __________________________________________________________________ PROGRAM COMMITTEE Eric Badouel, INRIA Rennes, France Robin Bergenthum, FernUni Hagen, Germany (co-chair) Luca Bernardinello, Università degli studi di Milano, Italy Benoît Caillaud, INRIA Rennes, France Josep Carmona, UPC Barcelona, Spain (co-chair) Jörg Desel, FernUni Hagen, Germany Boudewijn van Dongen, TU Eindhoven, The Netherlands Luís Gomes, Universidade Nova de Lisboa, Portugal Gabriel Juhás, Slovak University of Technology, Slovak Republic Jetty Kleijn, Leiden University, The Netherlands Luciano Lavagno, Politecnico di Torino, Italy Robert Lorenz, Uni Augsburg, Germany Marta Pietkiewicz-Koutny, Newcastle University, GB Grzegorz Rozenberg, Leiden University, The Netherlands Alex Yakovlev, Newcastle University, GB ---- [[ 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] ]]
