[TYPES/announce] International Workshop on Confluence (IWC 2021): second call for papers

Samuel Mimram samuel.mimram at lix.polytechnique.fr
Wed Mar 17 08:02:19 EDT 2021


--//----//----//----//----//----//----//----//----//----//----//----//----//--

                        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


More information about the Types-announce mailing list