Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
svarm:program [2010/07/29 12:10] vkuncak |
svarm:program [2010/09/06 00: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 30: | Line 30: | ||
| 15:30 - 16:15 | | [[http://clc.cs.uiowa.edu/EMSQMS/|Panel joint with Evaluation Methods for Solvers and | | 15:30 - 16:15 | | [[http://clc.cs.uiowa.edu/EMSQMS/|Panel joint with Evaluation Methods for Solvers and | ||
Quality Metrics for Solutions]] | | Quality Metrics for Solutions]] | | ||
- | | 16:15 - | | Discussion after the panel | | + | | 16:15 - | | Discussion on Quality Metrics for Solutions | |
| | | | | | | | ||
| | | //Session Chair: Enric RodrÃguez Carbonell// | | | | | //Session Chair: Enric RodrÃguez Carbonell// | | ||
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 53: | Line 53: | ||
^ 11:20 ^ **Mini Break of 10 minutes** ^ ^ | ^ 11:20 ^ **Mini Break of 10 minutes** ^ ^ | ||
| | | //Session Chair: Predrag Janicic// | | | | | //Session Chair: Predrag Janicic// | | ||
- | | 11:30 | Stefan Ratschan | Verification of Mixed Discrete-Continuous Systems | | + | | 11:30 | Stefan Ratschan | Verification of Mixed Discrete-Continuous Systems {{:svarm:ratschanSlides.pdf|slides}} | |
| 11:50 | Alejandro Sanchez and Cesar Sanchez | Towards Temporal Verification of Concurrent Data-structures: In Need for Sophisticated Decision Procedures {{:svarm:sanchezSlides.pdf|slides}} | | | 11:50 | Alejandro Sanchez and Cesar Sanchez | Towards Temporal Verification of Concurrent Data-structures: In Need for Sophisticated Decision Procedures {{:svarm:sanchezSlides.pdf|slides}} | | ||
| 12:10 | Hossein Hojjat, Viktor Kuncak, Ruzica Piskac and Philippe Suter | Vepar: A Framework for Automated Reasoning {{:svarm:hojjatSlides.pdf|slides}} | | | 12:10 | Hossein Hojjat, Viktor Kuncak, Ruzica Piskac and Philippe Suter | Vepar: A Framework for Automated Reasoning {{:svarm:hojjatSlides.pdf|slides}} | | ||
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** ^ ^ | ||