[Prev][Next][Index][Thread]
Special Symp. on The Unusual Effectiveness of Logic in Computer Science

To: types@cis.upenn.edu

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

From: vardi@cs.rice.edu (Moshe Vardi)

Date: Mon, 7 Jul 2003 11:04:58 0500 (CDT)

DeliveredTo: dllogic@cs.rice.edu
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 0713, 2003
Invited Talks
* Anuj Dawar, Cambridge:
FixedPoint 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://wwwcompsci.swan.ac.uk/~csmartin/oviedo.html
Special Symposium Coordinator: Martin Otto <m.otto@swansea.ac.uk>
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
twoway 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.