Opening & welcome
Dr. Péter Szeredi (egyetemi docens - BME Számítástudományi és Információelméleti Tanszék), 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)
To view the recordings on Videotorium you'll need to upgrade you Adobe Flash Player software. Your computer has a previous version or has no Flash installed. Click here to get Adobe Flash Player!
-
Uploaded by:
NIIF Intézet -
Time of recording:
September 19, 2006Length of recording:
11m 54s -
Time of upload:
June 23, 2010
-
Research area classification:
Software development -
Views:
452
-
Dr. Péter Szeredi (author)
egyetemi docens - BME Számítástudományi és Információelméleti Tanszék -
Dines Bjørner (author)
chairman - Academia Europaea Informatics Section -
Ákos Detrekői (author)
former rector - Budapest University of Technology and Economics
president - National Council on Computing and Information Technology
All rights reserved.
Related recordings
-
Jim Woodcock
A million lines of verified code
-
Prof. Sir Tony Hoare
The ideal of program correctness
-
Thomas Henzinger
Model checking, theorem proving, and abstract interpretation - The convergence of formal verification technologies
-
NIIF Intézet
Panel: Pan-European collaboration
-
Jean-Raymond Abrial
Have we learned from the Wasa disaster?
-
Wolfgang J. Paul
The German VeriSoft Project 2003-2007
-
Amir Pnueli
Temporal annotations and their validation
-
Prof. Richard A. DeMillo
Securing computing infrastructure with chains of trust
-
Tibor Remzső
Az informatikai biztonság rendszerszemléletben
-
László Bélády
Bevezető
Comments (0)