ACSD 2019
19th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN
Aachen, Germany, June 23-28, 2019
Additional information about the conference will be published via
http://www.petrinets2019.de/acsd-2019/
The conference will be co-located with the 40th International Conference on
Applications and Theory of Petri Nets
and Concurrency (Petri Nets 2019).
IMPORTANT DATES:
Abstract submission: January 16, 2019 (*)
Submission of Papers: January 22, 2019 (*)
Notification: March 8, 2019
Final Version Due: March 22, 2019 (*)
Participation in Tool Exhibition: June 1, 2019
Conference: June 23-28, 2019
(*) The deadline is the end of day Anywhere on Earth (AoE)
The 19th international ACSD conference will be organized by the Process and
Data Science (PADS) group at RWTH
Aachen University, Aachen, Germany. The conference will take place in the
conference area of the Tivoli football
stadium, close to the city center of Aachen. The language of the conference
is English. The conference proceedings
will be submitted for inclusion to IEEE Xplore.
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 concurrent behavior. In
particular, the following topics are of interest:
- Formal models of computation and concurrency for synchronous and
asynchronous systems and problems, like data-flow
models, communicating automata, Petri nets, process algebras, graph
rewriting systems, state charts, MSCs, modal
and temporal logics
- Design principles for concurrent systems, in particular hardware/software
co-design, platform-based design,
component-based design, modular synthesis, distributed simulation and
control, refinement techniques,
hardware/software abstractions, cross-layer optimization
- 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
- High-performance computer architectures like many-core processors,
on-chip-networks, graphics processing units,
instruction-level parallelism, dataflow architectures, cache coherency,
memory systems, up to ad-hoc, mobile, and
wireless networks
- Resource management in implementations including task and communication
scheduling, network-, memory-, and
power-management, energy/power distribution, fault-tolerance, quality of
service, scalability, load balancing,
power proportionality
- Real-time aspects, incl. hard real-time requirements, security- and
safety-critical issues, functional and timing verification
- Cyber-physical systems, hybrid systems, networked systems, and networks
in biological systems
- 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 x 11 inch two-column format). The page limit for regular
papers is 10 pages. 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.
ORGANIZATION
General Chair
Wil van der Aalst
RWTH Aachen University
52074 Aachen, Germany
wvdaalst@pads.rwth-aachen.de
Technical Program Committee Co-chairs
Joerg Keller
University of Hagen
58084 Hagen, Germany
Joerg.Keller@fernuni-hagen.de
Wojciech Penczek
ICS PAS & Siedlce University
Warsaw, Poland
penczek@ipipan.waw.pl
Organizing Committee
Wil van der Aalst (general chair)
Anna Kalenkova (publicity chair)
Detlef Wetzler (web chair)
Technical Program Committee
S. Akshay, India
Etienne Andre, France
Mohamed Faouzi Atig, Sweden
Josep Carmona, Spain
Franck Cassez, Australia
Thomas Chatain, France
Rocco De Nicola, Italy
Joerg Desel, Germany
Klaus Echtle, Germany
Alain Girault, France
Radu Grosu, Austria
Stefan Haar, France
Loic Helouet, France
Ludovic Henrio, France
Loig Jezequel, France
Gabriel Juhas, Slovakia
Joerg Keller, Germany (co-chair)
Christoph Kessler, Sweden
Jan Kretinsky, Czech Republic
Johan Lilius, Finland
Gerald Luettgen, Germany
Roland Meyer, Germany
Andrey Mokhov, UK
Claire Pagetti, France
Wojciech Penczek, Poland (co-chair)
Laure Petrucci, France
Marta Pietkiewicz-Koutny, UK
Dumitru Potop-Butucaru, France
Klaus Schneider, Germany
Sandeep Shukla, India
Ashutosh Trivedi, India
Jaco van de Pol, Denmark
Fei Xia, UK
Steering Committee
Alex Yakovlev, UK (chair)
Benoit Caillaud, France
Jordi Cortadella, Spain
Joerg Desel, Germany
Alex Kondratyev, USA
Luciano Lavagno, Italy
Antti Valmari, Finland
Andrey Mokhov, UK
AACHEN
Aachen is a historic city in North Rhine-Westphalia, Germany, at the point
where Germany borders on Belgium and
the Netherlands. Historically this spa-town was a prominent city, the place
where the German Kings were crowned,
and the residence of Charlemagne who still lies buried in the impressive
cathedral he himself had built. The city
has many historical sites that remind of those days, including medieval
buildings, city gates, and beautiful
fountains. Aachen is Germany's westernmost city. It lies near the borders
with Belgium and the Netherlands and
is nestled between the large national parks of the Eifel and the Ardennes.
The city has a population of 260,000,
which includes about 50,000 students and more than 4,000 academic staff
from across the world. Its lively student
community lends the city just as much character as its history. Aachen is
famous for its Printen gingerbread, its
hot springs, its Mardi Gras carnival and one of the world's largest
equestrian tournaments. The historic city
center and a wealth of bars, cafes, and restaurants, combined with the
nearby nature parks, such as the Eifel,
make Aachen a city where everyone feels at home. The venue of the
conference, the Tivoli football stadium, is
located on the border of the city center. This beautiful venue will provide
a unique atmosphere with great views
and excellent conference facilities.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
