HVC 2010
Haifa Verification Conference 2010
October 5-7, 2010
Organized by IBM R&D Labs in Israel
Venue & Travel |
---|
The tutorials day on October 4 will be held at the Caesarea Rothschild Institute (CRI), Room 570, Education and Sciences Building at the University of Haifa.
The main conference on October 5-7 will be held at the IBM Haifa facility, located at the edge of the Haifa University campus, to the left of the Eshkol Tower on the campus map.