| *Monday* | *Stratego Development* ||
| 9:00 | Eelco Visser | Stratego/XT in 2003 |
| | | Program Overview |
| | | StrategoCompiler |
| | | Announcement: C transformation system |
| 10:00 | Martin Bravenboer | StrategoShell |
| 10:30 | Break ||
| 11:00 | Martin Bravenboer | StrategoRegular Tools.XmlTools |
| | | StrategoBox Tools.ParseUnit |
| 11:45 | Merijn de Jonge | Generic pretty-printing in Stratego/XT |
| 12:05 | Rob Vermaas | xDoc: an [[Extendible Documentation Generator]] |
| 12:30 | Lunch ||
| 13:30 | Jan Heering | Higher-order abstract syntax and higher-order rewriting |
| 14:30 | Ganesh Sitampalam | Higher-order matching in MAG |
| 15:00 | Break ||
| free |||
| 19:00 | Dinner in Casa di David ||
| *Tuesday* | *CodeBoost / Transforming Imperative Programs* ||
| 9:00 | Ganesh Sitampalam | Regular path queries |
| 10:00 | Karina Olmos | Data-flow optimizations |
| 10:30 | Break ||
| 11:00 | Magne Haveraaen | Philosophy behind CodeBoost |
| | | CodeBoost Agenda |
| 12:00 | Karl Trygve Kalleberg | Extending CodeBoost to new languages |
| 12:30 | Lunch ||
| 14:00 | Karl Trygve Kalleberg | Abstract specification of transformations |
| 14:30 | Robert Anisko | The Epita C++ toolset |
| | | Stratego/XT at Epita |
| 15:00 | Otto Skrove Bagge | Infrastructure for C transformation systems |
| 15:30 | Break ||
| 16:00 | Forum: architecture of a joint C/C++ transformation toolset ||
| 19:00 | Dinner in Restaurant Ajanta ||
| *Wednesday* | *Applications and Deployment* ||
| 9:00 | Arthur van Dam | What are dynamic rules anyway? Applications and new ideas. |
| 9:45 | Eelco Visser | Partial Evaluation |
| 10:30 | Break ||
| 11:00 | Dick Kieburtz | A theorem prover for Haskell |
| 11:45 | Eelco Visser | Variation points in programming with concrete syntax |
| 12:30 | Lunch ||
| 14:00 | Martin Bravenboer | XTC Shell |
| 14:30 | Niels Janssen | Contracts in XTC |
| 15:00 | Eelco Dolstra | Release Management for Stratego/XT with Nix |
| 15:30 | Break ||
| 16:00 | Forum: Plans for the future ||
---------+++ Dinner Monday
Casa di David
Oudegracht 88 a/d werf
3511 AV Utrecht
030 2368436
utrecht@casadidavid.com
http://www.casadidavid.com/
---------+++ Dinner Tuesday
Indiaas Restaurant Ajanta
Oudegracht 207
Utrecht
030 231 80 63
http://www.ajanta.nl/inutr.html