Directory Sites
Sixteenth International Conference on Logic Programming. Las Cruces, New Mexico; 29 November -- 4 December, 1999.
www.cs.nmsu.edu
Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000.
www.tcs.informatik.uni-muenchen.de
First St.Petersburg Days of Logic and Computability. St. Petersburg, Russia; 26--29 May 1999. Abstracts, photos.
logic.pdmi.ras.ru
First International Workshop on Frontiers of Combining Systems. Munich, Germany; 26--29 March 1996. Abstracts.
www.cis.uni-muenchen.de
Workshop on Logic and Language. Seville,Spain; 29 November -- 1 December 2000.
www.cica.es
4th International Conference on Logic Programming and Non-Monotonic Reasoning. Dagstuhl, Germany; 28--31 July 1997.
www.uni-koblenz.de
7th European Workshop on Logics in Artificial Intelligence. Malaga, Spain; 29 September -- 2 October 2000.
www.satd.uma.es
9th Annual Logic Summer School
Automated Reasoning Group, Research School of Information Sciences and Engineering, Australian National University, Canberra; 4--15 December 2000.
arp.anu.edu.au
International Symposium for Multiple-Valued Logic. Portland, Oregon, USA; 23--25 May 2000. Photos.
www.ee.pdx.edu
Automated Reasoning with Analytic Tableaux and Related Methods. Held in conjunction with the International Workshop on First-Order Theorem Proving. University of St Andrews, Scotland; 4--7 July 2000. Tutorial notes, photos.
www.dcs.st-and.ac.uk
Foundations of Software Science and Computation Structures. Berlin, Germany; 27--31 March 2000.
fossacs.mimuw.edu.pl
Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy. Brno, Czech Republic; 25--29 August 1996.
www.fi.muni.cz
Logic Programming and Automated Reasoning. Reunion Island, France; 11--12 November 2000.
www.informatik.uni-trier.de
Second World Congress on Paraconsistency. Campinas, Brazil; 8--12 May 2000.
logica.cle.unicamp.br
First-Order Theorem Proving. St. Andrews, Scotland; 3--5 July 2000. Proceedings available.
www.uni-koblenz.de