Open Graduate Seminar with Dr. Gopal Gupta
Wednesday, October 17, 2012
4:10 pm – 5:25 pm
Please join us as Dr. Gopal Gupta, Erik Jonsson Professor and Department Head in the Department of Computer Science at the University of Texas at Dallas, presents his talk "Logic, Coinduction and Infinite Computation."
Department of Computer Science
Dr. Nancy Amato