[TYPES/announce] IWC 2013: 2nd Call for Papers

Nao Hirokawa hirokawa at jaist.ac.jp
Thu Feb 21 05:47:40 EST 2013


======================================================================
                        Second Call for Papers                    
                              IWC 2013                          
               2nd International Workshop on Confluence
               28 June 2013, Eindhoven, The Netherlands
                       collocated with RDP 2013
               http://www.jaist.ac.jp/~hirokawa/iwc2013/
======================================================================

Recently there is a renewed interest in confluence research, resulting
in new techniques, tool support as well as new applications.  The
workshop aims at promoting further research in confluence and related
properties.  The workshop is collocated with the 7th International
Conference on Rewriting, Deduction, and Programming (RDP 2013).  
During the workshop the 2nd Confluence Competition (CoCo 2013) takes
place. 

IMPORTANT DATES:
 * submission     April 15, 2013
 * notification   May   10, 2013
 * final version  June   3, 2013
 * workshop       June  28, 2013 

TOPICS:
The workshop solicits short papers/extended abstracts on the following
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

INVITED SPEAKERS:
 * Patrick Dehornoy     University of Caen
 * Jan Willem Klop      Vrije Universiteit 
     (joint invited speaker for IWC 2013 and WIR 2013)

PROGRAM COMMITTEE:
 * Guillem Godoy        Technical University of Catalonia
 * Nao Hirokawa         JAIST                             (co-chair)
 * Barbara Koenig       Universitaet Duisburg-Essen
 * Vincent van Oostrom  Utrecht University                (co-chair)
 * Michio Oyamaguchi    Nagoya University
 * Harald Zankl         University of Innsbruck
 * Hans Zantema         Eindhoven University of Technology

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.  Submission 
will be via EasyChair at

  https://www.easychair.org/account/signin.cgi?conf=iwc2013


More information about the Types-announce mailing list