| RULE 2006 | 7th International Workshop on Rule-Based Programming Seattle, August 11, 2006 |
Program
All sessions will take place in Suite 2628 unless otherwise indicated.
Friday, August 11th
Friday's program is also available with abstracts or side by side with other meetings.
09:00‑10:00 Joint RULE/WRS Invited Talk
| 09:00 | Claude Kirchner
(INRIA & LORIA, Nancy, France) Rewriting (your) Calculus [pdf] |
10:00‑10:30 Session 1
| 10:00 | Francisco Lopez-Fraguas and Jose Miguel Cleva Semantic determinism and functional logic program properties |
10:30‑11:00 Break
11:00‑12:30 Session 2
12:30‑14:00 Lunch break
14:00‑15:00 Joint RULE/WRS Invited Talk
| 14:00 | Dick Kieburtz
(OGI School of Science and Engineering, OHSU, Portland, Oregon) Programmed Strategies for Program Verification [ppt] |
15:00‑15:30 Session 3
| 15:00 | Florent Kirchner and Francois-Regis Sinot Rule-Based Operational Semantics for an Imperative Language |
15:30‑16:00 Break
16:00‑17:00 Session 4
| 16:00 | Peter Olveczky
and Jose Meseguer Recent Advances in Real-Time Maude |
| 16:30 | Fernando Rosa-Velardo
Coding Mobile Synchronizing Petri Nets into Rewriting Logic |
17:00‑17:30 Session 5: Discussion: Rule-based programming -- what's next?
