Ústav informatiky AV ČR byl spoluorganizátorem konferencí AiML 2024 a RAMiCS 2024

Ústav informatiky AV ČR, společně s Filosofickým ústavem AV ČR a Filozofickou fakultou Univerzity Karlovy zorganizovali propojené konference Advances in Modal Logic (AiML) 2024 a Relational Methods in Computer Science (RAMiCS) 2024, které proběhli ve dnech 19. - 23. srpna 2024, resp. 19. - 22. srpna 2024.

[ [list] ]

Advances in Modal Logic (AiML) je mezinárodní konference a knižní řada věnovaná modální logice, která se koná každé dva roky. Cílem této série konferencí je informovat o důležitých nových poznatcích v oblasti čisté a aplikované modální logiky, a to na různých místech světa. Knižní řada vychází z těchto konferencí. Více informací o sérii AiML lze získat na http://www.aiml.net.

Od roku 1994 je série konferencí RAMiCS hlavním dějištěm výzkumu relačních algeber, Kleeneho algeber a podobných algebraických formalismů a jejich aplikací jako konceptuálních a metodologických nástrojů v informatice i mimo ni. Teoretické aspekty zahrnují pologrupy, reziduované svazy, polosvazy, Kleeneho algebry, relační algebry, kvantové a jiné algebry; jejich spojení s logikami programů a jinými logikami; jejich použití v teorii automatů, formálních jazyků, her, sítí a programovacích jazyků; vývoj algebraických, algoritmických, kategoriálně-teoretických, koalgebraických a důkazově-teoretických metod pro tyto teorie; jejich formalizaci pomocí automatických dokazovačů. Pro více informací o sérii navštivte https://ramics-conf.github.io/.