Skip to main content


HVC 2010
Haifa Verification Conference 2010

October 5-7, 2010
Organized by IBM R&D Labs in Israel

image: IBM and Haifa


Tutorials - October 4, 2010

The tutorials are hosted by the Caesarea Rothschild Institute at the University of Haifa (Room 570 Education and Science Building).

Understanding Transactional Memory,
João Lourenço, New University of Lisbon

Challenges and Solutions in uCode Verification,
Eli Singerman, Intel

Testing Concurrent Software,
Shmuel Ur

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science