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 Call for Submissions - 7th Int. Workshop on Applied Verification for Continuous and Hybrid Systems

7th Int. Workshop on
Applied Verification for Continuous and Hybrid Systems

event

Visible to the public  HoTSoS 2020
Sep 22, 2020 7:00 am - Sep 23, 2020 6:00 pm CDT

7th Annual Hot Topics in the Science of Security (HoTSoS) Symposium

September 22-23, 2020 | Lawrence, Kansas | https://cps-vo.org/group/hotsos

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
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 - Postponed
May 05, 2020 7:00 am - May 07, 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 will be postponed. We are working with the hotel to quickly reschedule for Fall 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.