Formális eszközök az informatikában
2011. szeptember 14.
ELTE IK (1117 Budapest, Pázmány Péter sétány 1/C, 2.512)
2011. szeptember 14. -
ELTE IK (1117 Budapest, Pázmány Péter sétány 1/C, 2.512)
Az ELTE IK 2011 őszén is folytatódó előadássorozatára várják a Kar oktatóit, doktori hallgatóit és diplomatémát kereső végzős diákjait.
Az ELTE IK Algoritmusok és Alkalmazásaik Tanszék, valamint az Információs Rendszerek Tanszék és a Komputeralgebra Tanszék közös szemináriumot szervez „Formális eszközök az informatikában” címmel, amelynek első előadását Henning Bordihn tartotta 2011. szeptember 14-én. Az előadásokra várják az ELTE IK oktatóit, doktori hallgatóit, diplomatémát kereső végzős diákjait.
Az őszi félév programja:
Szeptember 14. Henning Bordihn: Parallel Communicating Finite Automata
Október 5. Ifj. Benczúr András: Alap algoritmusok hálózatok vizsgálatában
Október 26. Jankó Zsolt és Csetverikov Dmitrij: A 4D stúdió – Dinamikus 3D-s modellek létrehozása videofelvételek alapján
November 16. Kósa Balázs: XML lekérdezőnyelvek bonyolultságelméleti kérdései
November 30. Gyimóthy Tibor: Programok szeletelése
December 14. Laki Sándor: Az Internet geográfiája: módszerek és alkalmazások
Időpont: 14:15
Helyszín: ELTE IK (1117 Budapest, Pázmány Péter sétány 1/C, 2.512)