Past Conferences

21st Days of Weak Arithmetics

logic.pdmi.ras.ru

St.Petersburg, Russia; 7--9 June 2002.

245 visits Aug 9, 2025 Details

AC2001

illc.uva.nl

The Thirteenth Amsterdam Colloquium. Universiteit van Amsterdam the Netherlands; 17--19 December 2001.

48 visits Mar 10, 2024 Details

ACL2-2002

cs.utexas.edu

Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS 2002). Grenoble, France; 8--9 April 2002.

433 visits Dec 29, 2025 Details

CICLOPS 2001

cs.nmsu.edu

Colloquium on Implementation of Constraint and LOgic Programming Systems. Coral Beach Hotel, Paphos, Cyprus; 1 December 2001.

496 visits Apr 25, 2025 Details

CL 2000

doc.ic.ac.uk

Conference on Computational Logic. Incorporating DOOD2000 and LOPSTR2000, collocated with ILP2000. Imperial College, London, UK; 24--28 July 2000.

431 visits Oct 19, 2024 Details

CLIMA'02 - Computational Logic in Multi-Agent Systems

centria.di.fct.unl.pt

Affiliated with ICLP 2002. Copenhagen, Denmark; 1 August 2002.

214 visits Feb 13, 2026 Details

Computer-Supported Mathematical Theory Development

risc.uni-linz.ac.at

Workshop of IJCAR 2004, the Second International Joint Conference on Automated Reasoning. University College Cork, Ireland; 4--8 July 2004.

371 visits Feb 2, 2026 Details

Conference in Honor of D. A. Martin's 60th Birthday

math.berkeley.edu

Held in coordination with the Mathematical Sciences Research Institute workshop on The Continuum Hypothesis. University of California, Berkeley, CA, USA; 27--28 May 2001.

37 visits Apr 26, 2026 Details

CSL 2000

tcs.informatik.uni-muenchen.de

Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000.

15 visits Jun 27, 2024 Details

CSL'01

lsv.ens-cachan.fr

Annual Conference of the European Association for Computer Science Logic. Paris, France; 10--13 September 2001.

237 visits Apr 5, 2026 Details

CSL'02

dcs.ed.ac.uk

Annual Conference of the European Association for Computer Science Logic. Edinburgh, Scotland, UK; 22--25 September 2002.

368 visits May 6, 2025 Details

Description Logics Workshops

dl.kr.org

Proceedings of past workshops, some on-line.

171 visits Sep 27, 2024 Details

FICS'2001 Fixed Points in Computer Science

dsi.uniroma1.it

A Satellite Workshop to PLI'2001. Florence, Italy; 8 September 2001.

462 visits Oct 21, 2024 Details

FLA 2001

icsc-naiso.org

Fuzzy Logic and Applications. Part of the International ICSC Congress on Computation Intelligence Methods and Applications (CIMA 2001). Bangor, Wales, UK; 19--22 June 2001.

91 visits Jul 22, 2024 Details

FOTFS III

math.uni-bonn.de

Complexity in Mathematics and Computer Science. A PhD EuroConference. Institut fÃ¼r Formale Logik, UniversitÃ¤t Wien, Austria; 21--24 September 2001.

383 visits Jun 30, 2024 Details

FTP 2000

uni-koblenz.de

First-Order Theorem Proving. St. Andrews, Scotland; 3--5 July 2000. Proceedings available.

21 visits May 19, 2025 Details

GÃ–DEL'96

fi.muni.cz

Logical Foundations of Mathematics, Computer Science and Physics -- Kurt GÃ¶del's Legacy. Brno, Czech Republic; 25--29 August 1996.

16 visits May 23, 2025 Details

ICC'01

dcs.ed.ac.uk

Third international workshop on Implicit Computational Complexity. Aarhus, Denmark; 20--21 May 2001.

337 visits Jan 6, 2025 Details

ICLP'01

cs.ucy.ac.cy

Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1 December 2001.

222 visits Sep 1, 2025 Details

ICLP'99

CS.NMSU.Edu

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

337 visits Nov 27, 2024 Details

Past Conferences

Category Info