[ 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


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:

Zhendong Su
Professor, Department of Computer Science, ETH Zurich
Office: CNB H 102, Tel: +41 44 633 77 72

Reply via email to