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 		Previous revision
haifa12 [2012/11/04 15:48]
eran.yahav 		haifa12 [2012/11/18 08:07] (current)
eran.yahav
Line 61: Line 61:
  
 ^       ^ Title       ^ Speaker ​         ^ ^       ^ Title       ^ Speaker ​         ^
-| 10:00-10:45 | Quantitative Abstraction Refinement | Pavol Cerny (invited talk) | +| 10:​00-10:​45 ​| {{:​haifa12-pvaol.ppt|Quantitative Abstraction Refinement}}| Pavol Cerny (invited talk) | 
-| 10:45-11:30 | PINCETTE project: validation of changes and upgrades in large software systems | Hana Chockler (invited talk) |+| 10:​45-11:​30 ​| {{:​haifa12-hana.ppt|PINCETTE project: validation of changes and upgrades in large software systems}} | Hana Chockler (invited talk) |
 | 11:30-11:45 | short break || | 11:30-11:45 | short break ||
 | 11:45-12:10 | Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives | Yaron Velner | | 11:45-12:10 | Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives | Yaron Velner |
 | 12:10-12:35 | Privacy for Linked Data | Silvia Ghilezan |  | 12:10-12:35 | Privacy for Linked Data | Silvia Ghilezan | 
 | 12:35-14:00 | Lunch Break || | 12:35-14:00 | Lunch Break ||
-| 14:00-14:25 | Interpolant Strength in Model Checking | Simone Rollini | +| 14:​00-14:​25 ​| {{:​haifa12-simone.pdf|Interpolant Strength in Model Checking}} | Simone Rollini | 
-| 14:25-14:50 | Assisted Verification of Invariance for Parametrized Systems | Alejandro Sánchez | +| 14:​25-14:​50 ​| {{:​haifa12-asanchez.pdf|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 ​| {{:​haifa12-maria.pdf|Interpolation for resolution and superposition}} | Maria Paola Bonacina |
 | 15:15-15:30 | short break || | 15:15-15:30 | short break ||
-| 15:30-15:55 | Reductions for Synthesis Procedures | Philippe Suter | +| 15:​30-15:​55 ​| {{:​haifa12-philippe.pdf|Reductions for Synthesis Procedures}} | Philippe Suter | 
-| 15:55-16:20 | Logico-Numerical Max-Strategy Iteration | Pavle Subotic |  +| 15:​55-16:​20 ​| {{:​haifa12-pvale.pdf|Logico-Numerical Max-Strategy Iteration}} | Pavle Subotic |  
-| 16:20-16:45 | Information flow analysis and temporal logics| Markus Rabe || +| 16:​20-16:​45 ​| {{:​haifa12-markus.pdf|Information flow analysis and temporal logics}} | Markus Rabe || 
 | 16:45-17:00 | short break || | 16:45-17:00 | short break ||
 | 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**