Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
svarm:program [2010/07/28 12:06] piskac |
svarm:program [2010/07/29 12:10] piskac |
||
---|---|---|---|
Line 50: | Line 50: | ||
| 10:20 | Peter Schneider-Kamp | Towards Complexity and Termination Analysis of Transition Systems | | | 10:20 | Peter Schneider-Kamp | Towards Complexity and Termination Analysis of Transition Systems | | ||
| 10:40 | Peter Habermehl, Lukas Holik, Adam Rogalewicz, Jiri Simacek and Tomas Vojnar | A Proposal of a New Automata-based Representation of Heaps | | | 10:40 | Peter Habermehl, Lukas Holik, Adam Rogalewicz, Jiri Simacek and Tomas Vojnar | A Proposal of a New Automata-based Representation of Heaps | | ||
- | | 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 {{:svarm:konecnySlides.pdf|slides}} | |
^ 11:20 ^ **Mini Break of 10 minutes** ^ ^ | ^ 11:20 ^ **Mini Break of 10 minutes** ^ ^ | ||
| | | //Session Chair: Predrag Janicic// | | | | | //Session Chair: Predrag Janicic// | |