|
About
Conferences
Colloquium
Workshops
Practical
|
RULE 2007 Programme
Friday, June 29
| 8:15 - 9:00 |
|
Arrival of participants and registration |
RULE Session 1 (Room 35-3-28)
| 9:15 - 10:00 |
|
Tim Furche. Web Rules! |
| 10:00 - 10:30 |
|
Gurvan Le Guernic and Julien Perret. FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS. |
| 10:30 - 11:00 |
|
Coffee Break |
RULE Session 2 (Room 35-3-28)
| 11:00 - 11:30 |
|
Juan Antonio Guerrero and Ginés Moreno. Fuzzy Folding/Unfolding and Related Transformation Rules. |
| 11:30 - 12:00 |
|
Malte Appeltauer and Günter Kniesel. Towards Generic Pointcut-Driven Program Transformation Rules. |
| 12:00 - 12:30 |
|
Emilie Balland, Pierre-Etienne Moreau and Antoine Reilles. Optimising Strategies in a Rule Based Framework. |
RULE Session 3 (Room 35-3-28)
| 14:00 - 14:30 |
|
Delia Kesner. Parametric resources for lambda-calculi. Invited talk. |
| 14:30 - 15:00 |
|
Ozan Kahramanogullari. Maude as a Platform for Designing and Implementing Deep Inference Systems. |
| 15:00 - 15:30 |
|
Oana Andrei and Hélène Kirchner. Towards a Rewriting Calculus for Multigraphs with Ports. |
| 15:30 - 16:00 |
|
Coffee Break |
RULE Session 4 (Room 35-3-28)
| 16:00 - 16:30 |
|
Demis Ballis, Andrea Baruzzo and Marco Comini. A Rule-based Method to Match Software Patterns against UML Models. |
| 16:30 - 17:00 |
|
José Bacelar Almeida, Jorge Sousa Pinto and Miguel Vilaça. A Tool for Programming with Interaction Nets. |
| 17:00 - 17:30 |
|
Discussion. |
webmaster at rdp07 dot org
|