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)