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 | ||
|
haifa12 [2012/10/30 13:53] eran.yahav |
haifa12 [2012/10/30 19:47] eran.yahav |
||
|---|---|---|---|
| Line 47: | Line 47: | ||
| | 14:25-14:50 | Assisted Verification of Invariance for Parametrized Systems | Alejandro Sánchez | | | 14:25-14:50 | Assisted Verification of Invariance for Parametrized Systems | Alejandro Sánchez | | ||
| | 14:50-15:15 | Interpolation for resolution and superposition | Maria Paola Bonacina | | | 14:50-15:15 | Interpolation for resolution and superposition | Maria Paola Bonacina | | ||
| - | | 15:15-15:40 | Reductions for Synthesis Procedures | Philippe Suter | | + | | 15:15-15:30 | short break || |
| - | | 15:40-16:05 | Logico-Numerical Max-Strategy Iteration | Pavle Subotic | | + | | 15:30-15:55 | Reductions for Synthesis Procedures | Philippe Suter | |
| - | | 16:05-16:20 | short break || | + | | 15:55-16:20 | Logico-Numerical Max-Strategy Iteration | Pavle Subotic | |
| - | | 16:20-17:30 | Management Committee Meeting || | + | | 16:20-16:45 | TBD | Markus Rabe || |
| + | | 16:45-17:00 | short break || | ||
| + | | 17:00-18:00 | Management Committee Meeting || | ||
| ===== Invited Talks (under construction) ===== | ===== Invited Talks (under construction) ===== | ||
| Line 274: | Line 276: | ||
| - | + | ---- | |
| - | + | ||
| **Logico-Numerical Max-Strategy Iteration** | **Logico-Numerical Max-Strategy Iteration** | ||
| //Pavle Subotic// | //Pavle Subotic// | ||
| Line 290: | Line 290: | ||
| (Joint work with Peter Schrammel, INRIA Grenoble) | (Joint work with Peter Schrammel, INRIA Grenoble) | ||
| - | |||