[TYPES/announce] Second call - Special Issue on Confluence - Mathematical Structures in Computer Science

[Mauricio Ayala-Rincon]

Special Issue on Confluence in Mathematical Structures in Computer Science

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: 31 January 2021

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20201126/090fcf3e/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ayala.vcf
Type: text/x-vcard
Size: 4 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20201126/090fcf3e/attachment-0001.vcf>