| Keynote Speakers |
 | Sharad Malik |
| Thomas Wolf |
| Scott Stoller |
| Invited Speakers |
| Dan Quinlan |
| Scott D. Stoller |
| Amir Pnueli |
| Cindy Eisner |
| Yoav Katz |
| Yoav Hollander |
| Michael Rosenfield |
| Yael Dubinsky |
| Orit Hazzan |
| Bernd Finkbeiner |
| Thomas Ball |
|
 |
IBM Verification Conference 2005
IBM Haifa Labs
|
Parallel and Distributed Systems: Testing and Debugging (PADTAD - 3)
November 15, 2005
Organized by IBM Research Lab in Haifa, Israel
Workshop Co-chairs
Shmuel Ur
IBM, Haifa Research Lab
Haifa 31905
Israel
Tel. +972-4-829-6250
Fax. +972-4-829-6114
Email: ur@il.ibm.com
Eitan Farchi
IBM, Haifa Research Lab
Haifa 31905
Israel
Tel. +972-4-829-6154
Fax. +972-4-829-6114
Email: farchi@il.ibm.com
| |
|
|
