Formális eszközök az informatikában: Buczolich Zoltán - Topologikus Entrópia Sátorfüggvények kétparaméteres családjában

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. Időpont Helyszín Előadó Téma Március 11. 0-312 Gallai terem Zbynek Krivka Jumping Grammars Március 25. 2.512-es szoba Buczolich Zoltán Topologikus Entrópia Sátorfüggvények kétparaméteres családjában Április 8. 2.512-es szoba Ligeti Péter Titokmegosztások és alkalmazásaik Április 29. 2.512-es szoba Benczúr András Reguláris sémájú multirelációk – egy kiterjesztett relációs modell Minden érdeklődőt szeretettel várunk! Dr. Csuhaj Varjú Erzsébet tanszékvezető egyetemi tanár Algoritmusok és Alkalmazásaik Tanszék Dr. Kiss Attila tanszékvezető egyetemi docens Információs Rendszerek Tanszék