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 http://web.uniovi.es/Congresos/2003/DLMPS/ http://www-compsci.swan.ac.uk/~csmartin/oviedo.html Special Symposium Co-ordinator: Martin Otto <[log in to unmask]> Abstract: 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.