Computer Science and Logic: A Match Made in Heaven

  • Date December 13, 2017
  • Hour 5 pm
  • Room GSSI Main Lecture Hall
  • Speaker Luca Aceto (GSSI)
  • Area Computer Science


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.