IWC 2012 - 1st International Workshop on Confluence

Topics
The workshop solicits short papers/extended abstracts on the following topics:
confluence and related properties (unique normal forms, commutation, ground confluence)
critical pair criteria
decidability issues
complexity issues
system descriptions
certification
applications of confluence
Invited Speakers
Vincent van Oostrom Utrecht University
Yohsihito Toyama Tohoku University
Committees
Organising Committee
Nao Hirokawa Japan Advanced Institute of Science and Technology
Aart Middeldorp University of Innsbruck
Naoki Nishida Nagoya University
Program Committee
Takahito Aoto Tohoku University
Nao Hirokawa Japan Advanced Institute of Science and Technology (co-chair)
Aart Middeldorp University of Innsbruck (co-chair)
Femke van Raamsdonk VU University Amsterdam
Aaron Stump The University of Iowa
Rakesh M. Verma University of Houston