[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]Special Issue on Confluence in Mathematical Structures in Computer Sciencehttps://www.cambridge.org/core/news/confluence <https://www.cambridge.org/core/news/confluence>
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.
Submissions should be submitted to the ScholarOne system here:https://mc.manuscriptcentral.com/mscs <https://mc.manuscriptcentral.com/mscs>
When submitting your paper please select the Special Issue on "Confluence" from the drop-down list on the ScholarOne system, as thisis the only way the papers can be correctly tagged for this special issue.
Guest Editors:Mauricio Ayala-Rincón (Universidade de Brasília), ayala(at)unb.br <http://unb.br> Samuel Mimram (LIX, École Polytechnique), samuel.mimram(at)lix.polytechnique.fr
Deadline: 1st March 2021
<<attachment: ayala.vcf>>
