Meetings
Listings
All links in this category.
Showing 1–10 of 10 editor-approved links.
University of East Anglia, Norwich; 7--9 September 2000.
Tokyo, Japan, May 16-19, 2003. Photographs.
Sixteenth International Conference on Logic Programming. Las Cruces, New Mexico; 29 November -- 4 December, 1999.
Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy. Brno, Czech Republic; 25--29 August 1996.
Saratoga Springs, NY, USA; 7--11 June 1999.
Conference on Computational Logic. Incorporating DOOD2000 and LOPSTR2000, collocated with ILP2000. Imperial College, London, UK; 24--28 July 2000.
The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000.
Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1 December 2001.
International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002.
6th Workshop on Logic, Language, Information and Computation. Hotel Simon, Itatiaia National Park, Rio de Janeiro, Brazil; 25--28 May 1999. Abstracts.