Concurrency and Timing

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

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

event

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.

forum

Visible to the public Call for Papers: The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019)

CALL FOR PAPERS

The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019)

San Diego, USA | October 9-11, 2019 | https://memocode.github.io/2019/

OVERVIEW

forum

Visible to the public CfP: 27th International Conference on Real-Time Networks and Systems (RTNS 2019)

CALL FOR PAPERS - Paper submission: April 30, 2019

27th International Conference on Real-Time Networks and Systems (RTNS 2019)

November 6-8, 2019 | Toulouse/France | https://www.irit.fr/rtns2019

RTNS is a friendly and inclusive conference with a great sense of community that presents excellent opportunities for collaboration. Original unpublished papers on all aspects of real-time systems and networks are welcome. RTNS covers a wide-spectrum of topics in real-time and embedded systems.

event

Visible to the public  RTNS 2019
Nov 06, 2019 7:00 am - Nov 08, 2019 6:15 pm CET

27th International Conference on Real-Time Networks and Systems (RTNS 2019)

RTNS is a friendly and inclusive conference with a great sense of community that presents excellent opportunities for collaboration. Original unpublished papers on all aspects of real-time systems and networks are welcome. RTNS covers a wide-spectrum of topics in real-time and embedded systems.

forum

Visible to the public CfP: The 30th International Conference on Concurrency Theory (CONCUR 2019)

The 30th International Conference on Concurrency Theory (CONCUR 2019)

The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.

Invited speakers

event

Visible to the public  CONCUR 2019
Aug 26, 2019 7:00 am - Aug 30, 2019 6:00 pm CEST

The 30th International Conference on Concurrency Theory

The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.

Invited speakers