ACM Turing Award

The 2009 Visions of Computing Lecture: Model Checking Over Time

March 2 , 2009 from 4:15 p.m. - 5:30 p.m. Lecture in Avaya Auditorium, ACES 2.302; private reception for invited guests followed from 5:45 p.m. - 7:30 p.m.

The Visions of Computing Lecture Series highlights faculty accomplishments and provides public education about computer science.

Subscribe to RSS - ACM Turing Award