IWC 2012

1st International Workshop on Confluence 2012

29 May 2012, Nagoya, Japan

Invited Speakers

Vincent van Oostrom Utrecht University   Decreasing Proof Orders – Interpreting Conversions in Involutive Monoids
Yoshihito Toyama Tohoku University   Type Introduction for Confluence Proofs