Validation and Verification

Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
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  ARCS 2020 (cancelled)
May 25, 2020 7:00 am - May 28, 2020 6:00 pm EDT

33rd International Conference on Architecture of Computing Systems (ARCS 2020)

The ARCS conferences series has over 30 years of tradition reporting leading edge research in computer architecture and operating systems. The focus of the 2020 conference will be on concepts and tools for incorporating self-adaption and self-organisation mechanisms in high performance computing.

event

Visible to the public  ACM-SAC 2020 - Converted to Digital
Mar 30, 2020 7:00 pm - Apr 03, 2020 6:00 pm EEST

COVID-19 Update

As of March 17, 2020, SAC 2020 Organizing Committee sent out an email about providing the online presentation and downloading the proceedings

event

Visible to the public  ICPE 2020 - Postponed
Apr 20, 2020 7:00 am - Apr 24, 2020 6:00 pm MDT

Update on ICPE 2020 in relation to Covid19 (Coronavirus)

Given the most recent developments on travel restrictions, the International Conference on Performance Engineering 2020 will not be held as planned in April 2020.

The ICPE sponsoring organizations are currently been consulted, and the ICPE Steering Committee will meet on March 19 2020.

event

Visible to the public  HCSS 2020 - Virtual
Sep 15, 2020 7:00 am - Sep 19, 2020 6:00 pm EDT

POSTPONEMENT NOTICE -

HCSS Speakers and Friends: In light of the current situation with the COVID-19 outbreak around the world, HCSS 2020 was postponed to September 15-19, 2020. More information will be communicated soon. Stay well and we hope to see you in Annapolis this Fall.

event

Visible to the public  SmartEdge'20 - Converted to Digital
Mar 23, 2020 7:00 am - Mar 27, 2020 6:00 pm CDT

COVID-19 Update

PerCom 2020 is still scheduled to happen March 23-27 but in an entirely virtual format. Given the options of canceling PerCom 2020 entirely or shifting to a remote format, we have chosen the latter. More information about logistics of the remote meeting will be forthcoming, but please feel free to reach out with more questions. To reiterate, PerCom 2020 will happen online, March 23-27.

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: Workshop on Autonomy in CPS 2020 (AutoCPS 2020)

CALL FOR PAPERS

Workshop on Autonomy in Cyber-Physical Systems at CPS-IoT Week (AutoCPS 2020)

21 April 2020 | Sydney, Australia | https://jainachin.github.io/AutoCPS2020/