Institute of Computer Science was the co-organiser of the AiML 2024 and RAMiCS 2024 conferences

ICS, together with the Institute of Philosophy of the CAS and the Faculty of Arts of Charles University co-organised collocated conferences Advances in Modal Logic (AiML) 2024 and Relational Methods in Computer Science (RAMiCS) 2024, which took place on August 19-23, 2024 and August 19-22 2024, respectively.

[ [list] ]

Advances in Modal Logic (AiML) is a bi-annual international conference and book series in Modal Logic. The aim of the conference series is to report on important new developments in pure and applied modal logic, and to do so at varying locations throughout the world. The book series is based on the conferences. More information about the AiML series can be obtained at http://www.aiml.net.

Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. Theoretical aspects include semigroups, residuated lattices, semirings, Kleene algebras, relation algebras, quantales and other algebras; their connections with program logics and other logics; their use in the theories of automata, concurrency, formal languages, games, networks and programming languages; the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories; their formalisation with theorem provers. More information can be found at https://ramics-conf.github.io/.