Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
svarm:program1 [2010/07/12 11:53] vkuncak |
svarm:program1 [2010/07/12 16:33] vkuncak |
||
---|---|---|---|
Line 42: | Line 42: | ||
|Forum G.07 in IF building]] | |Forum G.07 in IF building]] | ||
- | | 09:00 | | //Session Chair: Viktor Kuncak// | | + | | 09:00 | | //Session Chair: Tobias Nipkow// | |
| 09:00 | Bernhard Beckert | Formal Verification of System Software | | | 09:00 | Bernhard Beckert | Formal Verification of System Software | | ||
^ 10:00 - 10:20 ^ **Coffee Break** ^ ^ | ^ 10:00 - 10:20 ^ **Coffee Break** ^ ^ | ||
Line 50: | Line 50: | ||
| 11:00 | Marius Bozga, Radu Iosif, Filip Konecny and Tomas Vojnar | FLATA: Towards a Toolset for manipulation and analysis of counter automata | | | 11:00 | Marius Bozga, Radu Iosif, Filip Konecny and Tomas Vojnar | FLATA: Towards a Toolset for manipulation and analysis of counter automata | | ||
^ 11:20 ^ **Mini Break of 10 minutes** ^ ^ | ^ 11:20 ^ **Mini Break of 10 minutes** ^ ^ | ||
+ | | | | //Session Chair: Predrag Janicic// | | ||
| 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 | | | 11:50 | Alejandro Sanchez and Cesar Sanchez | Towards Temporal Verification of Concurrent Data-structures: In Need for Sophisticated Decision Procedures | | ||
Line 59: | Line 60: | ||
| 14:40 | Timothy Nelson, Dougherty Daniel, Kathi Fisler and Shriram Krishnamurthi | On the Finite Model Property in Order-Sorted Logic | | | 14:40 | Timothy Nelson, Dougherty Daniel, Kathi Fisler and Shriram Krishnamurthi | On the Finite Model Property in Order-Sorted Logic | | ||
^ 15:00 - 15:20 ^ **Coffee Break** ^ ^ | ^ 15:00 - 15:20 ^ **Coffee Break** ^ ^ | ||
+ | | 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 | |