Since 199 4, the RAMiCS conference series has been the main venue for theory surrounding relation algebra. The oretical aspects include semigroups, residuated la ttices, semirings, Kleene algebras, quantales and other algebras; their connections with program log ics and other logics; their use in the theories of automata, concurrency, formal languages, games, n etworks and programming languages; the development of algebraic, algorithmic, category-theoretic, co algebraic and proof-theoretic methods for these th eories; their formalisation with theorem provers.< /p>\n
Applications include tools and technique s for program correctness, specification and verif ication; quantitative and qualitative models and s emantics of computing systems and processes; algor ithm design, automated reasoning, network protocol analysis, social choice, optimisation and control .
\nWe are calling for submis sion of original work not published or under revie w for publication elsewhere. The proceedings will be published as part of Springer LNCS. As for earl ier RAMiCS conferences, we intend to publish a jou rnal special issue with revised and extended versi ons of a selection of the best papers. Deadline: 1 6 February 2024.
\nAdditionally to the sta ndard CfP, RAMiCS is also calling for short contri butions and posters. We are hence calling for pres entations of original, unfinished, already publish ed, or otherwise interesting work within the topic s of the RAMiCS conferences. The submission can be in the form of a poster, an abstract, a paper sub mitted to or published at another conference, or a ny other format. Short contributions will *not* be published in the conference proceedings. Deadline : 14 June 2024.
\n