| No. | Title | Snapshot | Download |
|---|
| 1. | Opening & welcome
Dines Bj?rner (chairman, Academia Europaea Informatics Section), Ákos Detrekői (former rector, Budapest University of Technology and Economics, president, National Council on Computing and Information Technology), Dr. Péter Szeredi (egyetemi docens, BME Számítástudományi és Információelméleti Tanszék)
Lower quality streams: 500K
|  |
Right click |
| 2. | The ideal of program correctness
Prof. Sir Tony Hoare (senior researcher, Microsoft, emeritus professor of computing, Oxford University Computing Laboratory)
Lower quality streams: 500K
|  |
Right click |
| 3. | A million lines of verified code
Jim Woodcock (The University of York)
Lower quality streams: 500K
|  |
Right click |
| 4. | Have we learned from the Wasa disaster?
Jean-Raymond Abrial (ETH Zurich)
Lower quality streams: 500K
|  |
Right click |
| 5. | Temporal annotations and their validation
Amir Pnueli (New York University, Weizmann Institute of Sciences)
Lower quality streams: 500K
|  |
Right click |
| 6. | The German VeriSoft Project 2003-2007
Wolfgang J. Paul (Universitat Saarbrücken)
Lower quality streams: 500K
|  |
Right click |
| 7. | Model checking, theorem proving, and abstract interpretation - The convergence of formal verification technologies
Thomas Henzinger (Ecole Polytechnique Fédérale de Lausanne)
Lower quality streams: 500K
|  |
Right click |
