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/11/04 13:15] eran.yahav |
haifa12 [2012/11/04 22:55] vkuncak |
||
|---|---|---|---|
| Line 77: | Line 77: | ||
| | 17:00-18:00 | Management Committee Meeting || | | 17:00-18:00 | Management Committee Meeting || | ||
| - | ===== Invited Talks (under construction) ===== | + | ===== Invited Talks ===== |
| - | Quantitative Abstraction Refinement / Pavol Cerny | + | **Pavol Cerny**: Quantitative Abstraction Refinement by |
| - | PINCETTE project: validation of changes and upgrades in large software systems - unique challenges and suggested solutions / Hana Chockler | + | **Hana Chockler**: PINCETTE project: validation of changes and upgrades in large software systems - unique challenges and suggested solutions |
| - | ===== Talks (under construction) ===== | + | ===== Talk Abstracts ===== |
| - | + | ||
| - | Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives / Yaron Velner | + | |
| - | + | ||
| - | Privacy for Linked Data / Silvia Ghilezan | + | |
| - | + | ||
| - | Interpolant Strength in Model Checking / Simone Rollini | + | |
| - | + | ||
| - | Assisted Verification of Invariance for Parametrized Systems / Alejandro Sánchez | + | |
| - | + | ||
| - | Interpolation for resolution and superposition / Maria Paola Bonacina | + | |
| - | + | ||
| - | Reductions for Synthesis Procedures / Philippe Suter | + | |
| - | + | ||
| - | ===== Full Abstracts ===== | + | |
| **Quantitative Abstraction Refinement** | **Quantitative Abstraction Refinement** | ||