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:program1 [2010/07/12 11:23] vkuncak |
svarm:program1 [2010/07/12 11:50] vkuncak |
||
|---|---|---|---|
| Line 16: | Line 16: | ||
| ^ 10:00 - 10:30 ^ **Coffee Break** ^ ^ | ^ 10:00 - 10:30 ^ **Coffee Break** ^ ^ | ||
| | | | | | | | | ||
| - | | 10:30 | //Session Chair: Cesar Sanchez// | | | + | | 10:30 | | //Session Chair: Cesar Sanchez// | |
| | 10:30 | Alexander Rabinovich | Extensions of the Church synthesis Problem | | | 10:30 | Alexander Rabinovich | Extensions of the Church synthesis Problem | | ||
| | 11:00 | Bernd Finkbeiner | Coordination Logic | | | 11:00 | Bernd Finkbeiner | Coordination Logic | | ||
| Line 33: | Line 33: | ||
| | 17:00 | Armin Biere and Florian Lonsing | Extending the BTOR Language | | | 17:00 | Armin Biere and Florian Lonsing | Extending the BTOR Language | | ||
| | | | | | | | | ||
| - | | 17:30 | | //Session Chair: Viktor Kuncak// | | + | | 17:30 | Management Committee | [[mcagenda|Management Committee Meeting of Action IC0901]] | |
| - | | 17:30 | Action IC0901 | Management Committee Meeting | | + | |
| | | | | | | | | ||
| | 20:00 | | [[http://www.davidbann.com/|Organized Dinner in David Bann vegetarian restaurant]] | | | 20:00 | | [[http://www.davidbann.com/|Organized Dinner in David Bann vegetarian restaurant]] | | ||
| Line 45: | Line 44: | ||
| | 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** ^ ^ | ||
| + | | 10:20 | | Session Chair: Tayssir Touili | | ||
| | 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 | | ||