|
About
Conferences
Colloquium
Workshops
Practical
|
WRS 2007 Programme
Monday, June 25, 2007
Monday, June 25
| 8:15 - 9:00 |
|
Arrival of participants and registration |
WRS Session 1 (Room 35-3-28)
| 8:50 - 9:15 |
|
René Thiemann, Aart Middeldorp. Innermost Termination of Rewrite Systems by Labeling. |
| 9:15 - 9:40 |
|
Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe. Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. |
| 9:40 - 10:05 |
|
Felix Schernhammer, Bernhard Gramlich. Termination of Lazy Rewriting Revisited. |
| 10:05 - 10:30 |
|
Masahiko Sakai, Yi Wang. Undecidable Properties on Length-Two String Rewriting Systems. |
| 10:30 - 11:00 |
|
Coffee Break |
WRS Session 2 (Room 35-3-28)
| 11:00 - 11:40 |
|
Pierre-Etienne Moreau, Antoine Reilles. Rules and Strategies in Java. (Invited Talk) |
| 11:40 - 12:05 |
|
Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras. Regular Strategies as Proof Tactics for CIRC. |
| 12:05 - 12:30 |
|
Malgorzata Biernacka, Dariusz Biernacki. Formalizing Constructions of Abstract Machines for Functional Languages
in Coq. |
WRS Session 3 (Room 35-3-28)
| 14:00 - 14:40 |
|
Rachid Echahed. On Term-Graph Rewrite Strategies. (Invited Talk) |
| 14:40 - 15:05 |
|
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea,Claude Kirchner. Towards a sharing strategy for the graph rewriting calculus. |
| 15:05 - 15:30 |
|
Francois-Régis Sinot. Complete Laziness. |
| 15:30 - 16:00 |
|
Coffee Break |
WRS Session 4 (Room 35-3-28)
| 16:00 - 16:25 |
|
Victor Winter. Stack-based Strategic Control. |
| 16:25 - 16:50 |
|
Elena Machkasova. Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. |
| 16:50 - 17:15 |
|
Sandra Alves, Mário Florido, Ian Mackie, Francois-Régis Sinot. Minimality in a Linear Calculus with Iteration. |
| 17:15 - 17:40 |
|
José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaca. Token-passing Nets for Functional Languages. |
webmaster at rdp07 dot org
|