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

  in Conferences   Posted on October 29, 2018

Conference Information

Submission Deadline Tuesday 22 Jan 2019
Conference & Submission Link http://www.petrinets2019.de/acsd-2019/
Conference Dates Jun 23, 2019 - Jun 28, 2019
Conference Address Aachen, Germany
Proceedings indexed by
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Call for Papers

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)

Other Conferences in Germany

ICWSM 2019 : International Conference on Weblogs and Social Media

Deadline :
Tue 15 Jan 2019
Jun 11, 2019 - Jun 11, 2019 - Munich
Germany

Petri Nets 2019 : Applications and Theory of Petri Nets

Deadline :
Tue 15 Jan 2019
Jun 23, 2019 - Jun 28, 2019 - Aachen
Germany