[ecoop-info] Call for Participation: ETH Workshop on Dependable and Secure Software Systems

Mueller Peter peter.mueller at inf.ethz.ch
Sat Aug 24 14:31:56 CEST 2019


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.








More information about the ecoop-info mailing list