ACSD: International Conference on Application of Concurrency to System Design

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2020 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
ACSD 2019 19th International Conference on Application of Concurrency to System Design
Jun 23, 2019 - Jun 28, 2019 Aachen, Germany Jan 22, 2019 (Jan 16, 2019)
ACSD 2017 Application of Concurrency to System Design
Jun 26, 2017 - Jun 30, 2017 Zaragoza, Spain Jan 20, 2017 (Jan 13, 2017)
ACSD 2016 16th International Conference on Application of Concurrency to System Design
Jun 19, 2016 - Jun 21, 2016 Toruń, Poland Jan 25, 2016 (Jan 12, 2016)
ACSD 2014 International Conference on Application of Concurrency to System Design
Jun 25, 2014 - Jun 27, 2014 Tunis, Tunisia Jan 17, 2014 (Jan 10, 2014)
ACSD 2013 13th International Conference on Application of Concurrency to System Design
Jul 8, 2013 - Jul 10, 2013 Barcelona, Spain Feb 3, 2013 (Jan 27, 2013)
ACSD 2012 12th International Conference on Application of Concurrency to System Design
Jun 27, 2012 - Jun 29, 2012 Hamburg, Germany Jan 20, 2012 (Jan 13, 2012)
ACSD 2011 Eleventh International Conference on Application of Concurrency to System Design
Jun 20, 2011 - Jun 24, 2011 Kanazawa, Japan Jan 24, 2011 (Jan 17, 2011)
 
 

Present CFP : 2019

CALL FOR PAPERS AND ANNOUNCEMENT

19th International Conference on
Application of Concurrency to System Design (ACSD 2019)

Aachen, Germany, June 23-28, 2019
http://www.petrinets2019.de/call-for-papers-acsd-2019/

*IMPORTANT DATES*

submission deadline (abstracts): January 16, 2019
submission deadline (papers): January 22, 2019
notification of acceptance: March 8, 2019
camera-ready submission deadline: March 22, 2019
conference sessions: June 23-28, 2019


*CONFERENCE SCOPE*
The conference 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. In particular, the following topics are of interest:

* 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

* Compositional design principles like modular synthesis, distributed simulation and implementation, distributed control, adaptivity, supervisory control

* Algorithms and tools for concurrent systems, 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

* Synchronous and asynchronous systems on all design levels: polychronous systems, endochronous systems, globally asynchronous locally synchronous systems

* Cyber-physical systems, hybrid systems, networked systems, and networks in biological systems

* High-performance computer architectures like many-core processors, networks on chip, graphics processing units, instruction-level parallelism, dataflow architectures, up to ad-hoc, mobile, and wireless networks

* Memory consistency models for multiprocessor and multicore architectures, 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

* Implementation aspects like resource management, including task and communication scheduling, network-, memory-, and power-management, energy/power distribution, fault-tolerance, quality of service, scalability, load balancing, power proportionality

* 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 optimization

* Business process modelling, workflow execution systems, process (de-)composition, inter-organizational and heterogeneous workflow systems, systems for computer-supported collaborative work, web services

* Case studies of general interest, from industrial applications to consumer electronics and multimedia, automotive systems, (bio-)medical applications, neuromorphic applications, internet (of things) and grid computing, to gaming applications.


*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” × 11” two-column format). The page limit for regular papers is 10 pages. Conference proceedings will be submitted for inclusion to IEEE Xplore. Accepted papers will be included in the conference proceedings. At least one author of each accepted contribution is expected to present the paper at the conference, and will be required to sign the copyright release forms. All papers have to be submitted via EasyChair:

https://easychair.org/conferences/?conf=acsd2019

STEERING COMMITTEE
Alex Yakovlev, UK (chair)
Benoit Caillaud, France
Jordi Cortadella, Spain
Jörg Desel, Germany
Alex Kondratyev, USA
Luciano Lavagno, Italy
Antti Valmari, Finland
Andrey Mokhov, UK

CHAIRS
Wil van der Aalst, Germany (general chair)
Jörg Keller, Germany (program committee co-chair)
Wojciech Penczek, Poland (program committee co-chair)

PROGRAM COMMITTEE
Akshay, India
Étienne André, France
Mohamed Faouzi Atig, Sweden
Josep Carmona, Spain
Franck Cassez, Australia
Thomas Chatain, France
Rocco De Nicola, Italy
Jörg Desel, Germany
Klaus Echtle, Germany
Alain Girault, France
Radu Grosu, Austria
Stefan Haar, France
Loïc Hélouët, France
Ludovic Henrio, France
Loïg Jézéquel, France
Gabriel Juhás, Slovakia
Marta Pietkiewicz-Koutny, UK
Jörg Keller, Germany (co-chair)
Christoph Kessler, Sweden
Jan Křetínský, Czech Republic
Johan Lilius, Finland
Gerald Lüttgen, Germany
Roland Meyer, Germany
Andrey Mokhov, UK
Claire Pagetti, France
Wojciech Penczek, Poland (co-chair)
Laure Petrucci, France
Dumitru Potop-Butucaru, France
Klaus Schneider, Germany
Sandeep Shukla, India
Ashutosh Trivedi, India
Jaco van de Pol, Denmark
Fei Xia, UK

ORGANIZING COMMITTEE
Wil van der Aalst (general chair)
Anna Kalenkova (publicity chair)
Detlef Wetzler (web chair)
 

Related Resources

ICDM 2019   19th Industrial Conference on Data Mining ICDM 2019
DisCoTec 2019   International Federated Conference on Distributed Computing Techniques
DSD 2019   22nd Euromicro Conference on Digital System Design
QEST 2019   16th International Conference on Quantitative Evaluation of SysTems
ISMM 2019   International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing
FormaliSE 2019   7th International Conference on Formal Methods in Software Engineering
TecnoLógicas Thematic Edition 2019   Algorithms, Technologies and Applications of Multispectral and Hyperspectral Remote Sensing of the Earth
NUSC_RES 2019   Nonlinear Uncertain System Control with Application to Renewable Energy Systems
FCT 2019   22nd Symposium on Fundamentals of Computation Theory
RecSys 2019   13th ACM Conference on Recommender Systems