IWC 2014 WORKSHOP PROCEEDINGS

Editors: Takahito Aoto and Delia Kesner

Authors	Title	Paper	Talk
Beniamino Accattoli	On the Formalization of Lambda-Calculus Confluence and Residuals		Jul 13 09:25
Samuel Mimram	An Introduction to Higher-Dimensional Rewriting Theory
Yves Guiraud, Eric Hoffbeck and Philippe Malbos	Confluence of linear rewriting and homology of algebras		Jul 13 15:30
Lars Hellström	Critical Pairs in Network Rewriting		Jul 13 12:00
Nao Hirokawa, Aart Middeldorp and Christian Sternagel	Normalization Equivalence of Rewrite Systems		Jul 13 16:30
Julian Nagele and René Thiemann	Certification of Confluence Proofs using CeTA		Jul 13 10:45
Naoki Nishida, Makishi Yanagisawa and Karl Gmeiner	On Proving Confluence of Conditional Term Rewriting Systems via the Computationally Equivalent Transformation		Jul 13 12:30
Michio Oyamaguchi and Nao Hirokawa	Confluence and Critical-Pair-Closing Systems		Jul 13 11:15
Masahiko Sakai, Michio Oyamaguchi and Mizuhito Ogawa	Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract)		Jul 13 17:00