[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[CFP] Application of Concurrency to System Design, ACSD 2007
ACSD 2007
7th International Conference on Application of Concurrency to System Design
http://www.acsd.sk
*** SECOND CALL FOR PAPERS ***
*** submission is now open ***
*** Deadline for paper submission: 21 January 2007 ***
(This deadline is STRICT and will NOT be extended.)
Dates and Venue
10-13 July 2007, Bratislava, Slovakia
Conference Focus
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 are already quite a few success
stories in the field, there is still a strong need to bring theory and
practice closer together. 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 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.
* Special session on networked systems: concurrency issues in ad-hoc, mobile
and wireless networking, sensor networks, communication protocols, cross-
layer optimization, resource, power and Quality of Service management,
fault-tolerance, concurrency-related security issues.
* Special session on concurrency in Business Process Management: business
process modeling, simulation and verification, (distributed) workflow
execution, business process (de-)composition, interorganizational and
heterogeneous workflow systems, computer-supported collaborative work
systems, web services
* Special session on 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
Invited Speakers
Conference keynote: Rishiyur Nikhil (Bluespec Inc., USA)
Special session keynotes:
- Networked systems:
Lothar Thiele, Swiss Federal Institute of Technology (ETH), Switzerland
- Concurrency in Business Process Management:
Wil van der Aalst, Eindhoven University of Technology, The Netherlands
- Synthesis and control of concurrent systems:
Philippe Darondeau, INRIA, France
Programme Committee Co-Chairs
Twan Basten (Eindhoven University of Technology, The Netherlands)
Sandeep Shukla (Virginia Tech, USA)
General Chair
Gabriel Juhás (Slovak University of Technology Bratislava, Slovakia)
Steering Committee
Alex Yakovlev (University of Newcastle upon Tyne, UK), Chair
Benoît 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)
Programme Committee
Twan Basten (Eindhoven University of Technology, The Netherlands, co-chair)
Sandeep Shukla (Virginia Tech, USA, co-chair)
Jonathan Billington (University of South Australia, Australia)
Marius Bozga (VERIMAG, France)
Manfred Broy (Technische Universität München, Germany)
Benoît Caillaud, (IRISA, France)
Jörg Desel (Katholische Universität Eichstätt-Ingolstadt, Germany)
Stephen Edwards (Columbia University, USA)
Marc Geilen (Eindhoven University of Technology, The Netherlands)
Keijo Heljanko (Helsinki University of Technology, Finland)
Petr Jancar (Technical University of Ostrava, Czech Republic)
Ryszard Janicki (McMaster University, Canada)
Kurt Jensen (University of Aarhus, Denmark)
Gabriel Juhás (Slovak University of Technology, Slovakia)
Mark Josephs (London South Bank University, UK)
Sri Kanajan (General Motors Research, USA)
Victor Khomenko (University of Newcastle upon Tyne, UK)
Erwin de Kock (Philips Research, The Netherlands)
Fabrice Kordon (University Paris 6, France)
Antonín Kucera (Masaryk University in Brno, Czech Republic)
Thomas Kunz (Carleton University, Canada)
Marta Kwiatkowska (University of Birmingham, UK)
Charles Lakos (University of Adelaide, Australia)
Johan Lilius (TUCS and Abo Akademi University, Finland)
Ricardo Machado (Universidade do Minho, Portugal)
John Moondanos (INTEL, USA)
Enric Pastor (Universitat Politecnica de Catalunya, Spain)
Doron Peled (University of Warwick, UK)
Wojciech Penczek (Polish Academy of Science and University of Podlasie, Poland)
Laure Petrucci (Université Paris 13, France)
S. Ramesh (GM Research Lab, India)
Jean-François Raskin, (Université Libre de Bruxelles, Belgium)
Anders Ravn (Aalborg University, Denmark)
Jean-Pierre Talpin (IRISA, France)
Yosinori Watanabe (Cadence, USA)
Alex Yakovlev (University of Newcastle upon Tyne, UK)
Tomohiro Yoneda (National Institute of Informatics, Japan)
Wlodek Zuberek (Memorial University of Newfoundland, Canada)
Regular Papers
Submitted papers should be in IEEE Computer Society Press 2-column format
(ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf), with
no more than 10 pages. The cover page should include the corresponding
author, physical and e-mail addresses, phone and FAX numbers, and an
abstract of at most 60 words. The deadline for submission of regular papers
is *21 January 2007*. Paper submission will be handled electronically.
Submitted papers should describe original work that has not been previously
published and is not under review for publication elsewhere. More
information can be obtained through the conference web-pages.
Tool Papers and Demonstrations
Submissions for tool demonstrations should be no more than 5 pages in IEEE
CS Press format and should be submitted by 21 January 2007. Tool papers will
be reviewed by the programme committee. Acceptance of a tool paper implies
that a tool demonstration should be given at the conference. For facility
arrangements and questions, please contact Martin Hornanský
(martin.hornansky@xxxxxxxx).
Tutorials
ACSD will feature some half-day tutorials, to introduce topical subjects
related to research topics covered by ACSD at the level of PhD students.
Tutorial submissions should survey the state-of-the-art in the subject area.
Submissions for tutorials should be no more than 5 pages in IEEE CS Press
format and should be submitted by 21 January 2007. Tutorial submissions will
be reviewed by the programme committee. For facility arrangements and
questions, please contact Jaroslav Fogel (jaroslav.fogel@xxxxxxxx).
Proceedings
Proceedings containing accepted regular papers, invited papers, tool papers,
and tutorials 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 2007.
Special Issue Fundamenta Informaticae
Best papers of ACSD will be considered for publication in extended and
revised form in a special issue of the journal Fundamenta Informaticae.
Organizing Committee
Gabriel Juhás (general chair)
Jaroslav Fogel (tutorial chair)
Martin Hornanský (tool demonstrations)
Fedor Lehocki (financial matters)
Peter Melísek (web pages and technical support)
Zuzana Sabíková (secretary)
Zuzana Sevcíková (communication)
Sponsoring and Cooperation
Slovak University of Technology Bratislava, Slovakia
Important Dates
- Deadline for paper submission: 21 January 2007
This deadline is STRICT and will NOT be extended
- Notification of acceptance: 19 March 2007
- Deadline for final version: 15 April 2007
- Conference: 10-13 July 2007