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

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

• Sharon Barner

  General Chair

• Daniel Kroening

  Program Chair

• Ian G. Harris

  Program Chair

• Efrat Maimon

  Webmaster

Springer Lecture Notes in Computer Science