VIDEOTORIUM
Toggle navigation
Categories
Channels
Live events
Login
Register
×
Close
Login
Email address
*
Password
*
Log in
Shibboleth Login
Login with eduID
Login with Google
Login with Facebook
Create an Account
|
Forgot Password
×
Close
Register
Username
*
E-mail address
*
*
Password
*
Confirm password
*
CAPTCHA
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.
Math question
*
2 + 5 =
Create new account
English
Magyar
Search
Search
(16)
1
2
next
last
Opening & welcome
kifu
Dr. Péter Szeredi
Dines Bjørner
Prof. Emer Ákos Detrekői
14 years ago - 11:49
The ideal of program correctness
kifu
Prof. Sir Tony Hoare
14 years ago - 42:46
A million lines of verified code
kifu
Jim Woodcock
14 years ago - 40:26
Have we learned from the Wasa disaster?
kifu
Jean-Raymond Abrial
14 years ago - 38:02
Temporal annotations and their validation
kifu
Amir Pnueli
14 years ago - 47:40
The German VeriSoft Project 2003-2007
kifu
Wolfgang J. Paul
14 years ago - 44:05
Model checking, theorem proving, and abstract
kifu
Thomas Henzinger
14 years ago - 41:21
Panel: Pan-European collaboration
kifu
14 years ago - 1:00:11
Challenges of quantum informatics
kifu
Jozef Gruska
14 years ago - 45:26
Artificial biochemistry
kifu
Luca Cardelli
14 years ago - 44:49
From computable functions to definable systems
kifu
Wolfgang Reisig
14 years ago - 41:36
Economics, game theory and computer science
kifu
Krzysztof R. Apt
14 years ago - 47:25