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:
- infinitary term rewriting
- infinitary lambda calculus
- infinitary equational reasoning
- graph rewriting
- applications of rewriting to infinite objects like streams
- well-definedness and productivity of definitions of infinite objects like streams
- connection of infinitary rewriting to other paradigms
- functional programming on infinite data
The
First Workshop on Infinitary Rewriting was held was in 2013 at RDP in Eindhoven.
Program committee:
- Joerg Endrullis
- Stefan Kahrs
- Jakob Grue Simonsen
- Hans Zantema (chair)
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 h.zantema@tue.nl, 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 h.zantema@tue.nl.