Sites

Logic Colloquium 2004 (Popularity: )

Torino, Italy; 25--31 July 2004.

MFCS'98 (Popularity: )

The 23rd International Symposium on Mathematical Foundations of Computer Science. Held jointly with CSL'98, CCA'98, ...

NMR-2000 (Popularity: )

8th International Workshop on Non-Monotonic Reasoning. Held with KR'2000. Breckenridge, Colorado, USA; 9--11 April 2000. ...

SPbDLC'99 (Popularity: )

First St.Petersburg Days of Logic and Computability. St. Petersburg, Russia; 26--29 May 1999. Abstracts, photos.

TPHOLs 2000 (Popularity: )

13th International Conference on Theorem Proving in Higher Order Logics. Portland, Oregon, USA; 14--18 August ...

British Logic Colloquium 1998 (Popularity: )

King's College, Cambridge; 21--22 September 1998.

CADE (Popularity: )

Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated ...

Conference and Workshop in Honor of Professor Saharon Shelah (Popularity: )

Ben-Gurion University of the Negev, Israel; 21--25 May 2001.

DL2001 (Popularity: )

International Workshop on Description Logics. Stanford University, California, USA; 1--3 August 2001. On-line proceedings.

ESSLLI'98 (Popularity: )

10th European Summer School in Logic, Language and Information. Saarbrücken, Germany; 17--28 August 1998.

ICLP'99 (Popularity: )

Sixteenth International Conference on Logic Programming. Las Cruces, New Mexico; 29 November -- 4 December, ...

Logic Colloquium '99 (Popularity: )

Utrecht, The Netherlands; 1--6 August 1999. Photographs.

LPNMR'97 (Popularity: )

4th International Conference on Logic Programming and Non-Monotonic Reasoning. Dagstuhl, Germany; 28--31 July 1997.

PLI 2001 (Popularity: )

Principles, Logics, and Implementations of high-level programming languages. Including ICFP and PPDP. Firenze, Italy; 2--8 ...

PLI'00 (Popularity: )

Principles, Logics, and Implementations of High-Level Programming Languages. Including ICFP 2000 and PPDP 2000. Montreal, ...

Proof and Computation (Popularity: )

Ludwig-Maximilians-Universität, Munich, Germany; 5--6 November 1999.

TABLEAUX (Popularity: )

The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year ...

TABLEAUX 2002 (Popularity: )

Automated Reasoning with Analytic Tableaux and Related Methods. Copenhagen, Denmark; 30 July -- 1 August ...

Set Theory and Analysis (Popularity: )

Semester long program at the Fields Institute, Toronto, Ontario, along with some shorter workshops. September ...

Types Summer School '99 (Popularity: )

Giens, France; 30 August -- 10 September 1999. Photos, tutorial notes and software.