VSL 2014: VIENNA SUMMER OF LOGIC 2014
WIR Home Page

Workshop on Infinitary Rewriting

Overview

WIR is the Workshop on Infinitary Rewriting.

All information on WIR14 (aim, scope, call for papers) is on http://www.win.tue.nl/~hzantema/wir.html.

Call for Papers

See  http://www.win.tue.nl/~hzantema/wir.html.

Organization

Program Committee