ACSD 2013: Call for Papers EXTENDED DEADLINE AND SUBMISSION (FINAL)
Paper submissions for this conference are accepted until 3 February 2013. Note: direct submission of full papers, without prior abstract submissions, is allowed. = = = = = = = = = = CALL FOR PAPERS 13th International Conference on Application of Concurrency to System Design (ACSD 2013) VENUE ACSD 2013 will be organised in Barcelona (Spain) by the Universitat Politècnica de Catalunya, and will be held from 8th to 10th July 2013. For more information see: http://acsd.lsi.upc.edu/ CONFERENCE SCOPE The 13th ACSD conference aims at cross-fertilizing both theoretical and applied research on any topic in the conference field, including: * design methods, tools and techniques based on models of computation and concurrency (data-flow models, communicating automata, Petri nets, process algebras, graph rewriting, state charts, MSCs, etc.); * graph transformations (as an elementary model of concurrency and many applications), logics for concurrency (e.g., modal and temporal logics); * verification, testing, synthesis and (performance) analysis; * software and hardware memory models, semantics (operational, axiomatic), theorem proving, memory model aware verification; * hardware/software co-design, platform-based design, component-based design, energy-aware design, refinement techniques, hardware/software abstractions, co-simulation and verification; * synchronous and asynchronous design, asynchronous circuits, globally asynchronous locally synchronous systems, interface design, multi-clock systems, functional and timing verification; * concurrency issues in hard real-time systems, embedded systems and Systems on Chip, massively parallel architectures, Networks on Chip, task and communication scheduling, resource, memory and power management, fault-tolerance and Quality of Service issues; * concurrency issues in ad-hoc, mobile and wireless networking, wireless sensor networks, communication protocols, cross-layer optimization, resource and power management, fault-tolerance, concurrency-related security and safety-critical issues; * systems of systems (e.g., cyber-physical systems, ambient systems): design, verification and deployment; * synthesis and control of concurrent systems, (compositional) modeling and design, (modular) synthesis and analysis, distributed simulation and implementation, (distributed) controller synthesis, adaptive systems, supervisory control; * concurrent programming, scalability and the Cloud; * (industrial) case studies of general interest, gaming applications, consumer electronics and multimedia, automotive systems, (bio-)medical applications, internet and grid computing, etc.; * business process modelling, simulation and verification, (distributed) workflow execution, business process (de-)composition, interorganisational and heterogeneous workflow systems, computer-supported collaborative work systems, web services. PAPER SUBMISSION ACSD seeks papers describing original work which has not been previously published and is not under review for publication elsewhere. The page limit for regular papers is 10 pages. In addition to regular submissions, described above, there will be a tools section. Tool paper submissions are limited to 6 pages. They will be presented at the conference in an interactive session. All regular and tool paper files must be prepared using the latest IEEE Conference Publishing Services (CPS) conference proceedings guidelines for 8.5" x 11" two-column format: http://www.computer.org/portal/web/cscps/formatting/ Conference proceedings will be published on IEEE Xplore Digital Library. Authors of accepted papers are expected to present their papers at the conference, and will be required to sign the IEEE copyright release forms. Selected papers will be considered for publication (in extended and revised form) in a special issue of ACM Transactions in Embedded Computing Systems (TECS) journal. All papers should be submitted via EasyChair: https://www.easychair.org/account/signin.cgi?conf=acsd2013 IMPORTANT DATES * paper submission deadline: 3 February 2013 * notification of acceptance: 21 March 2013 * camera-ready submission deadline: 19 April 2013 * conference: 8-10 July 2013 PHD TRACK A special session for PhD students will be organised during the conference. It will provide a platform for PhD students to present new results obtained in the course of their studies and receive feedback on their research. The scope of the topics will be the same as for the main conference. The session is planned as an informal forum to exchange new thoughts and ideas. Presentations will be selected on the basis of an abstract up to 4 pages (including references). The accepted papers are expected to be presented during the session and will be published in the local proceedings. The submitted papers do not need to follow any particular format. High quality papers may be included in the IEEE Xplore Digital Library. The PhD track papers should be submitted via EasyChair: https://www.easychair.org/account/signin.cgi?conf=acsd2013 IMPORTANT DATES FOR THE PHD TRACK * paper submission deadline: 22 April 2013 * notification of acceptance: 16 May 2013 * camera-ready submission deadline: 6 June 2013 * session: 8 July 2013 (tentative) INVITED SPEAKERS Mateo Valero, BSC - Microsoft Research Centre, Spain Jun Sawada, IBM Austin Research Laboratory, USA Ricardo Baeza-Yates, Yahoo! Research, Spain SATELLITE EVENT There will be a satellite event organised in conjunction with the ACSD 2013 conference: the ART 2013 (Applications of Region Theory) Workshop. It will take place on 9th July. More information about this workshop can be found at: http://wiki.fernuni-hagen.de/art/index.php/Applications_of_Region_Theory_%28ART%29_2013 PROGRAM COMMITTEE Jiri Barnat, Czech Republic Twan Basten, The Netherlands Behzad Bordbar, UK Hanifa Boucheneb, Canada Jens Brandt, Germany Benoît Caillaud, France Javier Campos, Spain Franck Cassez, Australia Thomas Chatain, France Silvia Crafa, Italy Rocco De Nicola, Italy Jörg Desel, Germany Zhenhua Duan, China Henri Hansen, Finland Keijo Heljanko, Finland Holger Hermanns, Germany Masashi Imai, Japan Petr Jancar, Czech Republic Ryszard Janicki, Canada Mark Josephs, UK Gabriel Juhas, Slovakia Victor Khomenko, UK Fabrice Kordon, France Barbara König, Germany Mihai Lazarescu, Italy (co-chair) Johan Lilius, Finland Robert Lorenz, Germany Gerald Lüttgen, Germany Roland Meyer, Germany Łukasz Mikulski, Poland Andrey Mokhov, UK Mohammadreza Mousavi, The Netherlands Wojciech Penczek, Poland Marta Pietkiewicz-Koutny, UK (co-chair) Franck Pommereau, France Dumitru Potop Butucaru, France Jean-Francois Raskin, Belgium Partha Roop, New Zealand Christian Stahl, The Netherlands Nikola Trcka, The Netherlands Antti Valmari, Finland Walter Vogler, Germany Karsten Wolf, Germany Tomohiro Yoneda, Japan STEERING COMMITTEE Alex Yakovlev, UK (chair) Benoît Caillaud, France Jordi Cortadella, Spain Jörg Desel, Germany Alex Kondratyev, USA Luciano Lavagno, Italy Antti Valmari, Finland ORGANISING COMMITTEE Josep Carmona (chair) Jordi Cortadella (publicity) Jorge Muñoz (tools exhibition) Javier de San Pedro (tools exhibition) ---- [[ 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] ]]
