The VvL Logic at Large Lectures are annual, public lectures organised for a general audience.
Friday 28 May 2021
Moshe Y. Vardi (Rice University)
And Logic Begat Computer Science
During the past fifty years there has been extensive, continuous, and growing interaction between logic and computer science. In fact, logic has been called "the calculus of computer science". The argument is that logic plays a fundamental role in computer science, similar to that played by calculus in the physical sciences and traditional engineering disciplines. [Read more ...]