<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div class="moz-forward-container">
<div class="moz-forward-container">
<div>Special Issue on Confluence in Mathematical Structures in
Computer Science
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D;mso-fareast-language:EN-US"><a href="https://www.cambridge.org/core/news/confluence" moz-do-not-send="true">https://www.cambridge.org/core/news/confluence</a>
</span> </p>
<p class="MsoNormal">This Special Issue on Confluence aims to
publish recent advances presented at, but not restricted to
leading conferences and workshops such as IWC (collocated
with FSCD in recent editions: FLoC 2018, FSCD 2019, Paris
Nord Summer of LoVe 2020). Submissions of papers related to
aspects of confluence such as commutation, ground
confluence, nominal confluence, completion, CP criteria,
decidability, complexity, system and tool descriptions,
certification, and applications of confluence, are welcome.
All submissions will pass a thorough and rigorous reviewing
process, according to the standards of MSCS. The reviewing
process of each paper will start as soon as it is submitted,
and accepted papers will undergo production before being
published online in MSCS. <br>
</p>
</div>
<div>
<p class="MsoNormal"> </p>
</div>
<div>
<p class="MsoNormal">Submissions should be submitted to the
ScholarOne system here:<br>
<a href="https://mc.manuscriptcentral.com/mscs" moz-do-not-send="true">https://mc.manuscriptcentral.com/mscs</a>
</p>
</div>
<div>
<p class="MsoNormal"> </p>
</div>
<div>
<p class="MsoNormal">When submitting your paper please <span style="color:red"></span>select the Special Issue on
"Confluence" from the drop-down list on the ScholarOne
system, as this<span style="color:red"> </span>is the only
way the papers can be correctly tagged for this special
issue. </p>
</div>
<div>
<p class="MsoNormal"> </p>
</div>
<div>
<p class="MsoNormal">Guest Editors: <br>
Mauricio Ayala-Rincón (Universidade de Brasília), ayala(at)<a href="http://unb.br" moz-do-not-send="true">unb.br </a>
<br>
Samuel Mimram (LIX, École Polytechnique),
samuel.mimram(at)lix.polytechnique.fr</p>
</div>
<div>
<p class="MsoNormal"> </p>
</div>
<div>
<p class="MsoNormal">Deadline: 1st March 2021</p>
</div>
</div>
</div>
</body>
</html>