Room 110, National Science Foundation, Arlington, VA
January 22, 2001
Organizer:
Moshe Y. Vardi
The workshop is open to the general public.
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.