Conference Information
ACSD 2019: International Conference on Application of Concurrency to System Design
http://www.petrinets2019.de/acsd-2019/
Submission Date:
2019-01-16
Notification Date:
2019-03-08
Conference Date:
2019-06-23
Location:
Aachen, Germany
Years:
19
CORE: b   QUALIS: b1   Viewed: 7248   Tracked: 0   Attend: 0

Conference Location
Call For Papers
*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 
Last updated by Dou Sun in 2018-10-22
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
2005452351.1%
2004612134.4%
2003502244%
2001382052.6%
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICEEInternational Conference on E-Business and E-Government2012-01-10 2012-05-11
CSTInternational Conference on Computer Science and Technology2020-09-192020-10-052020-11-21
ICRMVInternational Conference on Robotics and Machine Vision2018-05-152018-06-052018-08-11
ICBMICRInternational Conference on Bioinformatics, Medical Imaging and Clinical Research2020-06-24 2020-09-20
cb1NLDBInternational Conference on Applications of Natual Language to Information Systems2016-03-312016-04-152016-06-22
NM&AInternational Conference on Numerical Methods and Applications 2010-07-052010-08-20
MSHHInternational Conference on Medical Science and Human Health2017-06-142017-06-182017-06-23
cICMITInternational Conference on Management of Innovation and Technology2016-03-222016-06-012016-09-19
MobiMediaInternational Conference on Mobile Multimedia Communications2018-02-102018-04-202018-06-21
NATAPInternational Conference on Natural Language Processing and Trends2020-06-072020-06-152020-06-20
Related Journals
CCFFull NameImpact FactorPublisherISSN
International Journal of Information System Modeling and Design IGI Global1947-8186
Current Opinion in Systems BiologyElsevier2452-3100
Concurrency Computation Practice and Experience1.167Wiley-Blackwell1532-0626
IEEE Transactions on Cognitive and Developmental Systems2.755IEEE2379-8920
cDecision Support Systems3.847Elsevier0167-9236
bFormal Methods in System Design0.875Springer0925-9856
Telecommunication Systems1.027Springer1018-4864
International Journal of Communication Systems1.278Wiley-Blackwell1074-5351
Journal of the Association of Information Systems3.103Association for Information Systems1536-9323
cFuture Generation Computer Systems5.768Elsevier0167-739X
Recommendation