Horváth Sándor: Olyan környezetfüggetlen nyelvekről, amelyeknek a kommutatív lezárása is környezetfüggetlen - Formális eszközök az informatikában szeminárium
10/15
2008. október 15.
Déli épület 2.512
10/15
2008. október 15. -
Déli épület 2.512
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.00 órai kezdettel.