[ecoop-info] Workshop on Software Correctness and Reliability @ ETH Zurich (series of invited talks)

[Mueller Peter]

5th ETH Workshop on Software Correctness and Reliability



October 13-14, 2017

ETH Zurich, Switzerland

http://www.srl.inf.ethz.ch/workshop2017.php





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:



*       Mike Carbin (MIT)

*       Swarat Chaudhuri (Rice University)

*       Cezara Dragoi (ENS)

*       Derek Dreyer (MPI-SWS)

*       Nate Foster (Cornell University)

*       Klaus Havelund (NASA Jet Propulsion Laboratory)

*       Joost-Pieter Katoen (RWTH Aachen)

*       Laura Kovacs (TU Vienna)

*       Brandon Lucia (CMU)

*       Rupak Majumdar (MPI-SWS)

*       Sharon Shoham (Tel Aviv University)

*       Manu Sridharan (Uber)

*       Francesco Zappa Nardelli (INRIA)



More details on the workshop and the registration details can be found at: http://www.srl.inf.ethz.ch/workshop2017.php.