Second Workshop on Infinitary Rewriting
Vienna, July 12, 2014

Part of FLoC, Vienna, July 2014; the hosting conference is RTA/TLCA.

The Workshop on Infinitary Rewriting is a venue for presentation and discussion of all topics around infinitary rewriting, in particular: The First Workshop on Infinitary Rewriting was held was in 2013 at RDP in Eindhoven.

Program committee:

Call for papers:

Extended abstracts of at most 5 pages can be submitted. This may include both original work and tutorials on any of the above mentioned topics; also unfinished work is welcome. Submission is done by email to, no later than April 30, 2014.

There will be no formal proceedings and no invited speakers.

Important dates:

Submission deadline: April 30, 2014 (extended)

Notification: May 16, 2014

Final version: May 28, 2014

Workshop: July 12, 2014

Explanation of this picture

Contact information:
Hans Zantema, Eindhoven University of Technology, PO Box 513, 5600MB Eindhoven, The Netherlands, email