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 19:47] eran.yahav |
haifa12 [2012/11/04 15:48] 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 50: | Line 73: | ||
| | 15:30-15:55 | Reductions for Synthesis Procedures | Philippe Suter | | | 15:30-15:55 | Reductions for Synthesis Procedures | Philippe Suter | | ||
| | 15:55-16:20 | Logico-Numerical Max-Strategy Iteration | Pavle Subotic | | | 15:55-16:20 | Logico-Numerical Max-Strategy Iteration | Pavle Subotic | | ||
| - | | 16:20-16:45 | TBD | Markus Rabe || | + | | 16:20-16:45 | 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 || | ||
| Line 73: | Line 96: | ||
| Reductions for Synthesis Procedures / Philippe Suter | Reductions for Synthesis Procedures / Philippe Suter | ||
| + | |||
| + | Information Flow Analysis / Markus Rabe | ||
| ===== Full Abstracts ===== | ===== Full Abstracts ===== | ||
| Line 290: | Line 315: | ||
| (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*. | ||