LPNMR '97
About this conference
Home *
On-line Registration *
Scientific Programme
This is the fourth in the series of
international meetings
on the
relationship
between
logic programming
and
non-monotonic reasoning.
Three
previous meetings
were held in
Washington,
U.S.A., in 1991,
in
Lisbon,
Portugal, in 1993
and in
Lexington,
U.S.A., in 1995.
The series was started in response to the growing
evidence of synergy between the two areas and serves as a vehicle
to facilitate interactions and interdisciplinary research.
This fourth meeting is sponsored by
ALP
(Association for Logic Programming),
CompulogNet
(The ESPRIT Network of Excellence in Computational Logic),
DFG (German Science Foundation),
GI
(German Informatics Society), the Mathematical Sciences
Institute of the Cornell University (US Army Research Office Center of
Excellence), the
University of
Koblenz, and the US DOD Multiple
University Research Initiative (MU) on the Foundations of Intelligent
Systems (Cornell, Stanford, and UC Berkeley).
It will be held at
Dagstuhl,
Germany,
from July 28 to July 31, 1997.
Dagstuhl,
a place being developed exclusively
for research activities in Computer Science, provides an excellent
atmosphere for researchers to meet and exchange ideas.
Related conferences to be held at about the same time
include:
- LICS
(Warsaw, Poland, June 29 - July 2, 1997)
- Logic Colloquium '97
(Leeds, U.K., July 6-13, 1997)
- ICLP '97 (Leuven,
Belgium, July 8-12,1997)
- CADE-14 (Townsville,
Australia, July 13-17, 1997)
- World
Congress on Paraconsistency (Ghent, Belgium, July 29 - August 1, 1997)
- SCAI '97
(Helsinki, Finland, August 18-20, 1997)
- IJCAI '97 (Nagoya, Japan,
August 23-29, 1997)
Comments and Suggestions
on this page are welcome!
Maintained by:
Jürgen Dix
<dix@informatik.uni-koblenz.de>
$Author: lpnmr97 $ $Date: 1997/06/03 12:29:47 $