Past Conferences
Listings
All links in this category.
Showing 1–7 of 7 editor-approved links.
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.