Write a Blog >>
All Editions
Tue 21 Jan 2020 New Orleans, Louisiana, United States

HASE 2020 with POPL 2020

HASE 2020 is an interactive workshop that aims to forge new collaborations and initiatives which strive to provide high levels of assurance about the correct operation and security properties of production systems (software and hardware). The format of the workshop involves a high degree of simultaneous interaction between participants in several facilitated working session topics (i.e. this workshop is not a ser ...