Grand Challanges of Informatics

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 http://www.jaist.ac.jp/~bjorner/ae-is-budapest/symp.html címen. Az előadások videó felvételei a https://niif.videotorium.hu/hu/channels/215 címen tekinthetők meg.

Időpont:
2016.09.19-9.20

Rendező szervek:

Helyszín:
Budapest

Résztvevők száma:
43 Simonyi Károly fellow, 16 országból

Előadások száma:
14

Egyéb megjegyzés:

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

A konferencia részletes programja, az egyes előadások prezentációival együtt, megtalálható a http://www.jaist.ac.jp/~bjorner/ae-is-budapest/symp.html címen. Az előadások videó felvételei a https://niif.videotorium.hu/hu/channels/215 címen tekinthetők meg.


Létrehozva: 2016.04.03. 17:24
Utolsó módosítás: 2018.02.16. 10:12

A honlap további használatához a sütik használatát el kell fogadni. További információ

A süti beállítások ennél a honlapnál engedélyezett a legjobb felhasználói élmény érdekében. Amennyiben a beállítás változtatása nélkül kerül sor a honlap használatára, vagy az "Elfogadás" gombra történik kattintás, azzal a felhasználó elfogadja a sütik használatát.

Bezárás