Please note that this newsitem has been archived, and may contain outdated information or links.
19 - 23 August 2024, Relational and Algebraic Methods in Computer Science (RAMiCS), Prague, Czechia
Since 1994, the RAMiCS conference series has been the main venue for theory surrounding relation algebra. Theoretical aspects include semigroups, residuated lattices, semirings, Kleene 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.
Applications include tools and techniques for program correctness, specification and verification; quantitative and qualitative models and semantics of computing systems and processes; algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control.
We are calling for submission of original work not published or under review for publication elsewhere. The proceedings will be published as part of Springer LNCS. As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. Deadline: 16 February 2024.
Additionally to the standard CfP, RAMiCS is also calling for short contributions and posters. We are hence calling for presentations of original, unfinished, already published, or otherwise interesting work within the topics of the RAMiCS conferences. The submission can be in the form of a poster, an abstract, a paper submitted to or published at another conference, or any other format. Short contributions will *not* be published in the conference proceedings. Deadline: 14 June 2024.
Please note that this newsitem has been archived, and may contain outdated information or links.