[TYPES/announce] International Workshop on Confluence [IWC 2020] - Deadline extension

[Samuel Mimram]

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

                           Last 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

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

## DEADLINE EXTENSION

Important notice: the deadline has been extended by one week, see below 
(abstract on April 24th and paper on April 29th).

## DESCRIPTION

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.

## ORGANIZATION

Due to current travel restrictions in various countries, the meeting will be
held **virtually** this year. The technical details will be given in due time.

## 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 24, 2020
- Paper Submission:            April 29, 2020
- Notification to authors:     May   22, 2020
- Workshop date:               June  30, 2020

## INVITED SPEAKERS

- TBD
- TBD

## PROGRAM COMMITTEE

- Beniamino Accattoli (Inria & 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