Szemináriumok

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.

A szeminárium a Déli épület 2.512-es szobájában lesz 14.00 órai kezdettel.

A tavaszi félév programja:

Február 18.

Hunyadvári László: Mintaillesztő automaták és felhasználásuk néhány formális nyelvekre vonatkozó tétel bizonyítására

Március 11.

Friedl Katalin: Kvantumalgoritmusok

Március 18.

Prószéky Gábor: A párhuzamosságra törekvés és a hálózatok a gépi fordítás szolgálatában

Április 1.

Ádám András: Az automata-leképezések tulajdonságairól és a csatlakozó problémákról

Április 15.

Pásztorné Varga Katalin: Többértékű ítéletlogikákról

Április 29.

Battyányi Péter: Normalizálás szimmetrikus logikai kalkulusokban

Május 6.

Andréka Hajnal-Németi István: Relativisztikus hiperkomputerek (általános relativitáselméletre épülő nemhagyományos számítógépek).

Dr. Csuhaj Varjú Erzsébet,tudományos tanácsadó, Algoritmusok és Alkalmazásaik T.

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

Dr. Lakatos László tanszékvezető egyetemi docens, Komputeralgebra Tanszék