[TYPES/announce] Call for Papers :: WIR 2013 :: Workshop on Infinitary Rewriting

[Joerg Endrullis]

----------------------------------------------------------------------
                1st Workshop on Infinitary Rewriting

                     Affiliated with RTA 2013
                June 28, Eindhoven, The Netherlands
                http://infinity.few.vu.nl/wir.html
----------------------------------------------------------------------

TOPICS

The Workshop on Infinitary Rewriting is venue for presentation and discussion 
of all topics around infinitary rewriting. We particularly welcome contributions 
on the following topics:

    * 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
    * connection of infinitary rewriting to other paradigms
    * functional programming on infinite data

SUBMISSIONS

Submissions are short papers/extended abstract which should not exceed
5 pages. There will be no formal reviewing.

Papers should be submitted electronically via the submission page:

    https://www.easychair.org/conferences/?conf=wir2013

Final versions should be created using LaTeX and the style file
easychair.cls (http://www.easychair.org/coolnews.cgi).

IMPORTANT DATES

Paper submission:    April 15, 2013
Notification:        May 10, 2013
Final version:       June 3, 2013
Workshop date:       June 28, 2013

INVITED SPEAKER

The keynote will be given by Jan Willem Klop (joint invited speaker 
with the International Workshop on Confluence).

PROGRAM COMMITTEE

Patrick Bahr
Jörg Endrullis (chair)
Hans Zantema

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130403/39f52670/attachment.html>