Vida János és Valasek Gábor: Geometriai modellek offszetjei (Formális eszközök az informatikában szeminárium)

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.