(16)

Opening & welcome
kifu Dr. Szeredi Péter
Dines Bjørner
Prof. Emer Detrekői Ákos 13 éve - 11:49

The ideal of program correctness
kifu Prof. Sir Tony Hoare 13 éve - 42:46

A million lines of verified code
kifu Jim Woodcock 13 éve - 40:26

Have we learned from the Wasa disaster?
kifu Jean-Raymond Abrial 13 éve - 38:02

Temporal annotations and their validation
kifu Amir Pnueli 13 éve - 47:40

The German VeriSoft Project 2003-2007
kifu Wolfgang J. Paul 13 éve - 44:05

Model checking, theorem proving, and abstract
kifu Thomas Henzinger 13 éve - 41:21

Panel: Pan-European collaboration
kifu 13 éve - 1:00:11

Challenges of quantum informatics
kifu Jozef Gruska 13 éve - 45:26

Artificial biochemistry
kifu Luca Cardelli 13 éve - 44:49

From computable functions to definable systems
kifu Wolfgang Reisig 13 éve - 41:36

Economics, game theory and computer science
kifu Krzysztof R. Apt 13 éve - 47:25