Background: During the past twenty five 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''. This workshop will provide an overview of the surprising effectiveness of logic in computer science by presenting some of the areas in which logic played a crucial role in computer science.