-
Kutatószeminárium
Előadó: Balogh Gergő
Cím: A fejlesztői produktivitás megbízható mérése és előrejelzése
Dátum: 2014-10-17
Időpont: 15:15-16:00
Helyszín: Árpád tér 2. II. em. 220. sz.
-
Informatikai Biztonság Szeminárium
Előadó: Höltz Péter (BalaBit Kft.)
Cím: A hálózati határvédelem eszközei
Dátum: 2014-10-13
Időpont: 16:00-17:30
Helyszín: Irinyi ép. III. lh. II. em. 219-es terem
-
Tanszékcsoporti szeminárium
Előadó: Nagy Zoltán (MTA SZTAKI)
Cím: Programozható logikai eszközök és magas szintű szintézis
Dátum: 2014-10-07
Időpont: 14:00-15:00
Helyszín: Árpád tér 2. II. em. 220. sz.
-
Informatikai Biztonság Szeminárium
Előadó: Dr. Szádeczky Tamás, CISSP, információbiztonsági szakterület vezető, TÜV Rheinland InterCert Kft.
Cím: Információbiztonsági megfelelőség
Dátum: 2014-10-06
Időpont: 16:00-17:30
Helyszín: Irinyi ép. III. lh. II. em. 219-es terem
-
Informatikai Biztonság Szeminárium
Előadó: Veres-Szentkirályi András (IT biztonsági szakértő, Silent Signal Kft.)
Cím: Ethical hacking
Dátum: 2014-09-29
Időpont: 16:00-17:30
Helyszín: Irinyi ép. III. lh. II. em. 219-es terem
-
Elektromos és mechanikai rezonanciák valós idejű mérése hangkártyával
Előadó: Makan Gergely
Cím: Elektromos és mechanikai rezonanciák valós idejű mérése hangkártyával
Dátum: 2014-09-30
Időpont: 15:15-16:00
Helyszín: Árpád tér 2. II. em. 220. sz.
-
Probabilistic MSO Logic
Előadó: Thomas Weidner (University of Leipzig)
Cím: Probabilistic MSO Logic
Dátum: 2014-09-24
Időpont: 15:00-16:00
Helyszín: Irinyi ép. III. lh. I. em. szeminárium terem
-
Vezetéknélküli FES mérőrendszer fejlesztése
Előadó: Mingesz Róbert
Cím: Vezetéknélküli FES mérőrendszer fejlesztése
Dátum: 2014-09-23
Időpont: 14:00-15:00
Helyszín: Árpád tér 2. II. em. 220. sz.
-
Minimization of non-deterministic weighted tree automata
Előadó: Andreas Maletti (University of Stuttgart)
Cím: Minimization of non-deterministic weighted tree automata
Dátum: 2012-12-11
Időpont: 14:00-15:00
Helyszín: Árpád tér 2. II. em. 220. sz.
-
Higher-order recursion schemes and their automata models
Előadó: Arnaud Carayol (Universite' Paris Est)
Cím: Higher-order recursion schemes and their automata models
Dátum: 2012-12-04
Időpont: 14:00-15:00
Helyszín: Árpád tér 2. II. em. 220. sz.
-
Futasidobeli verifikacio szamitogepes rendszerekben
Előadó: Majzik Istvan (BME)
Cím: Futasidobeli verifikacio szamitogepes rendszerekben
Dátum: 2012-11-27
Időpont: 14:00-15:00
Helyszín: Árpád tér 2. II. em. 220. sz.
-
Sok-karu rablo algoritmusok parhuzamositasa
Előadó: Szorenyi Balazs
Cím: Sok-karu rablo algoritmusok parhuzamositasa
Dátum: 2012-11-20
Időpont: 14:00-15:00
Helyszín: Árpád tér 2. II. em. 220. sz.
-
Ekvivalens reprezentaciok kozti atirasok koltsegerol
Előadó: Ivan Szabolcs
Cím: Ekvivalens reprezentaciok kozti atirasok koltsegerol
Dátum: 2012-11-13
Időpont: 14:00-15:00
Helyszín: Árpád tér 2. II. em. 220. sz.
-
Közel legrövidebb utak
Előadó: Friedl Katalin (BME)
Cím: Közel legrövidebb utak
Dátum: 2012-11-06
Időpont: 14:00-15:00
Helyszín: Árpád tér 2. II. em. 220. sz.
-
Teljesen elosztott adatbanyaszat millios halozatok felett
Előadó: Jelasity Mark
Cím: Teljesen elosztott adatbanyaszat millios halozatok felett
Dátum: 2012-10-30
Időpont: 14:00-15:00
Helyszín: Árpád tér 2. II. em. 220. sz.
