RTA 2012 - 23rd International Conference on Rewriting Techniques and Applications

Pogram: IFIP WG 1.6 on Term Rewriting

Monday May 28, Room on the 1st Foor

09:00-10:00 Session 1

Ashish Tiwari. Rewriting, Flux-Balance Analysis, and Growing Microbial Organisms.
Hélène Kirchner. Rewriting and Visualization for Huge Dynamic Graphs.
10:00-10:30 Coffee break

10:30-12:00 Session 2

Nao Hirokawa. A Rewriting Solution to the Parsing Problem.
Bernhard Gramlich. On Modularity of Termination Properties of Rewriting under Strategies.
Aart Middeldorp (chair). Discussion on Rewriting-Related Conferences.
12:00-13:30 Lunch

13:30-15:30 Session 3

Frédéric Blanqui. Computability Closure: the Swiss knife of Higher-Order Termination.
Kristoffer Rose. Practical Rewriting with Higher Order Abstract Syntax.
Hans Zantema (chair). Discussion on Open Problems in Rewriting.
Vincent van Oostrom (chair). Discussion on Funding for Rewriting-Related Projects.
15:30-16:00 Coffee break

16:00-16:30 Session 4

Aart Middeldorp and Vincent van Oostrom (chairs). Discussion on ISR.
    Salvador Lucas. Report on ISR 2012 in Valencia.
    Claude Kirchner. Proposal for ISR 2014 in Valparaiso.
    Aart Middeldorp. Proposal for ISR 2014 in Leipzig.

16:30-17:00 Business Meeting (for members of the WG only)