2010 Previous
- Networking in the Cloud Era Technical Seminar 2010
(November 28, 2010)
- Information Retrieval Seminar 2010
(December 12, 2010)
- Medical Informatics Day 2010
(October 31, 2010)
- HVC 2010 - Haifa Verification Conference 2010
(October 5-7, 2010)
- Parallel and Distributed Systems: Testing, Analysis, and Debugging Workshop 2010
(July 12-13, 2010)
- Ed Kahan - Business Optimization Leadership Seminar 2010
(June 30, 2010)
- Making the Most of Hardware Formal Verification
(June 28, 2010)
- SYSTOR 2010 - The 3rd Annual Haifa Experimental Systems Conference
(May 24-26, 2010)
- IBM Programming Languages and Development Environments Seminar 2010
(April 14, 2010)
- Dojo & Mobile Applications Development Workshop 2010
(April 11, 2010)
- IBM Outlook and Collaboration Event
(March 14, 2010)
- Clinical Genomic Analysis Workshop
(March 2, 2010)
- Hardware Formal Verification using IBM's Rulebase PE
(February 23, 2010)
- Synthetic Reality: The science and applications of virtual, mixed, and augmented reality
(January 10-11, 2010)
