Atlas home || Conferences | Abstracts | about Atlas
Host: University of Pennsylvania
Sponsor: The Center for Discrete Mathematics and Theoretical Computer Science (DIMACS) of Rutgers University, The Institute for Research in Cognitive Science (IRCS) of the University of Pennsylvania
Homepage: http://www.cis.upenn.edu/~ircs/workshops/lcs.html
Email: weinstein@cis.upenn.edu
Organizers: Moshe Y. Vardi (Rice University), Scott Weinstein (University of Pennsylvania)
Description:
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.
Speakers: Jon Barwise, Tom Dean, Henry Kautz, Christos Papadimitriou, Bill Rounds, Gyorgy Turan
Mail Address:
Institute for Research in Cognitive Science 3401 Walnut Street University of Pennsylvania Philadelphia, Pennsylvania
Date received: December 08, 1998
© 2008 Atlas Conferences Inc.