The 2009 Visions of Computing Lecture: Model Checking Over Time
03/02/2009 - 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.