Dear all,
Here is an announcement on behalf of the program committee of RAMiCS. The deadline has been extended once more as below. Feel free to distribute the information :-)
Best regards, — Jérémy Dubut.
---------- Forwarded message --------- From: [email protected] Date: Mon, Mar 4, 2024 at 23:49 Subject: 3rd CfP & Deadline Extension: RAMiCS 2024 To: [email protected]
Dear Jérémy Dubut,
we have decided to extend the deadlines for RAMiCS 2024 once more, please see below for an updated CfP. (Do not hesitate to distribute this to your colleages and/or to hang up the poster which you may find on the RAMiCS web site.)
Best regards, for the PC Chairs, Uli Fahrenberg
CALL FOR PAPERS
RAMiCS 2024 21st International Conference on Relational and Algebraic Methods in Computer Science
Prague, Czech Republic 19--23 August 2024 collocated with AiML
https://ramics-conf.github.io/2024/
IMPORTANT DATES
Abstract submission (extended): 16 March 2024 Paper submission (extended): 23 March 2024 Author notification: 21 May 2024 Final version due: 22 June 2024 Conference dates: 19-23 August 2024
INVITED SPEAKERS
Sergey Goncharov, University of Erlangen and Nürnberg, Germany Tomasz Kowalski, Jagiellonian University in Kraków, Poland Sarah Winter, IRIF, Université Paris Cité, France
SCOPE
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, semi- rings, 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.
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.
Submission is via EasyChair at
https://easychair.org/conferences/?conf=ramics2024
For more information, see https://ramics-conf.github.io/2024/