SCHEDULE: 13th December 2017, 17:00, Room TBD
SPEAKER: Luca Aceto (GSSI and School of Computer Science, Reykjavik University)
TITLE: Computer Science and Logic: A Match Made in Heaven
ABSTRACT: During the past forty 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 modelling. In fact, logic has been called “the calculus of computer science”. Moreover, computer science has revitalized logic by stimulating new interest in age-old theories and by introducing new questions into that field of study.
In this mostly informal talk, which is meant to be accessible to a general audience, I will 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.