Tutorial and Workshop on Logic and Cognitive Science: Linking Finite
Model Theory,Descriptive Complexity, and the Study of Cognition
Tutorial: April 12-15, 1999
Workshop: April 16-18, 1999
Institute for Research in Cognitive Science
3400 Walnut Street
University of Pennsylvania
Co-sponsored by: The Center for Discrete Mathematics and Theoretical Computer
Science (DIMACS) of Rutgers University and
The Institute for Research in Cognitive Science (IRCS) of the
University of Pennsylvania
Organizers: Moshe Y. Vardi, vardi@cs.rice.edu
Scott Weinstein, weinstein@cis.upenn.edu
The event will begin with a four-day program of tutorials on finite
model theory, descriptive complexity theory, and their potential connections
with areas of research in cognitive science. The tutorials will take place
from 9-12 and 2-5 on Monday, April 12 - Thursday, April 15 with two talks in
each of the morning and afternoon sessions. The tutorials will be presented by
Erich Graedel, Phokion Kolaitis, Leonid Libkin, Maarten Marx, Joel
Spencer, Moshe Y. Vardi, and Yde Venema. See
http://www.cis.upenn.edu/~ircs/workshops/tutorial_sched.html for more
details.
The goal of the workshop is to generate a lively discussion between researchers
in finite model theory and descriptive complexity and investigators in various
areas of cognitive science. Obvious areas of potential interaction include the
study of constraint satisfaction problems, the analysis and application of
modal and temporal logics, and the construction of adequate languages for
knowledge representation in areas from computational learning theory to
robotics. It is our hope that the workshop will also bring to light further
areas of potential interaction between finite model theory and cognitive
science.
The program of the workshop will consist of survey talks as well as
shorter half-hour talks and the schedule will allow ample time for creative
interaction. The program will include invited presentations by Jon Barwise,
Tom Dean, Henry Kautz, Bill Rounds, and Gyorgy Turan. See
http://www.cis.upenn.edu/~ircs/workshops/workshop_sched.html for more
details.
Following DIMACS and IRCS tradition, both the tutorials and workshop will be
open events that anyone may attend. For further details concerning the
tutorials and workshop, and to register for either event, please visit:
http://www.cis.upenn.edu/~ircs/workshops/lcs.html