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/27 18:31] piskac |
svarm:program [2010/07/28 12:05] piskac |
||
---|---|---|---|
Line 33: | Line 33: | ||
| | | | | | | | ||
| | | //Session Chair: Enric RodrÃguez Carbonell// | | | | | //Session Chair: Enric RodrÃguez Carbonell// | | ||
- | | 17:00 | Armin Biere and Florian Lonsing | Extending the BTOR Language | | + | | 17:00 | Armin Biere and Florian Lonsing | Extending the BTOR Language {{:svarm:biereSlides.pdf|slides}} | |
| | | | | | | | ||
| 17:30 | Management Committee | [[mcagenda|Management Committee Meeting of Action IC0901]] | | | 17:30 | Management Committee | [[mcagenda|Management Committee Meeting of Action IC0901]] | | ||
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// | |