Several computations executing simultaneously, and potentially interacting with each other.
Event
RTSS 2015
The 36th IEEE Real-Time Systems Symposium (RTSS'15)
sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems
Event
NIST CPS PWG
NIST Cyber-Physical Systems Public Working Group
What are Cyber-Physical Systems or CPS?
Is a CPS any engineered system with a microprocessor?
Do all CPS need to be connected to the internet?
Are there a set of basic functions and architectural elements common to all CPS?
You are invited to join us in answering these questions and charting the path to the future.
Event
DS-RT 2023
The 2023 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2023) promises to be a grand affair and will take place in Singapore. DS-RT 2023 serves as a platform for simulationists from academia, industry and research labs to present recent research results in Distributed Simulation and Real Time Applications.
Event
ECRTS 2023
35th Euromicro Conference on Real-Time Systems
ECRTS is the premier European venue in the area of real-time systems and, alongside RTSS and RTAS, ranks as one of the top three international conferences on this topic.
ECRTS 2023 will be held as a physical conference on July 11-14, 2023 in Vienna, Austria.
Scope and topics of interest
Event
CONCUR 2022
33RD INTERNATIONAL CONFERENCE
ON CONCURRENCY THEORY
CONCUR 2022, the 33rd International Conference on Concurrency Theory, is organised on September 13-16, 2022 by the University of Warsaw, Poland. The purpose of the conference is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. In 2022, CONCUR is co-located (under the joint name CONFEST) with:
Event
RTSS 2020
41st IEEE Real-Time Systems Symposium (RTSS 2020)
The safety and well-being of all conference participants is our top priority. After studying and evaluating the announcements, guidance, and news released by relevant national departments, we are announcing that the IEEE RTSS 2020, scheduled to be held in-person in Houston, TX will now be converted into an all-digital conference experience. The dates of the conference will remain the same. We apologize for any inconvenience this may have caused.
Event
TIME 2020 - Virtual
27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Since 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2020 encompasses three tracks, but has a single program committee. The conference will be organized as a combination of technical paper presentations, keynote talks, and tutorials.
Invited Speakers
Event
ETFA 2020
IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2020)
The ETFA conference brings together experts from industry and academia to disseminate and discuss novel ideas and emerging trends, research results and practical achievements in the area of industrial and factory automation. The ultimate goal is to foster the development and adoption of scientific methods, models, and tools for the efficient design and operation of industrial and factory automation systems.
Conference Topics
Event
RTCSA 2020 - Virtual
26th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2020)
RTCSA 2020 is going to be held virtually due to COVID-19. The RTCSA conference series (now at its 26th edition) brings together researchers and developers from academia and industry for advancing the technology and the theory to design and develop time-sensitive applications.
Event
ICGT 2020
13th International Conference on Graph Transformation (ICGT 2020)
The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space graphs, control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, and molecular structures.