Looking Backward; Looking Forward

During the past 50 years there has been extensive, continuous, and increasing interaction between logic and computer science.

In many respects, logic provides computer science with both a unifying foundational framework and a modelling tool. Indeed, logic has rightly been called 'the calculus of computer science," playing a crucial role in such diverse areas as artificial intelligence, computational complexity, distributed computing, database systems, hardware design,...