Visible to the public HCSS Draft Schedule of EventsConflict Detection Enabled

September 14-17, 2020 (virtual)
The conference program will feature invited speakers, panel discussions, and a technical track of contributed talks. The daily themes for 2020 are Architecture-level Formal Methods for New and Existing Systems, Human/Machine Cognitive Security, and Formal Methods at Scale.

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.

View and download program booklet

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