<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">RAMICS DEADLINE EXTENDED<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://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"><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 (extended): October 7, 2022<o:p></o:p></p>
<p class="MsoNormal"> Paper Submission (extended): October 14, 2022<o:p></o:p></p>
<p class="MsoNormal"> Author Notification: December 16, 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://www.easychair.org/conferences/?conf=ramics2023">
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="http://www.springer.de/comp/lncs/authors.html">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>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>