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
2017.10.20.