7th ETH Workshop on Dependable and Secure Software Systems

by Peter Mueller, Aug. 24, 2019

Ensuring that programs behave correctly and reliably is a fundamental challenge facing computing today. Recent years have seen an explosion of a diverse set of new techniques for ensuring program correctness ranging from verification and synthesis approaches to runtime systems to quantitative reasoning. The aim of the workshop is to provide insight into the latest research advances in the area. In a period of two days, the workshop will host a number of invited speakers who will present research talks related to software reliability and correctness.

7th ETH Workshop on Dependable and Secure Software Systems 

October 18-19, 2019

ETH Zurich, Switzerland

https://www.sri.inf.ethz.ch/workshop2019

Ensuring that programs behave correctly and reliably is a fundamental challenge facing computing today. Recent years have seen an explosion of a diverse set of new techniques for ensuring program correctness ranging from verification and synthesis approaches to runtime systems to quantitative reasoning. The aim of the workshop is to provide insight into the latest research advances in the area. In a period of two days, the workshop will host a number of invited speakers who will present research talks related to software reliability and correctness, including:

  • Aws Albarghouthi, University of Wisconsin
  •  Alvin Cheung, Berkeley
  •  Marco Cusumano-Towner, MIT
  • Alistair Donaldson, Imperial College London
  •  Jan Hoffmann, CMU
  • Miryung Kim, UCLA
  • Shan Lu, University of Chicago
  • Sasa Misailovic, UIUC
  • Santosh Nagarakatte, Rutgers University
  • Zvonimir Rakamaric, University of Utah
  • Hongseok Yang, KAIST

More details on the workshop and the registration details can be found at: https://www.sri.inf.ethz.ch/workshop2019.