Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
haifa12 [2012/10/30 13:53] – eran.yahavhaifa12 [2012/11/18 08:07] (current) – eran.yahav
Line 27: Line 27:
 Join us for a students' evening out the night before the conference at the historic Camel Restaurant and Cafe on one of Haifa's most picturesque beaches. We'll enjoy an evening of beer and refreshments as we spend time at the Camel, one of Haifa's most unique eateries, located on Dado Beach at the southern tip of Haifa. Join us for a students' evening out the night before the conference at the historic Camel Restaurant and Cafe on one of Haifa's most picturesque beaches. We'll enjoy an evening of beer and refreshments as we spend time at the Camel, one of Haifa's most unique eateries, located on Dado Beach at the southern tip of Haifa.
 see http://www.research.ibm.com/haifa/conferences/hvc2012/social.shtml see http://www.research.ibm.com/haifa/conferences/hvc2012/social.shtml
 +
 +
 +==== Suggested Dinner Locations ====
 +
 +seafood: 
 +http://www.rol.co.il/sites/jako-maachali-yam-haifa1/
 +
 +meat: 
 +http://www.sinta-bar.co.il/site/english.html
 +http://meat.rest-e.co.il/
 +
 +fancy:
 +http://www.tripadvisor.com/Restaurant_Review-g293982-d1595889-Reviews-Hanamal_24-Haifa_Haifa_District.html
 +
 +vegeterian:
 +http://www.tripadvisor.com/Restaurant_Review-g293982-d2431142-Reviews-Cafe_Louise-Haifa_Haifa_District.html
 +
 +middle-eastern:
 +http://www.tripadvisor.com/Restaurant_Review-g293982-d1020765-Reviews-Fatoush-Haifa_Haifa_District.html
 +
 +local beer: 
 +http://www.ratebeer.com/p/libira-haifa/19781/
 +
  
 ===== Registration ===== ===== Registration =====
Line 38: 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: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 | {{:haifa12-philippe.pdf|Reductions for Synthesis Procedures}} | Philippe Suter | 
-| 16:05-16:20 | short break || +| 15:55-16:20 | {{:haifa12-pvale.pdf|Logico-Numerical Max-Strategy Iteration}} | Pavle Subotic |  
-| 16:20-17:30 | Management Committee Meeting || +| 16:20-16:45 | {{:haifa12-markus.pdf|Information flow analysis and temporal logics}} | Markus Rabe ||  
- +| 16:45-17:00 | short break || 
-===== Invited Talks (under construction) ===== +| 17:00-18:00 | Management Committee Meeting ||
- +
-Quantitative Abstraction Refinement / Pavol Cerny +
- +
-PINCETTE project: validation of changes and upgrades in large software systems - unique challenges and suggested solutions / Hana Chockler +
- +
-===== Talks (under construction) ===== +
- +
-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+===== Invited Talks  =====
  
-Interpolation for resolution and superposition / Maria Paola Bonacina+**Pavol Cerny**: Quantitative Abstraction Refinement by 
  
-Reductions for Synthesis Procedures / Philippe Suter +**Hana Chockler**: PINCETTE project: validation of changes and upgrades in large software systems - unique challenges and suggested solutions 
  
-===== Full Abstracts =====+===== Talk Abstracts =====
  
 **Quantitative Abstraction Refinement** **Quantitative Abstraction Refinement**
Line 274: Line 285:
  
  
- +----
- +
 **Logico-Numerical Max-Strategy Iteration** **Logico-Numerical Max-Strategy Iteration**
 //Pavle Subotic// //Pavle Subotic//
Line 291: Line 300:
 (Joint work with Peter Schrammel, INRIA Grenoble) (Joint work with Peter Schrammel, INRIA Grenoble)
  
 +----
 +**Information flow analysis and temporal logics**
 +//Markus Rabe//
 +
 +Most analysis methods for information flow properties, such as noninterference, do not consider temporal restrictions. In practice, however, such properties rarely occur statically, but have to consider constraints such as when and under which conditions a variable has to be kept secret. I will present recent results on how to integrate information flow properties into temporal logics by introducing a new modal operator. 
 +Finally, I will sketch upcoming work on integrating information flow properties in game logics such as ATL*.