Concurrency and Timing

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

Visible to the public  IEEE ETFA 2018
Sep 04, 2018 7:00 am - Sep 07, 2018 6:00 pm CEST

Submitted by Anonymous on Tue, 04/03/2018 - 1:29pm

2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (IEEE ETFA 2018)

ETFA 2018 is the 23rd Annual Conference of the IEEE Industrial Electronics Society (IES) focusing on the latest developments and new technologies in the field of industrial and factory automation. The conference aims to disseminate novel ideas and emerging trends, research results and practical achievements. ETFA 2018 will be held in the beautiful city of Turin, Italy, the home of worldwide renowned industrial companies.

event

Visible to the public  RTCSA 2018
Aug 29, 2018 7:00 am - Aug 31, 2018 6:00 pm HKT

Submitted by Anonymous on Tue, 04/03/2018 - 1:07pm

The 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2018)

Hokkaido, Japan | August 29-31, 2018 | rtcsa2018.ht.sfc.keio.ac.jp

The RTCSA conference series carry on with the tradition and bring together researchers and developers from academia and industry for advancing the technology of embedded and real-time systems and their emerging applications, including the Internet of things and cyber-physical systems.

forum

Visible to the public CfP: 11th International Workshop on Numerical Software Verification (NSV 2018)

Submitted by Anonymous on Wed, 03/14/2018 - 3:11pm

CALL FOR PAPERS

11th International Workshop on Numerical Software Verification (NSV 2018)

July 18-19, 2018 | Oxford, UK | https://nsv-2018.github.io/nsv2018/

Federated Logic Conference (FLoC) 2018

We are pleased to invite you to submit papers to the 11th International Workshop on Numerical Software Verification (NSV 2018).

Important Dates