[TYPES/announce] 2nd CfP & Deadline Extension: RAMiCS 2024

[Uli Fahrenberg]

Apologies for multiple copies of this email; please distribute as you
see fit.

                        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://urldefense.com/v3/__https://ramics-conf.github.io/2024/__;!!IBzWLUs!TcazfeaWE5cCCXY-R62DWcNGtqzvE1iVGnkfCp2h3tHYq5DolbvrF59PBSfcynlfYvR-1PT-3sTnd1E4mxd7S_m2ltC_r5lOFHSHg6p-tQ$ 

IMPORTANT DATES

     Abstract submission (extended): 2 March 2024
     Paper submission (extended): 9 March 2024
     Author notification: 11 May 2024
     Final version due: 10 June 2024
     Conference dates: 19-23 August 2024

INVITED SPEAKERS

     Sergey Goncharov, Friedrich-Alexander 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://urldefense.com/v3/__https://easychair.org/conferences/?conf=ramics2024__;!!IBzWLUs!TcazfeaWE5cCCXY-R62DWcNGtqzvE1iVGnkfCp2h3tHYq5DolbvrF59PBSfcynlfYvR-1PT-3sTnd1E4mxd7S_m2ltC_r5lOFHSohCdRfA$ 

For more information, see https://urldefense.com/v3/__https://ramics-conf.github.io/2024/__;!!IBzWLUs!TcazfeaWE5cCCXY-R62DWcNGtqzvE1iVGnkfCp2h3tHYq5DolbvrF59PBSfcynlfYvR-1PT-3sTnd1E4mxd7S_m2ltC_r5lOFHSHg6p-tQ$