Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
svarm:program [2010/07/29 15:07] piskac |
svarm:program [2010/08/12 22:49] piskac |
||
---|---|---|---|
Line 14: | Line 14: | ||
| | | | | | | | ||
| 09:00 | | //Session Chair: Roderick Bloem// | | | 09:00 | | //Session Chair: Roderick Bloem// | | ||
- | | 09:00 | Ras Bodik | Next Steps in Partial-Program Synthesis | | + | | 09:00 | Ras Bodik | Next Steps in Partial-Program Synthesis {{:svarm:bodikSlides.ppt|slides}} | |
| 09:30 | Kim Larsen | Controller Synthesis from Timed Game Automata -- from Theory to Practice | | | 09:30 | Kim Larsen | Controller Synthesis from Timed Game Automata -- from Theory to Practice | | ||
^ 10:00 - 10:30 ^ **Coffee Break** ^ ^ | ^ 10:00 - 10:30 ^ **Coffee Break** ^ ^ |