Friday, July 9th
Friday's program is also available with abstracts and side by side with other events.
09:00‑10:00 Invited talk
Location: IF 1.16
| 09:00 | Dan Dougherty (Worcester Polytechnic Institute, USA) Game Strategies and Rule-Based Systems |
10:30‑12:30 Regular talks
Location: IF 1.16
| 10:30 | Alvaro Garcia, Pablo Nogueira and Emilio Jesus Gallego Arias The Beta Cube |
| 11:00 | Alex Gerdes, Bastiaan Heeren and Johan Jeuring Properties of Exercise Strategies |
| 11:30 | Bernhard Gramlich and Felix Schernhammer Termination of Rewriting with - and Automated Synthesis of - Forbidden Patterns |
| 12:00 | Olivier Namet and Maribel Fernández A strategy language for graph rewriting systems |
14:00‑15:00 Invited talk
Location: IF 1.16
| 14:00 | Assia Mahboubi (INRIA, France) Organizing and using algebraic structures in large developments of formalized mathematics |
15:30‑16:00 Regular talks (cont'd)
Location: IF 1.16
| 15:30 | René Thiemann, Jürgen Giesl, Peter Schneider-Kamp and Christian Sternagel Loops under Strategies ... Continued |
16:00‑17:00 Works in progress
Location: IF 1.16
| 16:00 | Pascal Fradet, Jean-Louis Giavitto and Marnes Hoff Refinement of Chemical Programs using Strategies |
| 16:20 | Ian Mackie Closed cut-elimination in linear logic |
| 16:40 | Detlef PLUMP Graph Programs |