*** Apologies for multiple copies due to cross-posting ***
*** Please forward to colleagues who might be interested ***
=======================================================================================
Final Call for Papers
ACSD 2015
15th International Conference on Application of Concurrency to System Design
(joint conference with 36th International Conference on Application and
Theory of Petri Nets and Concurrency (PN 2015)
=======================================================================================
PN 2015 and ACSD 2015 will take place in Brussels from June 21st to
26th, 2015.
* Homepage: http://www.ulb.ac.be/di/verif/pn2015acsd2015/index.html
* Abstract submission deadline: January, 15th, 2015
* Paper submission deadline: January, 25th, 2015
* Author notification: March 26th, 2015
* Final Version Due: April 16th, 2015
* Workshops & Tutorials: June 21–23, 2015
* Petri nets and ACSD main conferences: June 24–26, 2015
=======================================================================================
ACSD Conference Scope
=======================================================================================
The International Conference on Application of Concurrency to System
Design aims at cross-fertilizing both theoretical and applied research
about formal approaches (in a broad sense) to designing computer systems
that exhibit some kind of concurrent behaviour. The following topics are
of particular interest:
* Concurrent systems on all design levels, from synchronous and
asynchronous circuits, globally asynchronous locally synchronous
systems, and multi-clock systems to high-performance architectures
like many-core processors, networks on Chip, and dataflow
architectures up to ad-hoc, mobile, and wireless networks. Systems
of systems, cyber-physical systems, and networks in biological
systems are also of interest.
* Implementation aspects like resource management, including task and
communication scheduling, network-, memory-, and power-management,
fault-tolerance, quality of service, scalability, load balancing,
power proportionality. Moreover, consistency models for replicated
data, including software and hardware memory models, DRAM
scheduling, cache coherency, memory-aware algorithms. Real-time
aspects, including hard real-time requirements, security and
safety-critical issues, functional and timing verification.
* Design principles for concurrent systems, in particular
hardware/software co-design, platform-based design, component-based
design, energy-aware design, refinement techniques,
hardware/software abstractions, cross-layer optimisation.
Compositional design principles like modular synthesis, distributed
simulation and implementation, distributed control, adaptivity,
supervisory control.
* Formal models of computation and concurrency for the above systems
and problems, like data-flow models, communicating automata, Petri
nets, process algebras, graph rewriting systems, state charts, MSCs,
modal and temporal logics. Software engineering aspects, ranging
from programming languages to algorithmic methods for system
analysis and construction, including model checking, verification,
and static analysis techniques as well as synthesis procedures.
* Business process modelling, workflow execution, business process
(de-)composition, inter-organisational and heterogeneous workflow
systems, computer-supported collaborative work systems, web services.
* Case studies of general interest, from industrial applications to
consumer electronics and multimedia, automotive systems,
(bio-)medical applications, internet and grid computing, to gaming
applications.
*Paper submissions*
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). The page limit
for regular papers is 10 pages. The IEEE templates are available at
http://www.ieee.org/conferences_events/conferences/publishing/templates.html
.
Pdf version of this CfP:
http://www.ulb.ac.be/di/verif/pn2015acsd2015/docs/cfp-ACSD.pdf
----
[[ 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] ]]
