Formális eszközök az informatikában - 2014 tavaszi félév

Az ELTE IK Algoritmusok és Alkalmazásaik Tanszéke és Információs Rendszerek Tanszéke 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ületben lesz 14.15 órai kezdettel.

A tavaszi félév programja:

Március 5.	Ásványi Tibor:	Transzformációk rendezett listák különböző ábrázolásai között Helyszín: déli ép. 2.512
Március 19.	Tapolcai János:	Kombinatorikus problémák a távközlésben Helyszín: déli ép. Mogyoródi terem (0.822)
Április 2.	Kovács László:	Fogalomhasonlósági megközelítések az ontológiai modellekben Helyszín: déli ép. 2.512
Április 23.	Csendes Tibor:	Megbízható számítógépes eljárások Helyszín: északii ép. 7.59
Május 7.	Gazdag Zsolt:	Membrán (P) rendszerek bonyolultsági kérdéseiről Helyszín: déli ép. 2.512

Minden érdeklődőt szeretettel várunk!

Dr. Csuhaj Varjú Erzsébet	Dr. Kiss Attila
tanszékvezető egyetemi tanár	tanszékvezető egyetemi docens
Algoritmusok és Alkalmazásaik Tanszék	Információs Rendszerek Tanszék

2014.02.28.