Formális eszközök az informatikában - első előadás

SZEMINÁRIUM 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ület 2.512-es szobájában lesz 14.15 órai kezdettel. A tavaszi félév programja: Február 29. Ivanyos Gábor, Lelkes Ádám, Rónyai Lajos, Josef Schicho: 1 rangú mátrixok keresése teljes mátrixalgebrákban Március 21. Mihálydeák Tamás: Halmazapproximációs kísérletek és ezek logikai következményei Április 18. Dezső Balázs: Optimalizálási módszerek a távérzékelésben és a geoinformatikában Május 9. Gyarmati Katalin: Pszeudovéletlen sorozatok és rácsok Május 16. Iványi Antal: Multigráfok foksorozatai Minden érdeklődőt szeretettel várunk! Dr. Csuhaj Varjú Erzsébet egyetemi tanár Algoritmusok és Alkalmazásaik Tanszék Dr. Kiss Attila tanszékvezető egyetemi docens Információs Rendszerek Tanszék A szeminárium az Európai Unió támogatásával, az Európai Szociális Alap társfinanszírozásával, az ELTE TÁMOP-4.2.2/B-10/1-2010-0030 számú projekt keretében valósult meg.