2010

Haifa Verification Conference 2010 HVC-2010

October 4-7, 2010

Bioinformatics Day

September 5, 2010

The 3rd Annual Haifa Experimental Systems Conference

May 24-26, 2010

The 10th Haifa Workshop on Interdisciplinary Applications of Graphs, Combinatorics and Algorithms

May 23-25, 2010

CRI Theory Seminar

Computational Cognition

Learning about Complex Systems with Computational Media

Geometry and Topology in Robotics

January 10, 2010

Workshop on Psycholinguistics: Computational Approaches

January 4-5, 2010

Faculty Seminars on Computational Cognition