Physical sciences
Digitális kultúra Európában - A MINERVA Projekt
Gabriella Szalóki
14 years ago - 15:18
Formalisation (Proof-checking)
Laurent Théry
14 years ago - 38:07
Computer algebra
Joachim von zur Gathen
14 years ago - 37:21
Can we trust floating-point numbers?
Paul Zimmermann
14 years ago - 41:27
Main Issues of Computer Mathematics
Henk Barendregt
14 years ago - 46:45
Economics, game theory and computer science
Krzysztof R. Apt
14 years ago - 47:25
From computable functions to definable systems
Wolfgang Reisig
14 years ago - 41:36
Artificial biochemistry
Luca Cardelli
14 years ago - 44:49
Challenges of quantum informatics
Jozef Gruska
14 years ago - 45:26
Panel: Pan-European collaboration
14 years ago - 1:00:11
Model checking, theorem proving, and abstract
Thomas Henzinger
14 years ago - 41:21
The German VeriSoft Project 2003-2007
Wolfgang J. Paul
14 years ago - 44:05