Special Symp. on The Unusual Effectiveness of Logic in Computer Science

Special Symposium on

The Unusual Effectiveness of Logic in Computer Science

as part of the

12th International Congress of Logic, Methodology and
Philosophy of Science; Oviedo, Spain, August 07-13, 2003

Invited Talks

* Anuj Dawar, Cambridge:
     Fixed-Point Logics and Computation
* Javier Esparza, Stuttgart:
     Logic in Automatic Verification
* Ulrich Kohlenbach, Aarhus:
     From Foundations to Functional Programming:
     Functionals of Higher Type in Computer Science

For further information, on the special symposium and LMPS, see


Special Symposium Co-ordinator: Martin Otto <m.otto@swansea.ac.uk>


Computer science has always had close links with mathematical logic.
Many of the fundamental and foundational concepts of computer science are
rooted in mathematical logic. Moreover, there has been a continuing strong
two-way interaction between computer science and logic. On the one hand,
mathematical logic has received new stimuli form computer science, and
computer science stands out as a predominant application domain for
mathematical logic. From the point of view of computer science on the
other hand, logic stands out as the area of mathematics that provides far
reaching conceptual and educational underpinnings, as well as concrete
methodologies and technical tools. The role of mathematical logic for
computer science has aptly been likened to the role that calculus plays
for the physical sciences.

This short special symposium aims at illustrating the effectiveness of
ideas and methods from logic for some specific areas and developments in
computer science. Invited talks from three leading researchers in three
different fields will illustrate this distinctive relationship.
This symposium follows a series of prior events in a similar spirit.