Formális eszközök az informatikában

SZEMINÁRIUM

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.

Az előadásokra várjuk az ELTE IK oktatóit, doktori hallgatóit, diplomatémát kereső végzős diákjait.

A szeminárium a Déli épület 2.512-es szobájában lesz 14.15 órai kezdettel.

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

Az előadásokra várjuk az ELTE IK oktatóit, doktori hallgatóit, diplomatémát kereső végzős diákjait.

Dr. Csuhaj Varjú Erzsébet	Dr. Benczúr András
egyetemi tanár	egyetemi tanár
Algoritmusok és Alkalmazásaik Tanszék	Információs Rendszerek Tanszék
Dr. Hunyadvári László	Dr. Lakatos László
mb. tanszékvezető egyetemi docens	tanszékvezető egyetemi docens
Algoritmusok és Alkalmazásaik Tanszék	Komputeralgebra Tanszék