ICE-TCS Lectures Series - Professor Luca Aceto - Computer Science and Logic: A Match Made in Heaven

On Friday, April 3rd, Professor Luca Aceto (Reykjavik University) will deliver an informal ICE-TCS lunch talk entitled  "Computer Science and Logic: A Match Made in Heaven". This pre-Easter, brown paper bag talk will be held at 12:00 in room K5 at Reykjavik University (Kringlan 1).

ABSTRACT

During the past thirty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a tool for modeling. In fact, logic has been called "the calculus of computer science".

In this mostly informal lunch talk, which is meant to be accessible to a general audience, I will try to provide an overview of the surprising effectiveness of logic in computer science by presenting some of the areas in which logic has played a crucial role in computer science. I strongly recommend the paper  http://www.math.ucla.edu/~asl/bsl/0702/0702-003.ps as background reading for the talk.