Several computations executing simultaneously, and potentially interacting with each other.
event
Submitted by Anonymous on Tue, 07/28/2020 - 3:42pm
NASA Formal Methods Symposium 2021 (NFM 2021)
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.
forum
Submitted by Anonymous on Fri, 07/24/2020 - 4:53pm
Call for Brief Presentations
December 1-4, 2020 | Houston, Texas | http://2020.rtss.org
Brief Presentations session includes WiP, JnP, and CnP contributions.
Important Dates
- Wednesday 23rd Sept 2020 - Submission Deadline
- Friday 16th Oct 2020 - Notification of Acceptance
- Thursday 29th Oct 2020 - Camera Ready Deadline
For Work-in-Progress (WiP)
forum
Submitted by Anonymous on Fri, 07/24/2020 - 4:49pm
event
Submitted by Anonymous on Fri, 07/24/2020 - 4:43pm
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
Submitted by Anonymous on Thu, 07/23/2020 - 5:39pm
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
Submitted by Anonymous on Thu, 07/23/2020 - 5:16pm
28th International Conference on Real-Time Networks and Systems (RTNS 2020)
RTNS covers a wide-spectrum of topics in real-time and embedded systems, including, but not limited to:
event
Submitted by Anonymous on Thu, 07/23/2020 - 4:33pm
event
Submitted by Anonymous on Thu, 07/23/2020 - 2:24pm
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
Submitted by Anonymous on Thu, 07/23/2020 - 1:26pm
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
Submitted by Anonymous on Wed, 07/22/2020 - 4:29pm
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.
