Several computations executing simultaneously, and potentially interacting with each other.
Event
ACSD 2017
17th International Conference on Application of Concurrency to System Design (ACSD 2017)
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
Event
SEsCPS 2017
3rd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS'17)
In conjunction with ICSE 2017 | Call for Papers
CONTEXT AND GOALS
Event
IISA 2017
8th International Conference on Information, Intelligence, Systems and Applications (IISA 2017)
The International Conference on Information, Intelligence, Systems and Applications (IISA) series offers a forum for the constructive interaction and prolific exchange of ideas among scientists and practitioners from different research fields such as computers, mathematics, physics, biology, medicine, chemistry, experimental psychology, social sciences, linguistics, and engineering having the goal of developing methodologies and tools for the solution of complex problems in artificial
Event
ETFA 2017
22nd IEEE International Conference on Emerging Technologies And Factory Automation
The ETFA conference series is the prime and largest IEEE-sponsored event dedicated to emerging technologies in industrial automation.
Event
MODPROD 2017
11th MODPROD Workshop on Model-Based Product Development
The Center for Model-based Product Development (MODPROD) is an inter-disciplinary research center at Linköpings universitet. The center involves a number of companies as well as researchers from the Department of Computer and Information Science (IDA) and the Department of Management and Engineering (IEI).
Event
ISORC 2017
20th IEEE International Symposium on Real-Time Computing (ISORC 2017)
May 16-18, 2017 | The Fields Institute, Toronto, Canada | http://isorc2017.org/
Event
Bx 17
6th International Workshop on Bidirectional Transformations (Bx 17)
as part of ETAPS 2017
Event
ISDF 2017
You are invited to participate in The Third International Conference on Information Security and Digital Forensics (ISDF2017) that will be held in Metropolitan College, Thessaloniki, Greece on Dec 8-10, 2017. The event will be held over three days, with presentations delivered by researchers from the international community, including presentations from keynote speakers and state-of-the-art lectures.
All registered papers will be published in SDIWC Digital Library, and in the proceedings of the conference.
Event
WFCS 2017
13th IEEE International Workshop - Factory Communication Systems
Sponsors: IEEE Industrial Electronics Society (requested), Norwegian University of Science and Technology, Norway, and SINTEF, Norway
The WFCS workshop is the largest IEEE technical event specially dedicated to industrial communication systems. The aim of this workshop is to provide a forum for researchers, practitioners and developers to review current trends in this area and to present and discuss new ideas and new research directions.
Focus