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
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 =====