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/31 07:19] 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 73: | Line 96: | ||
Reductions for Synthesis Procedures / Philippe Suter | Reductions for Synthesis Procedures / Philippe Suter | ||
+ | |||
+ | Information Flow Analysis / Markus Rabe | ||
===== Full Abstracts ===== | ===== Full Abstracts ===== |