VSL 2014: VIENNA SUMMER OF LOGIC 2014
WIR Program Committee

WIR is the Workshop on Infinitary Rewriting.

Detailed information on WIR14 can be found on http://www.win.tue.nl/~hzantema/wir.html.WIR PROGRAM COMMITTEE

The program committee of WIR14 is shown below.

Joerg Endrullis
Stefan Kahrs
Jakob Grue Simonsen
Hans Zantema (chair)