Formális eszközök az informatikában

Az ELTE IK Algoritmusok és Alkalmazásaik Tanszéke és Információs Rendszerek Tanszéke 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.

Az első négy szeminárium a déli épület 7.103-as (Andreanszky Gábor) teremben lesz 14.15 órai kezdettel. Az utolsó szeminárium a déli épület 2.512-es szobában lesz.

A tavaszi félév programja:

Február 27. Imreh Csanád: Az online k-szerver probléma

Március 13. Pethő Attila: Az anonimitás és alkalmazásai

Április 10. Kátai Zoltán: Dinamikus programozásos feladatok modellezésed-gráfokkal.

Április 24. Abonyi János: Csoportosítási algoritmusok és alkalmazásilehetőségeik

Május 8. Csuhaj Varjú Erzsébet: Korszerű vagy újszerű? – nem hagyományos számítási modellekről

Minden érdeklődőt szeretettel várunk!

Dr. Csuhaj Varjú Erzsébet Dr. Kiss Attila

tanszékvezető egyetemi tanár tanszékvezető egyetemi tanár

Algoritmusok és Alkalmazásaik Tanszék Információs Rendszerek Tanszék