Verified Software: Theories, Tools, Experiments 

Internationale Konferenz an der ETH Zürich

10.-13. Oktober 2005, ETH Zürich, HG F 30 (Auditorium Maximum)

Im Rahmen des 150-jährigen Jubiläums der ETH Zürich organisiert die Professur für Software Engineering am Departement Informatik die internationale Konferenz „Verified Software: Theories, Tools, Experiments“ (VSTTE). 

Im Zentrum der Konferenz steht die von Prof. C.A.R. Hoare postulierte „Grand Challenge“ an die Informatik, in der Mathematik übliche Beweisverfahren in die Softwareentwicklung aufzunehmen. Schafft die Informatik diesen Schritt, so wird es möglich sein, Software zu schreiben, die beweisbar frei von Fehlern und Abstürzen ist.

Die in diesem Bereich führenden Wissenschaftlerinnen und Wissenschaftler wurden zur VSTTE nach Zürich eingeladen, um gemeinsam an der „Grand Challenge“ zu arbeiten. Sie werden diskutieren, was zu tun ist, um das Ziel der Programmierung von beweisbar fehlerfreier Software zu erreichen. Es werden Möglichkeiten erörtert, wie Werkzeuge für die formale Entwicklung und Verifizierung von Computerprogrammen beschaffen sein sollen. 

Auf dem Programm stehen dazu Vorträge von ausgewählten Expertinnen und Experten aus der ganzen Welt. Redner werden unter anderen C.A.R. Hoare und Amir Pnueli sein, beide Träger des renommierten Turing-Awards. Ziel der Konferenz ist eine offene Diskussion, ein Erfahrungsaustausch und eine Bündelung der internationalen Forschung in diesem Bereich.

Mehr zum Programm und weitere Informationen (auf Englisch): http://vstte.inf.ethz.ch

VSTTE ist eine offizielle Konferenz der Arbeitsgruppe 2.3 (Programming Methodology) der International Federation for Information Processing (http://www.ifip.org/). Sie wird organisiert von der Professur für Software Engineering am Departement Informatik der ETH Zürich.