[TYPES/announce] International Workshop on Confluence [IWC 2020] - 1st CFPs

[Mauricio Ayala-Rincon]

Dear Colleagues,

Please, consider submitting your work to IWC 2020. Apologies if you

receive duplicates of this CFPs.

Mauricio Ayala-Rincon

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

                           First Call For Papers

              9th International Workshop on Confluence
                     http://iwc2020.cic.unb.br
                         June 30, 2020

Collocated with FSCD-IJCAR 2020, June 29 - July 5, 2020

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

The 9th International Workshop on Confluence (IWC 2020) 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.

## 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.

IWC 2020 is a satellite workshop of Formal Structures for Computation and
Deduction (FSCD'20, co-located with IJCAR). IWC 2020 is part of Paris Nord
Summer of LoVe 2020, a joint event on LOgic and VErification at 
University Paris
13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite
events. Previous editions took place in Dortmund (2019), Oxford (2018 
and 2017),
Obergurgl (2016), Berlin (2015), Vienna (2014), Eindhoven (2013) and Nagoya
(2012).

More information about the workshop can be found in the homepage of IWC.

## 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=iwc20200

EasyChair style:
http://easychair.org/publications/for_authors

## IMPORTANT DATES

- Title and Abstract:          April 17, 2020
- Paper Submission:            April 22, 2020
- Notification to authors:     May   22, 2020
- Workshop date:               June  30, 2020

## INVITED SPEAKERS

- TBD
- TBD

## PROGRAM COMMITTEE

- Beniamino Accattoli (LIX, École Polytechnique)
- Mauricio Ayala-Rincón (Universidade de Brasília) - co-chair
- Cyrille Chenavier (Centre Inria Lille)
- Alejandro Díaz-Caro (Universidad Nacional de Quilmes & ICC/UBA-CONICET)
- Maribel Fernández (King's College London)
- Mario Florido (Universidade de Porto)
- Makoto Hamana (Gunma University)
- Philippe Malbos (Université Claude Bernard Lyon 1)
- Samuel Mimram (LIX École Polytechnique) - co-chair
- Camilo Rocha (Pontificia Universidad Javeriana - Cali)
- Daniel Lima Ventura (Universidade Federal de Goiás)
- Femke van Raamsdonk (VU University Amsterdam)
- Johannes Waldmann (Hochschule für Technik, Wirtschaft und Kultur Leipzig)
- Sarah Winkler (Universität Innsbruck)

## FSCD 2020 ORGANISING COMMITTEE

- FSCD/IJCAR Conference Chairs: Stefano Guerrini (University Paris 13)
                                 Kaustuv Chaudhuri (Inria & Ecole 
polytechnique, France)
- FSCD/IJCAR Workshop Chairs:   Giulio Manzonetto (Université 
Paris-Nord, France)
                                 Andrew Reynolds (University of Iowa, USA)

## CONTACT

Mauricio Ayala-Rincón: ayala(at)unb.br
Samuel Mimram:         samuel.mimram(at)lix.polytechnique.fr