Concurrency and Timing

Several computations executing simultaneously, and potentially interacting with each other.

Visible to the public  RTSS 2015
Dec 01, 2015 8:00 am - Dec 04, 2015 5:00 pm CST

The 36th IEEE Real-Time Systems Symposium (RTSS'15)

sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems


Visible to the public  NIST CPS PWG
Jun 30, 2014 1:00 pm - 2:30 pm EDT

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.


Visible to the public CfP: ISORC 2023

CALL FOR PAPERS - Deadline Extended to February 18!

The 26th International Symposium On Real-Time Distributed Computing

Nashville, Tennessee | May 23-25, 2023 |

Important Dates

Main Track

  • Extended submission deadline: Feb. 18, 2023
  • Acceptance notification April 4, 2023
  • Camera-ready papers April 20, 2023

Poster/Demo Track


Visible to the public  CONCUR 2022
Sep 13, 2022 7:00 am - Sep 16, 2022 5:00 pm EDT


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:


Visible to the public IEEE SMARTCOMP 2021: Call for Participation

                   IEEE SMARTCOMP 2021 .::. Call for Participation .::.
The 7th IEEE International Conference on Smart Computing (SMARTCOMP 2021), August 23-27, 2021.

Due to uncertainties associated with the pandemic, IEEE SMARTCOMP 2021 will be held as a virtual conference.


Visible to the public  NFM 2021
May 24, 2021 7:00 am - May 28, 2021 6:00 pm EDT

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.


Visible to the public Call for Brief Presentations: RTSS 2020

Call for Brief Presentations

41st IEEE Real-Time Systems Symposium (RTSS 2020)

December 1-4, 2020 | Houston, Texas |

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)