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

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

The ideal of program correctness

kifu Prof. Sir Tony Hoare 8 éve - 42:46

A million lines of verified code

kifu Jim Woodcock 8 éve - 40:26

Have we learned from the Wasa disaster?

kifu Jean-Raymond Abrial 8 éve - 38:02

The German VeriSoft Project 2003-2007

kifu Wolfgang J. Paul 8 éve - 44:05

Artificial biochemistry

kifu Luca Cardelli 8 éve - 44:49