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

Mueller Peter peter.mueller at inf.ethz.ch
Mon Jun 8 14:58:08 CEST 2015

3rd ETH Workshop on Software Correctness and Reliability

October 02-03, 2015

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:

  *   Umut Acar (Carnegie Melon University)<http://www.umut-acar.org/>
  *   Cristiano Calcagno (Facebook)<http://www.imperial.ac.uk/collegedirectory/index.asp?PeopleID=767740>
  *   Patrick Cousot (New York University)<http://www.di.ens.fr/%7Ecousot/>
  *   Roberto Giacobazzi (University of Verona and IMDEA Software Institute)<http://profs.sci.univr.it/%7Egiaco/>
  *   Thomas Gross (ETH Zurich)<http://www.lst.ethz.ch/people/trg.html>
  *   Akash Lal (Microsoft Research, Asia)<http://research.microsoft.com/en-us/people/akashl/>
  *   Patrick Lam (University of Waterloo)<http://patricklam.ca>
  *   Ken McMillan (Microsoft Research, Redmond)<http://www.kenmcmil.com>
  *   Peter Müller (ETH Zurich)<http://www.pm.inf.ethz.ch/people/person-detail.html?persid=112017>
  *   Marco Pistoia (IBM T.J. Watson Research Center)<http://researcher.watson.ibm.com/researcher/view.php?person=us-pistoia>
  *   Andreas Podelski (Freiburg)<http://swt.informatik.uni-freiburg.de/staff/podelski>
  *   Vivek Sarkar (Rice University)<http://vsarkar.rice.edu/>
  *   Natasha Sharygina (University of Lugano)<http://www.inf.usi.ch/faculty/sharygina/>
  *   Martin Vechev (ETH Zurich)<http://www.srl.inf.ethz.ch/vechev.php>

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

More information about the ecoop-info mailing list