New subject: homotopy type theory

11 May 2016


      皆様
９月にオーストリアで開催される「合流性に関するワークショップ IWC 2016」の
論文募集をご案内致します。今回は TRS Meeting, WST, LC&A との合同開催と
なっております。関連する話題をお持ちの方は、ぜひ投稿をご検討下さい。
廣川 (JAIST)
=====================================================================
                           Call for Papers
                              IWC 2016
               5th International Workshop on Confluence
Sep 8-9, 2016, Obergurgl, Austria,
           Part of Computational Logic in the Alps, CLA 2016
http://www.csl.sri.com/~tiwari/iwc2016/
=====================================================================
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 Alps
event 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.
IMPORTANT DATES:
 * submission     June 22, 2016 
 * notification   July 12, 2016 
 * final version  Aug  03, 2016 
 * workshop       Sep 8-9, 2016
TOPICS:
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
INVITED SPEAKERS:
 * TBD
PROGRAM COMMITTEE:
 * Beniamino Accattoli (INRIA)
 * Bertram Felgenhauer (University of Innsbruck)
 * Yves Guiraud (University of Paris 7)
 * Nao Hirokawa (JAIST)
 * Koji Nakazawa (Nagoya)
 * Ashish Tiwari (Menlo Park)
SUBMISSION:
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://www.easychair.org/conferences/?conf=iwc2016

IWC 2016 - Call for Papers