*** Apologies for multiple copies due to cross-posting *** *** Please forward to colleagues who might be interested ***
================================================================= ======================== First Call for Papers ========================== ================================================================= ACSD 2010: 10th International Conference on Application of Concurrency to System Design June 21-25, 2010 Braga, Portugal Web: http://acsd2010.di.uminho.pt/ Email : acsd20...@]di[.]uminho[.]pt Collocated with Petri Nets 2010: 31st International Conference on Application and Theory of Petri Nets and other Models of Concurrency (http://petrinets2010.di.uminho.pt) Common page at http://acsd-petrinets2010.di.uminho.pt =========================================================== This call for papers is available at http://acsd-petrinets2010.di.uminho.pt/?page=ACSDCallForPapers =========================================================== Important Dates: Paper submission deadline: January 10, 2010 Notification of acceptance: March 12, 2010 Final version due: April 9, 2010 Conference: June 21-25, 2010 =========================================================== The International Conference on Application of Concurrency to System Design (ACSD) serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. While there is already a large number of success stories in the field, there is still a strong need to bring theory and practice closer together. =========================================================== Topics The conference aims at cross-fertilizing both theoretical and applied research on topics including, but not limited to, the following: * Design methods, tools and techniques based on models of computation and concurrency (data-flow models, communicating automata, Petri nets, process algebras, state charts, MSCs, etc.), (performance) analysis, verification, testing and synthesis; * Hardware / software co-design, platform-based design, component-based design, refinement techniques, hardware / software abstractions, co-simulation and verification; * Synchronous and asynchronous design, asynchronous circuits, globally asynchronous locally synchronous (GALS) systems, interface design, multi-clock systems, functional and timing verification; * Concurrency issues in Systems on Chips, massively parallel architectures, networks on chip, task and communication scheduling, resource, memory and power management, fault-tolerance and Quality of Service issues; * (Industrial) case studies of general interest, gaming applications, Consumer electronics and multimedia, automotive systems, (bio-)medical applications, internet and grid computing, etc.; * Concurrency issues in ad-hoc, mobile and wireless networking, sensor networks, communication protocols, cross-layer optimization, concurrency-related security issues; * Business process modelling, simulation and verification, (distributed) workflow execution, business process (de-)composition, inter-organisational and heterogeneous workflow systems, computer- supported collaborative work systems, web services; * Synthesis and control of concurrent systems, (compositional) modelling and design, (modular) synthesis and analysis, distributed simulation and implementation, (distributed) controller synthesis, adaptive systems, supervisory control. =========================================================== Paper submission All papers should be in IEEE Computer Society Press 2-column format (ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct8.5x11.pdf, see also the Formatting section from Information for Authors of the webpage http://www.computer.org/cps/), and should be submitted via EasyChair: http://www.easychair.org/conferences/?conf=acsd10 The separate cover page should include the corresponding author's physical and e-mail addresses, phone and FAX numbers (including the country code), the type of submission (regular, short or tool paper), and an abstract of at most 60 words. The deadline for submission of papers is given at the top of this letter. The page limits are: 10 pages for regular papers, 6 pages for short papers, and 5 pages for tool papers. Submitted papers should describe original work that has not been previously published and is not under review for publication elsewhere. Acceptance of a tool paper implies that a tool demonstration should be given at the conference. Further information can be obtained through the conference web-site (given at the top). =========================================================== Proceedings Proceedings containing accepted and invited papers are planned to be published by IEEE Computer Society Press. =========================================================== Best Paper Award A best paper award will be given to the author(s) of the best regular paper presented at ACSD 2010. =========================================================== Special Issue Several best papers of ACSD 2010 will be considered for publication in extended and revised form in a special issue of IET Computers & Digital Techniques. =========================================================== Invited Speakers In 2010, the PETRI NETS and the ACSD conferences will feature five keynote speakers of international reputation: - David Harel (Distinguished Carl Adam Petri Lecture) - Kim Guldstrand Larsen - Gabriel Juhás - Maciej Koutny - Lars M. Kristensen More information is available at the following address: http://acsd-petrinets2010.di.uminho.pt/?page=InvitedSpeakers =========================================================== Program Committee Co-Chairs Luís Gomes Universidade Nova de Lisboa Portugal Victor Khomenko Newcastle University United Kingdom ================================ Organising Committee Chair João M. Fernandes Universidade do Minho Portugal ================================ Tools Exhibition Chair Ricardo J. Machado Universidade do Minho Portugal ================================ Publicity Chair João Paulo Barros Instituto Politécnico de Beja Portugal =========================================================== Steering Committee Alex Yakovlev, (Newcastle University, UK), Chair Benoit Caillaud (IRISA, France) Jordi Cortadella (Universitat Politecnica de Catalunya, Spain) Jörg Desel (Katholische Universität Eichstätt-Ingolstadt, Germany) Alex Kondratyev (Cadence, USA) Luciano Lavagno (Politecnico di Torino, Italy) Antti Valmari, (Tampere University of Technology, Finland) =========================================================== Program Committee Joao-Paulo Barros Twan Basten Behzad Bordbar Hanifa Boucheneb Manfred Broy Benoit Caillaud Josep Carmona Thomas Chatain Gianfranco Ciardo Erica Cota Zhenhua Duan Eric Fabre Marc Geilen Luís Gomes (co-chair) Keijo Heljanko Petr Jancar Ryszard Janicki Mark Josephs Gabriel Juhas Erwin de Kock Victor Khomenko (co-chair) Fabrice Kordon Maciej Koutny Antonin Kucera Charles Lakos Elizabeth Leonard Johan Lilius Lin Liu Robert Lorenz Marcello Soares Lubaszewski Ricardo Machado Agnes Madalinski Roland Meyer MohammadReza Mousavi Rocco de Nicola Doron Peled Elisabeth Pelz Laure Petrucci Dumitru Potop-Butucaru S Ramesh Jean-Francois Raskin Anders Ravn Sandeep Shukla Jean-Pierre Talpin Irek Ulidowski Antti Valmari Walter Vogler Karsten Wolf Tomohiro Yoneda Wenhui Zhang Wlodek Zuberek =========================================================== History of the Conference The International Conference on Application of Concurrency to System Design (ACSD) serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. Previous editions of the ACSD conference: 9. 2009 Augsburg, Germany 8. 2008 Xi'an, China 7. 2007 Bratislava, Slovakia 6. 2006 Turku, Finland 5. 2005 St Malo, France 4. 2004 Hamilton, Ontario, Canada 3. 2003 Guimarães, Portugal 2. 2001 Newcastle Upon Tyne, UK 1. 1998 Fukushima, Japan ---- [[ 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] ]]
