Ön jelenleg a(z) Kormányzati Informatikai Fejlesztési Ügynökség Videotorium aloldalát böngészi. A keresési találatok, illetve az aloldal minden felülete (Főoldal, Kategóriák, Csatornák, Élő közvetítések) kizárólag az intézményi aloldal tartalmait listázza. Amennyiben a Videotorium teljes archívumát kívánja elérni, kérjük navigáljon vissza a Videotorium főoldalára!

Az informatika nagy kihívásai

Az informatika nagy kihívásai (16)

Nemzetközi szimpózium az Európai Tudományos Akadémia (Academia Europaea) Informatikai Szekciója, Charles Simonyi és az NJSZT szervezésében
A gazdag programot Dines Bjorner (az Academia Europaea Informatikai Szekciója (AE/IS) elnöke) és
Dr. Charles Simonyi (az INTENTIONAL SOFTWARE(TM) társalapítója) neve fémjelzi. Mindketten nemzetközi Neumann-díjasok. A rendezvény során két napon át a számítástudomány 14 kiváló képviselője tart előadást az informatika legújabb kihívásairól, angol nyelven. A témák között szerepel a 100%-os biztonságú szoftver, a kvantuminformatika, a bioinformatika, a közgazdaságtan és játékelmélet, valamint az informatika és a matematika kapcsolata.

több kevesebb

Opening & welcome

Dr. Szeredi Péter
Dines Bjørner
Prof. Emer Detrekői Ákos
7 éve - 11:49

The ideal of program correctness

Prof. Sir Tony Hoare 7 éve - 42:46

A million lines of verified code

Jim Woodcock 7 éve - 40:26

Have we learned from the Wasa disaster?

Jean-Raymond Abrial 7 éve - 38:02

The German VeriSoft Project 2003-2007

Wolfgang J. Paul 7 éve - 44:05

Model checking, theorem proving, and abstract

Thomas Henzinger 7 éve - 41:21

Challenges of quantum informatics

Jozef Gruska 7 éve - 45:26

Artificial biochemistry

Luca Cardelli 7 éve - 44:49

Economics, game theory and computer science

Krzysztof R. Apt 7 éve - 47:25