Workshop on Infinitary Rewriting 2013

Friday June 28, Eindhoven, The Netherlands

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

Program Committee

Invited Speaker

  • Jan Willem Klop
    (joint invited speaker with the International Workshop on Confluence)

Important Dates

  • submission: April 29, 2013
  • notification: May 10, 2013
  • final version: June 3, 2013
  • workshop: June 28, 2013

Program

9:00-09:30:
  Ugo Dal Lago
  Infinitary Lambda Calculi from a Linear Viewpoint

9:30-10:00:
  Stefan Kahrs
  Closure Operators, Equivalences and Models - a Reader's Digest

Coffee break

10:30-11:00: 
  Stefan Kahrs
  Orthogonality and Weak Convergence in Infintary Rewriting

11:00-11:30:
  Joerg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky and Alexandra Silva
  A Coinductive Treatment of Infinitary Term Rewriting

11:30-12:00:
  Jeroen Ketema
  Infinitary Standardisation - Computed

Lunch

14:00-14:45: 
  Jan Willem Klop (probably discussion until 15:00)

Coffee break

15:30-16:00
  Carlos Lombardi, Alejandro RĂ­os and Roel de Vrijer
  Proof Terms for Infinitary Rewriting

16:00-16:30 
  challenges, discussion