Visible to the public HCSS Draft Schedule of EventsConflict Detection Enabled

CONFERENCE
May 3-6, 2021 (virtual)
The conference program will feature invited speakers, panel discussions, and a technical track of contributed talks. The daily themes for 2021 are Proof RobustnessExploring Composability, and Continuous Development & Formal Methods.

The conference is four days this year instead of the usual three. This allows for shorter days to help combat screen fatigue and also accommodate time zone differences. The conference schedule will adhere to the Eastern Daylight Timezone (EDT). The Hopin virtual conference platform will be used to host the conference. The conference is free to attend, but you must register. For an introduction to the virtual platform please visit the Virtual Venue page.

Conference Archives:
2001200220032004200520062007200820092010
201120122013, 2014, 2015, 2016, 2017, 2018, 2019, 2020