We invite submissions in the general field of algebraic structures relevant to computer science and on applications of such algebras. Topics of the conference include, but are not limited to the following

  • Theory
    • algebraic structures from semigroups, residuated lattices and semirings to Kleene algebras, relation algebras and quantales
    • other algebras relevant to the theory of automata, concurrency, formal languages, games, networks, programming languages and social choice
    • algorithmic, category-theoretic, coalgebraic or proof-theoretic methods for such algebras
    • their formalisation with automated and interactive theorem provers
  • Applications
    • tools and techniques for the verification and correctness of sequential and concurrent programs
    • quantitative and qualitative models for computing systems
    • logics of programs, e.g., modal, dynamic, interval, temporal or resource logics, logics for games, social choice and distributed systems
    • design of algorithms, network protocol analysis, optimisation and control