Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
haifa12 [2012/11/04 15:48]
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  +
- +
-Information Flow Analysis / Markus Rabe +
- +
-===== Full Abstracts =====+
  
 **Quantitative Abstraction Refinement** **Quantitative Abstraction Refinement**