Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
svarm:program [2010/07/29 13:07] – piskacsvarm:program [2010/09/05 22:02] (current) – 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** ^ ^
Line 45: Line 45:
  
 | 09:00 |    | //Session Chair: Tobias Nipkow// | | 09:00 |    | //Session Chair: Tobias Nipkow// |
-| 09:00 | Bernhard Beckert | Formal Verification of System Software |+| 09:00 | Bernhard Beckert | Formal Verification of System Software   {{:svarm:beckertSlides.pdf|slides}} |
 ^ 10:00 - 10:20 ^ **Coffee Break** ^ ^ ^ 10:00 - 10:20 ^ **Coffee Break** ^ ^
 | 10:20 |    | //Session Chair: Tayssir Touili// |  | 10:20 |    | //Session Chair: Tayssir Touili// | 
Line 63: Line 63:
 ^ 15:00 - 15:20 ^ **Coffee Break** ^ ^ ^ 15:00 - 15:20 ^ **Coffee Break** ^ ^
 | 15:20 |    | //Session Chair: Viktor Kuncak// | | 15:20 |    | //Session Chair: Viktor Kuncak// |
-| 15:20 | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic and Jovanka Pantovic | Types for dynamic web data with RBAC  |+| 15:20 | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic and Jovanka Pantovic | Types for dynamic web data with RBAC   {{:svarm:jaksicSlides.pdf|slides}} |
 | 15:40 | Predrag Janicic and Filip Maric | Uniform reduction to SMT   {{:svarm:janicicSlides.pdf|slides}} | | 15:40 | Predrag Janicic and Filip Maric | Uniform reduction to SMT   {{:svarm:janicicSlides.pdf|slides}} |
 | 16:00 | Maria Paola Bonacina and Moa Johansson | Towards an Interpolating First-Order Prover  | | 16:00 | Maria Paola Bonacina and Moa Johansson | Towards an Interpolating First-Order Prover  |
 ^ 16:20 ^ **Closing Discussions** ^ ^ ^ 16:20 ^ **Closing Discussions** ^ ^