*** Apologies for multiple copies due to cross-posting ***
*** Please forward to colleagues who might be interested ***
===========================================================
CALL FOR PAPERS
15th International Conference on
Application of Concurrency to System Design (ACSD 2015)
Brussels, Belgium, June 24-26, 2015
http://www.ulb.ac.be/di/verif/acsd2015/
CONFERENCE SCOPE
The conference aims at cross-fertilizing both theoretical and
applied research on the following topics:
* 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).
* High-performance and massively parallel architectures: many-core
processors, Systems and Networks on Chip, dataflow architectures.
* Hard real-time & embedded systems: concurrency, security and
safety-critical issues.
* Concurrency issues in ad-hoc, mobile and wireless networking, wireless
sensor networks, and communication protocols.
* Synchronous and asynchronous circuit design, globally asynchronous
locally synchronous systems, interface design, multi-clock systems,
functional and timing verification.
* High-scalability system design: load balancing, network & memory
management, power proportionality, decentralised control, cloud and
swarm computing.
* Resource management: task and communication scheduling, resource,
memory and power management, fault-tolerance and Quality of Service.
* 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.
* Software engineering for concurrent systems: languages, verification,
synthesis, and cross-layer optimisation.
* Compositional design and modelling of concurrent systems, modular
synthesis and analysis, distributed simulation and implementation,
distributed control, adaptive systems, supervisory control.
* Hardware/software co-design, platform-based design, component-based
design, energy-aware design, refinement techniques, hardware/software
abstractions, co-simulation and verification.
* (Industrial) case studies of general interest, gaming applications,
consumer electronics and multimedia, automotive systems, (bio-)medical
applications, internet and grid computing, etc.
* Modeling, analysis, and synthesis of functional networks in biological
systems.
* Systems of systems (e.g., cyber-physical systems, ambient systems):
design, verification and deployment.
* Weak consistency, data replication, software and hardware memory
models, DRAM scheduling, cache coherency, memory-aware algorithms.
PAPER SUBMISSION
ACSD seeks papers describing original work which has not been
previously published and is not under review for publication
elsewhere. All files must be prepared using the latest IEEE
Computer Society conference proceedings guidelines (8.5" x 11"
two-column format). Templates and further instructions are
available from the ACSD 2015 web site. 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.
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. Several papers will
be considered for publication in extended and revised form in
a special issue of a journal.
All papers should be submitted via EasyChair.
IMPORTANT DATES
* abstract submission deadline: 15 January 2015
* paper submission deadline: 25 January 2015
* notification of acceptance: 26 March 2015
* camera-ready submission deadline: 16 April 2015
* conference: 24-26 June 2015
STEERING COMMITTEE
Alex Yakovlev, UK (chair)
Benoit Caillaud, France
Jordi Cortadella, Spain
Joerg Desel, Germany
Alex Kondratyev, USA
Luciano Lavagno, Italy
Antti Valmari, Finland
----
[[ 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] ]]
