[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
--//----//----//----//----//----//----//----//----//----//----//----//----//-- Second Call For Papers 10th International Workshop on Confluence http://www.lix.polytechnique.fr/iwc2021 July 23, 2021 Collocated with FSCD 2021, July 17-24, 2021 --//----//----//----//----//----//----//----//----//----//----//----//----//-- The 10th International Workshop on Confluence (IWC 2021) aims at promoting further research in confluence and related properties. Confluence provides a general notion of determinism and has always been conceived as one of the central properties of rewriting. Recently there is a renewed interest in confluence research, resulting in new techniques, tool support, certification as well as new applications. The workshop aims at promoting further research in confluence and related properties. Confluence relates to many topics of rewriting (completion, modularity, termination, commutation, etc.) and has been investigated in many formalisms of rewriting such as first-order rewriting, lambda-calculi, higher-order rewriting, constrained rewriting, conditional rewriting, etc. Recently there is a renewed interest in confluence research, resulting in new techniques, tool supports, certification as well as new applications. ## IMPORTANT INFORMATION Due to current travel restrictions in various countries, the meeting will be held **virtually** this year. ## TOPICS - confluence and related properties (unique normal forms, commutation, ground confluence) - completion - critical pair criteria - decidability issues - complexity issues - system descriptions - certification - applications of confluence The objective of this workshop is to bring together theoreticians and practitioners to promote new techniques and results, and to facilitate feedback on the implementation and application of such techniques and results in practice. IWC 2020 also aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. More information can be found on the webpage of the conference: http://www.lix.polytechnique.fr/iwc2021 ## SUBMISSIONS We solicit short papers or extended abstracts of at most five pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and may provide additional feedback. The accepted papers will be made available electronically before the workshop. The page limit for papers is 5 pages in EasyChair style. Short papers or extended abstracts must be submitted electronically through the EasyChair system at: https://easychair.org/conferences/?conf=iwc2021 EasyChair style: http://easychair.org/publications/for_authors ## IMPORTANT DATES - Title and Abstract: April 19, 2021 - Paper Submission: April 26, 2021 - Notification to authors: May 31, 2021 - Workshop date: July 23, 2021 ## INVITED SPEAKERS TBD ## PROGRAM COMMITTEE - Beniamino Accatolli (Inria & LIX, École Polytechnique) - Sandra Alves (Universidade do Porto) - Cyrille Chenavier (Université de Limoges) - Francisco Durán (University of Málaga) - Alejandro Díaz-Caro (Universidad Nacional de Quilmes & ICC/UBA-CONICET) - Samuel Mimram (LIX, École Polytechnique), co-chair - Camilo Rocha (Pontificia Universidad Javeriana), co-chair - Femke van Raamsdonk (VU University Amsterdam) - Sarah Winkler (University of Bolzano) ## FSCD 2021 ORGANISING COMMITTEE - FSCD Conference Chair: Alejandro Díaz-Caro, Universidad Nacional de Quilmes & ICC (UBA/CONICET) - FSCD Workshop Chairs: Mauricio Ayala-Rincón, Universidade de Brasília Carlos López Pombo, Universidad de Buenos Aires & ICC (UBA/CONICET) ## CONTACT - Samuel Mimram: samuel.mimram(at)lix.polytechnique.fr - Camilo Rocha: camilo.rocha(at)javerianacali.edu.co