Letošní spojená konference připomína desáté výročí úmrtí profesora Hájka, dlouholetého vědeckého pracovníka a bývalého ředitele Ústavu informatiky. Ačkoli program pokrývá celou šíři logiky, letošní setkání je koncipováno jako pocta jeho zásadnímu vlivu na tento obor. Prezentovaný výzkum bude přímo navazovat na jeho vědecký odkaz, přičemž zvláštní prostor dostanou témata, kterým se profesor Hájek věnoval - zejména teorie množin, aritmetika, matematická fuzzy logika a logika v analýze dat.
Akci pořádá Ústav informatiky AV ČR ve spolupráci s Filosofickým ústavem AV ČR. Konference se uskuteční ve dnech 4. až 6. února 2026 v prostorách Akademického konferenčního centra.
Foto: Sarah Sheedy na Unsplash