The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Skip to content



Logic and Algorithms

Vardi, M (Rice)
Friday 17 March 2006, 14:15-15:15

Seminar Room 1, Newton Institute


What on earth does the obscure, old intellectual discipline have to do with the youngest intellectual discipline of computer science? In this overview talk I will explain not only how logic begat computer science, but also how logic has permeated computer science over the last few days so much that it has been called "the calculus of computer science." I will particularly focus on computational-complexity theory and its possible connections with statistical mechanics.


MP3MP3 Real AudioReal Audio

Back to top ∧