[TYPES/announce] IWC 2016 - Second Call for Papers

Beniamino Accattoli beniamino.accattoli at inria.fr
Mon Jun 13 18:11:33 EDT 2016

                        Second Call for Papers
                              IWC 2016
               5th International Workshop on Confluence

              Week of Sep 4-10, 2016, Obergurgl, Austria,
           Part of Computational Logic in the Alps CLA 2016


Confluence provides a general notion of determinism and is widely
viewed as one of the central properties of rewriting. Confluence
relates to many topics of rewriting (completion, modularity,
termination, commutation, etc.) and had 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 support, certification as well as
new applications.  The International Workshop on Confluence (IWC) aims
at promoting further research in confluence and related properties.
IWC 2016 is part of the Computational Logic in the Alpsevent to be
held in Obergurgl, Austria, during the week Sep 4-10, 2016.
Previous editions of the workshop were held in Nagoya (2012),
Eindhoven (2013), Vienna (2014), and Berlin (2015). During the
workshop, the 5th Confluence Competition (CoCo 2016) takes place.

 * submission     June 22, 2016
 * notification   July 12, 2016
 * final version  Aug  03, 2016
 * workshop       Sep 4-10, 2016

Specific topics of interest include:
 * confluence and related properties (unique normal forms, commutation,
   ground confluence)
 * completion
 * critical pair criteria
 * decidability issues
 * complexity issues
 * system descriptions
 * certification
 * applications of confluence

 * Florent Jacquemard (INRIA)
 * Paul-Andre Mellies (CNRS & Paris Diderot University)

 * Beniamino Accattoli (INRIA)
 * Bertram Felgenhauer (University of Innsbruck)
 * Yves Guiraud (INRIA & Paris Diderot University)
 * Nao Hirokawa (JAIST)
 * Koji Nakazawa (Nagoya)
 * Ashish Tiwari (Menlo Park)

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:

More information about the Types-announce mailing list