[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*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. -------- Zhendong Su Professor, Department of Computer Science, ETH Zurich Office: CNB H 102, Tel: +41 44 633 77 72 https://people.inf.ethz.ch/suz/ --------