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)


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.