Formális eszközök az informatikában szeminárium
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.
A szeminárium a Déli épület 2.512-es szobájában lesz 14.15 órai kezdettel.
Az őszi félév programja:
Szeptember 29. Vaszil György: Kontrollnyelvekkel szabályozott veremautomaták
Október 20. Gazdag Zsolt: Nyelvtanok szövegfeltételekkel
November 3. Csetverikov Dmitrij: Retinaképek szegmentálása
November 17. Ásványi Tibor: Hibakezelés definit klóz nyelvtanokkal
December 1. Ésik Zoltán: Nyelvek lexikografikus rendezései (ELMARAD!)
Az előadásokra várjuk az ELTE IK oktatóit, doktori hallgatóit, diplomatémát kereső végzős diákjait.
Dr. Csuhaj Varjú Erzsébet egyetemi tanár Algoritmusok és Alkalmazásaik Tanszék | Dr. Benczúr András tanszékvezető egyetemi tanár Információs Rendszerek Tanszék |
Dr. Hunyadvári László mb. tanszékvezető egyetemi docens Algoritmusok és Alkalmazásaik Tanszék | Dr. Lakatos László tanszékvezető egyetemi docens Komputeralgebra Tanszék |