vardi%ks@ibmarc (Moshe Y. Vardi) (05/09/89)
Please Post Please Distribute
THIRD CONFERENCE ON THEORETICAL ASPECTS OF REASONING ABOUT KNOWLEDGE
CALL FOR PAPERS
The 3nd Conference on Theoretical Aspects of Reasoning about
Knowledge, sponsored by IBM Research, Almaden Research Cen-
ter, will be held March 4-7, 1990, at the Asilomar Confer-
ence Center in Pacific Grove, California. While research in
this area has traditionally been done by philosophers and
linguists, reasoning about knowledge has recently been
shown to be of great relevance to Artificial Intelligence,
Computer Science and Economics. The aim of the conference
is to bring together researchers from these various disci-
plines in order to further our theoretical understanding of
reasoning about knowledge.
Topics of interest include, but are not limited to:
o Semantic Models for Knowledge and Belief
o Decision Procedures and Proof Systems
o Resource-bounded Reasoning
o Probabilistic Knowledge
o Minimal Knowledge Proof Systems
o Analyzing Distributed Systems via Knowledge
o Knowledge Acquisition and Learning
o Knowledge and Commonsense Reasoning
o Knowledge, Planning, and Action
o Knowledge in Economic Models
You are invited to submit 15 copies of a detailed abstract
(not a complete paper) to the program chairperson:
Rohit Parikh
Ph.D Program in Computer Science
City University Graduate Center
33 West 42nd Street
New York, NY 10036-8099, USA
Phone: 212-642-2201, 914-834-5681
E-address: ripbc@cunyvm.bitnet, ripbc@cunyvm.cuny.edu
Submissions will be evaluated on the basis of significance,
originality, and overall quality. Each abstract should 1)
contain enough information to enable the program committee
to identify the main contribution of the work; 2) explain
the importance of the work - its novelty and its practical
or theoretical implications; and 3) include comparisons with
and references to relevant literature. Abstracts should be
no longer than ten double-spaced pages (4,000 words). It is
understood that the research reported in the abstract is or-
iginal, is submitted exclusively to this conference, and its
publication in a journal is not imminent Papers arriving
late or departing significantly from these guidelines risk
immediate rejection.
The program committee consists of Nicholas Asher (University
of Texas at Austin), Cristina Bicchieri (University of
Chicago), Fred Dretske (University of Wisconsin), Jon Doyle
(MIT), Ronald Fagin (IBM Almaden Research Center), Mike
Fischer (Yale University), Haim Gaifman (Hebrew University),
John Geanakopolos (Yale University), Shafi Goldwasser (MIT),
Kurt Konolige (SRI International), Isaac Levi (Columbia Uni-
versity), Rohit Parikh (City University of New York), and
Robert Stalnaker (MIT)
The deadline for submission of abstracts is August 21, 1989.
Authors will be notified of acceptance by October 30, 1989
(authors who supply an electronic address might be notified
earlier). The accepted papers will be due by December 8,
1989. Accepted papers will be published in the conference
proceedings, which will be distributed at the conference and
will be subsequently available for purchase through the pub-
lisher.
We plan to allow enough time between the talks for private
discussions and small group meetings. In order to ensure
that the conference remains relatively small, attendance
will be limited to invited participants and authors of ac-
cepted papers. We hope to be able to partially subsidize
participants' expenses.
For further information contact the conference chairperson:
Moshe Y. Vardi, IBM Research, Almaden Research Center
K53-802, 650 Harry Rd., San Jose, CA 95120-6099, USA,
Phone: 408-927-1784, E-mail: vardi@almvma.bitnet,
vardi@ibm.com.