Formális eszközök az informatikában
Az ELTE Informatikai Kar Algoritmusok és Alkalmazásaik Tanszéke, valamint az Információs Rendszerek Tanszék és a Komputeralgebra Tanszék ismét közös szemináriumot szervez „Formális eszközök az informatikában” címmel. Az előadásokra várják az ELTE IK oktatóit, doktori hallgatóit és diplomatémát kereső végzős diákjait is.
A tavaszi félév programja:
március 9.
Tichler Krisztián: Részgráf-izomorfizmus és kapcsolódó problémák a kémiai informatikában
március 23.
Fóthi Ákos és Istenes Zoltán: A B módszer rövid bemutatása
április 6.
Csuhaj Varjú Erzsébet: Osztott automaták
április 27.
Dömösi Pál: Primitív szavak: egy sikersztori az elméleti számítástudományban
május 11.
Ésik Zoltán: Nyelvek lexikografikus rendezései
Időpont: 14:15
Helyszín: ELTE Lágymányosi Campus, Déli épület 2.512 (1117 Budapest, Pázmány Péter sétány 1/C.)