About this conference
On-line Registration *
This is the fourth in the series of
were held in
U.S.A., in 1991,
Portugal, in 1993
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
(Association for Logic Programming),
(The ESPRIT Network of Excellence in Computational Logic),
DFG (German Science Foundation),
(German Informatics Society), the Mathematical Sciences
Institute of the Cornell University (US Army Research Office Center 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
from July 28 to July 31, 1997.
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
(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)
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!
$Author: lpnmr97 $ $Date: 1997/06/03 12:29:47 $