<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style>@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;}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;}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 style="word-wrap:break-word" vlink="#954F72" link="#0563C1"
lang="EN-CA">
<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">THIRD AND LAST CALL FOR PAPERS<o:p></o:p></p>
<p class="MsoNormal"><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"><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://urldefense.com/v3/__https://ramics20.lis-lab.fr/__;!!IBzWLUs!UpoPqAnNHJkSI6SFXO--ahknU1Ah8SFfEJQWhmCRfgeRv3TuLwziFRFG0SxrBab4JM4xr1NYf4TXWYk2xRfvTdloM3Bjp-jBZd7EIEeeyDzB$" moz-do-not-send="true" class="moz-txt-link-freetext">
https://ramics20.lis-lab.fr/</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><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"> Abstract Submission: September 23,
2022<o:p></o:p></p>
<p class="MsoNormal"> Paper Submission: September 30,
2022<o:p></o:p></p>
<p class="MsoNormal"> Author Notification: December 09, 2022<o:p></o:p></p>
<p class="MsoNormal"> Final Version: January 06, 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"><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 research on relation algebras, Kleene
algebras and similar algebraic formalisms, and their
applications as conceptual and methodological tools in computer
science and beyond.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">RAMiCS 2023 will take place at the
Technologiezentrum Augsburg. Depending on the Covid-19
situation, it will take the form of a physical conference, a
virtual conference, or a hybrid between the two.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><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 submissions in the general fields
of algebras relevant to computer science and applications of
such algebras. Topics include 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"><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"><o:p> </o:p></p>
<p class="MsoNormal">INVITED SPEAKERS<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"><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">Submission is via EasyChair at<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> <a href="https://urldefense.com/v3/__https://www.easychair.org/conferences/?conf=ramics2023__;!!IBzWLUs!UpoPqAnNHJkSI6SFXO--ahknU1Ah8SFfEJQWhmCRfgeRv3TuLwziFRFG0SxrBab4JM4xr1NYf4TXWYk2xRfvTdloM3Bjp-jBZd7EIAGY7Vot$" moz-do-not-send="true" class="moz-txt-link-freetext">
https://www.easychair.org/conferences/?conf=ramics2023</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">All papers will be peer-reviewed by at least
three referees. The proceedings will be published in an LNCS
volume by Springer, ready at the conference. Submissions must
not be published or under review for publication elsewhere.
Submissions must be in English using a PDF not exceeding 16
pages in LNCS style. Submissions must provide sufficient
information to judge their merits. Additional material may be
provided in a clearly marked appendix or by a reference to a
manuscript on a web site. Experimental data, software or
mathematical components for theorem provers must be available in
sufficient detail for referees. Deviation from these
requirements may lead to rejection.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">One author of each accepted paper is expected
to present the paper at the conference. Accepted papers must be
produced with LaTeX. Formatting instructions and LNCS style
files are available at
<a href="https://urldefense.com/v3/__http://www.springer.de/comp/lncs/authors.html__;!!IBzWLUs!UpoPqAnNHJkSI6SFXO--ahknU1Ah8SFfEJQWhmCRfgeRv3TuLwziFRFG0SxrBab4JM4xr1NYf4TXWYk2xRfvTdloM3Bjp-jBZd7EII1M62sc$" moz-do-not-send="true" class="moz-txt-link-freetext">http://www.springer.de/comp/lncs/authors.html</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span lang="DE">COMMITTEES:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="DE"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="DE"> Organising Committee<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="DE"> --------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="DE"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="DE"> Conf. & PC Co-Chair:
Roland Glück, Deutsches Zentrum für Luft- und Raumfahrt,
Germany<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="DE"> </span>Conf. & PC
Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University,
France<o:p></o:p></p>
<p class="MsoNormal"> Conf. & PC Co-Chair: Michael Winter,
Brock University, Canada<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p></o:p></p>
<p class="MsoNormal"> Programme Committee<o:p></o:p></p>
<p class="MsoNormal"> -------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> Adriana Balan, University Politechnic of
Bucharest, Romania<o:p></o:p></p>
<p class="MsoNormal"> Manuel Bodirsky, Technical University
Dresden, Germany<o:p></o:p></p>
<p class="MsoNormal"> Paul Brunet, Paris-East Créteil
University, France<o:p></o:p></p>
<p class="MsoNormal"> Miguel Couceiro, Loria, Nancy, France<o:p></o:p></p>
<p class="MsoNormal"> Manfred Droste, Leipzig University,
Germany<o:p></o:p></p>
<p class="MsoNormal"> Uli Fahrenberg, Epita, France<o:p></o:p></p>
<p class="MsoNormal"> Hitoshi Furusawa, Kagoshima University,
Japan<o:p></o:p></p>
<p class="MsoNormal"> Wesley Fussner, University of Bern,
Switzerland<o:p></o:p></p>
<p class="MsoNormal"> Silvio Ghilardi, University of Milan,
Italy<o:p></o:p></p>
<p class="MsoNormal"> Roland Glueck, German Aerospace Center,
Augsburg, Germany<o:p></o:p></p>
<p class="MsoNormal"> Walter Guttmann, University of
Canterbury, New Zealand<o:p></o:p></p>
<p class="MsoNormal"> Robin Hirsch, University College London,
UK<o:p></o:p></p>
<p class="MsoNormal"> Peter Höfner, Australian National
University, Canberra, Australia<o:p></o:p></p>
<p class="MsoNormal"> Marcel Jackson, La Trobe University,
Melbourne, Australia<o:p></o:p></p>
<p class="MsoNormal"> Ali Jaoua, Qatar University, Qatar<o:p></o:p></p>
<p class="MsoNormal"> Peter Jipsen, Chapman University, Orange,
USA<o:p></o:p></p>
<p class="MsoNormal"> Sebastian Joosten, Dartmouth College,
Hanover, USA<o:p></o:p></p>
<p class="MsoNormal"> Barbara König, University of
Duisburg/Essen, Germany<o:p></o:p></p>
<p class="MsoNormal"> Wendy MacCaull, St. Francis Xavier
University, Antigonish, Canada<o:p></o:p></p>
<p class="MsoNormal"> Roger Maddux, Iowa State University,
Ames, USA<o:p></o:p></p>
<p class="MsoNormal"> Nelma Moreira, University of Porto,
Portugal<o:p></o:p></p>
<p class="MsoNormal"> Martin Mueller, University of Applied
Sciences, Bonn-Rhein-Sieg, Germany<o:p></o:p></p>
<p class="MsoNormal"> Damien Pous, CNRS, ENS Lyon, France<o:p></o:p></p>
<p class="MsoNormal"> Luigi Santocanale, Aix-Marseille
University, France<o:p></o:p></p>
<p class="MsoNormal"> Ana Sokolova, University of Salzburg,
Austria<o:p></o:p></p>
<p class="MsoNormal"> Sara Ugolini, Artificial Intelligence
Research Institute of the CSIC, Spain<o:p></o:p></p>
<p class="MsoNormal"> Michael Winter, Brock University, St.
Catharines, Canada<o:p></o:p></p>
<p class="MsoNormal"> Sam van Gool, University Paris, France<o:p></o:p></p>
</div>
</body>
</html>