[TYPES/announce] Call for Participation: 7th ETH Workshop on Dependable and Secure Software Systems

Zhendong Su zhendong.su at inf.ethz.ch
Wed Sep 11 05:36:16 EDT 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.

--------
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/
--------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190911/3fe1bd26/attachment.html>


More information about the Types-announce mailing list