14th International Conference on Application of Concurrency to System Design
Call for Papers and Announcement
14th INTERNATIONAL CONFERENCE ON
APPLICATION OF CONCURRENCY TO SYSTEM DESIGN
Technically Co-Sponsored by IEEE Computer Society
Tunis, Tunisia, June 23-27, 2014
The conference will be co-located with the
35th International Conference on
Application and Theory of Petri Nets and Concurrency (Petri Nets 2014)
|Abstract Submission:||January 10, 2014 |
|Submission of Papers: ||January 22, 2014 (Extended)|
|Notification: ||March 21, 2014 |
|Final Version Due: ||April 15, 2014 |
|Conference: ||June 25-27, 2014 |
- 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, har dware/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.
- Systems of systems (e.g., cyber-physical systems, ambient systems): design, verification and deployment.
- Software and hardware memory models, DRAM scheduling, cache coherency, memory-aware algorithms.
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 Conference Publishing Services (CPS) conference proceedings guidelines
for 8.5" x 11" two-column format. 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 by the 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 section of ACM Transactions on Embedded Computing Systems journal.
All papers should be submitted via EasyChair:
Contact PC chairs: email@example.com
Contact OC Chair: firstname.lastname@example.org