<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-CA" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">(Apologies for multiple posting)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">CALL FOR SHORT CONTRIBUTIONS / POSTERS<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> 20th International Conference on<o:p></o:p></p>
<p class="MsoNormal"> Relational and Algebraic Methods in Computer Science<o:p></o:p></p>
<p class="MsoNormal"> RAMiCS 2023<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> 3 to 6 April 2023, Technologiezentrum Augsburg, Germany<o:p></o:p></p>
<p class="MsoNormal"> <a href="https://ramics20.lis-lab.fr/">
https://ramics20.lis-lab.fr/</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Additionally to the standard CfP, RAMiCS is also calling for short<o:p></o:p></p>
<p class="MsoNormal">contributions and posters. We are hence calling for presentations of<o:p></o:p></p>
<p class="MsoNormal">original, unfinished, already published, or otherwise interesting work<o:p></o:p></p>
<p class="MsoNormal">within the topics of the RAMiCS conferences. The submission can be in<o:p></o:p></p>
<p class="MsoNormal">the form of a poster, an abstract, a paper submitted to or published<o:p></o:p></p>
<p class="MsoNormal">at another conference, etc. Short contributions will *not* be<o:p></o:p></p>
<p class="MsoNormal">published in the conference proceedings.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">IMPORTANT DATES:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> Submission: January 27, 2023<o:p></o:p></p>
<p class="MsoNormal"> Notification: February 03, 2023<o:p></o:p></p>
<p class="MsoNormal"> RAMiCS 2023: April 03-06, 2023<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">INVITED SPEAKERS:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> Alexander Knapp, Augsburg University, Germany<o:p></o:p></p>
<p class="MsoNormal"> John Stell, University of Leeds, UK<o:p></o:p></p>
<p class="MsoNormal"> Valeria Vignudelli, CNRS/ENS Lyon, France<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">GENERAL INFORMATION:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Since 1994, the RAMICS conference series has been the main venue for<o:p></o:p></p>
<p class="MsoNormal">research on relation algebras, Kleene algebras and similar algebraic<o:p></o:p></p>
<p class="MsoNormal">formalisms, and their applications as conceptual and methodological<o:p></o:p></p>
<p class="MsoNormal">tools in computer science and beyond.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">TOPICS:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">We invite short submissions in the general fields of algebras relevant<o:p></o:p></p>
<p class="MsoNormal">to computer science and applications of such algebras. Topics include<o:p></o:p></p>
<p class="MsoNormal">but are not limited to:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Theory<o:p></o:p></p>
<p class="MsoNormal"> - algebras such as semigroups, residuated lattices, semirings,<o:p></o:p></p>
<p class="MsoNormal"> <span lang="DE">Kleene algebras, relation algebras and quantales<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="DE"> </span>- their connections with program logics and other logics<o:p></o:p></p>
<p class="MsoNormal"> - their use in the theories of automata, concurrency, formal languages,<o:p></o:p></p>
<p class="MsoNormal"> games, networks and programming languages<o:p></o:p></p>
<p class="MsoNormal"> - the development of algebraic, algorithmic, category-theoretic,<o:p></o:p></p>
<p class="MsoNormal"> coalgebraic and proof-theoretic methods for these theories<o:p></o:p></p>
<p class="MsoNormal"> - their formalisation with theorem provers<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Applications<o:p></o:p></p>
<p class="MsoNormal"> - tools and techniques for program correctness, specification and<o:p></o:p></p>
<p class="MsoNormal"> verification<o:p></o:p></p>
<p class="MsoNormal"> - quantitative and qualitative models and semantics of computing<o:p></o:p></p>
<p class="MsoNormal"> systems and processes<o:p></o:p></p>
<p class="MsoNormal"> - algorithm design, automated reasoning, network protocol analysis,<o:p></o:p></p>
<p class="MsoNormal"> social choice, optimisation and control<o:p></o:p></p>
<p class="MsoNormal"> - industrial applications<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> SUBMISSION INSTRUCTIONS:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Please send your short submission as a single pdf file to<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> <a href="mailto:ramics2023@easychair.org">ramics2023@easychair.org</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">by January 27, 2023.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span lang="DE">ORGANIZERS:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="DE"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="DE">Roland Glück, Deutsches Zentrum für Luft- und Raumfahrt, Germany<o:p></o:p></span></p>
<p class="MsoNormal">Luigi Santocanale, LIS, Aix-Marseille University, France<o:p></o:p></p>
<p class="MsoNormal">Michael Winter, Brock University, Canada<o:p></o:p></p>
</div>
</body>
</html>