Concurrency and Timing

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

Visible to the public  CONCUR 2020
Aug 31, 2020 7:00 am - Sep 05, 2020 6:00 pm CEST

31st International Conference on Concurrency Theory (CONCUR 2020)

The purpose of CONCUR 2020, the 31st International Conference on Concurrency Theory, is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.

forum

Visible to the public 2020 Swedish Summer School on Cyber-Physical Systems

Dear friends,

It is my pleasure to announce to you the speakers for the next edition of the Swedish Summer School:

event

Visible to the public  ASP-DAC 2020
Jan 13, 2020 7:00 am - Jan 16, 2020 6:00 pm HKT

25th Asia and South Pacific Design Automation Conference (ASP-DAC 2020)

Aims of the Conference

event

Visible to the public  ICDCN 2020
Jan 04, 2020 7:00 am - Jan 07, 2020 6:00 pm EST

21st International Conference on Distributed Computing and Networking (ICDCN 2020)

ICDCN is a premier international conference dedicated to addressing advances in Distributed Computing and Communication Networks. Over the years, it has become a leading forum for disseminating the latest research results in these fields. The 21st edition of this conference will be organized by the Department of Computer Science and Engineering and School of Mobile Computing and Communication, Jadavpur University,Kolkata, India.

forum

Visible to the public CfP: 2nd International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems (NGOSCPS)

CALL FOR PAPERS

2nd International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems (NGOSCPS)

Current State of the Art

Tuesday, April 21, 2020 | Sydney, Australia | https://www.cse.wustl.edu/~cdgill/ngoscps2020/
at CPS-IoT Week 2020 (April 21-24, 2020)

Overview

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.