Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
svarm:program [2010/07/28 12:04] piskac |
svarm:program [2010/07/28 12:06] piskac |
||
|---|---|---|---|
| Line 55: | Line 55: | ||
| | 11:30 | Stefan Ratschan | Verification of Mixed Discrete-Continuous Systems | | | 11:30 | Stefan Ratschan | Verification of Mixed Discrete-Continuous Systems | | ||
| | 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 | | + | | 12:10 | Hossein Hojjat, Viktor Kuncak, Ruzica Piskac and Philippe Suter | Vepar: A Framework for Automated Reasoning {{:svarm:hojjatSlides.pdf|slides}} | |
| ^ 12:30 - 14:00 ^ **LUNCH** ^ ^ | ^ 12:30 - 14:00 ^ **LUNCH** ^ ^ | ||
| | 14:00 | | //Session Chair: Maria Paola Bonacina// | | | 14:00 | | //Session Chair: Maria Paola Bonacina// | | ||
| Line 64: | Line 64: | ||
| | 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 | | ||
| - | | 15:40 | Predrag Janicic and Filip Maric | Uniform reduction to SMT | | + | | 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** ^ ^ | ||