Grand Challanges of Informatics
Az informatika nagy kihívásai konferencia
A konferenciát az Academia Europae és az NJSZT szervezte, 16 ország 43 Simonyi Károly ösztöndíjasának. A neves előadók utóbbi éveik kutatásaiból tartottak összefoglaló, áttekintő előadást. Elsősorban a program verifikáció és a számítástechnika matematikája volt a témakör. A Konferencia igazgatója Dienes Björner volt. A helyi szervező: Szeredi Péter.
A konferencia részletes programja, az egyes előadások prezentációival együtt, megtalálható a következő címen.
Angol nyelvű víziók 14 kiválóság előadásával
The whole event was video-streamed courtesy of the Hungarian John von Neumann Computer Society. The archived and edited video is available for viewing or download