Sites

Logic and Mathematics: Connections and Interactions (Popularity: )

Conference on applications of logic in mathematics; Urbana-Champaign, Illinois, May 21-25, 2003.

Computer-Supported Mathematical Theory Development (Popularity: )

Workshop of IJCAR 2004, the Second International Joint Conference on Automated Reasoning. University College Cork, ...

CICLOPS 2001 (Popularity: )

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

CL 2000 (Popularity: )

Conference on Computational Logic. Incorporating DOOD2000 and LOPSTR2000, collocated with ILP2000. Imperial College, London, UK; ...

MFPS (Popularity: )

Mathematical Foundations of Programming Semantics. An annual series of meetings.

ESSLLI 2003 (Popularity: )

15th European Summer School in Logic Language and Information. Vienna, Austria, August 18-29, 2003.

FLA 2001 (Popularity: )

Fuzzy Logic and Applications. Part of the International ICSC Congress on Computation Intelligence Methods and ...

ICoS-2 : Inference in Computational Semantics (Popularity: )

Dagstuhl, Germany; 29--30 July 2000. Photos, slides.

LOFT4 (Popularity: )

Logic and the Foundations of Game and Decision Theory. ICER, Torino, Italy; 30 June -- ...

FLoC '02 - Federated Logic Conference (Popularity: )

Seven concurrent meetings will be held. Copenhagen, Denmark; 20 July -- 1 August 2002.

FMOODS (Popularity: )

Formal Methods for Open Object-based Distributed Systems. An annual series of conferences.

GETCO 2001 (Popularity: )

3rd workshop on Geometric and Topological Methods in Concurrency. In conjunction with CONCUR'01. Aalborg University, ...

ICC'01 (Popularity: )

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

TABLEAUX'99 (Popularity: )

Saratoga Springs, NY, USA; 7--11 June 1999.

British Logic Colloquium 2004 (Popularity: )

University of Leeds; 6--8 September 2004.

ICoS-3 : Inference in Computational Semantics (Popularity: )

Held jointly with IJCAR 2001. Siena, Italy; 19--20 June 2001.

ISMVL 2000 (Popularity: )

International Symposium for Multiple-Valued Logic. Portland, Oregon, USA; 23--25 May 2000. Photos.

LICS 2004 (Popularity: )

Nineteenth Annual IEEE Symposium on Logic in Computer Science. Held in conjunction with ICALP 2004. ...

LLL 2001 (Popularity: )

3rd Learning Language in Logic Workshop. Co-located with ILP 2001. Strasbourg, France; 8--9 September 2001.

Logic Colloquium 2000 (Popularity: )

Incorporating the European Logic Summer School 2000 (ELSS 2000). Paris, France; 23--31 July 2000.