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.

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


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 |


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:


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.


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


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.


Visible to the public  HCSS 2020 - Postponed
May 05, 2020 7:00 am - May 07, 2020 6:00 pm EDT


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.