Program of IWS

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
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