Related Conferences:

• LICS in Warsaw, Poland, June 29 - July 2, 1997
• ICLP '97 in Leuven, Belgium, July 8-12,1997
• CADE-14 in Townsville, Australia, July 13-17, 1997
• Logic Programming and Nonmonotonic Reasoning (LPNMR). 28-31 July, 1997, Dagstuhl, Germany.

Back to the homepage of the Logic Colloquium 1997.