Formális eszközök az informatikában szeminárium (2011. tavasz)

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.

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