Sites

Logic, Algebra and Geometry (Popularity: )

St.Petersburg, Russia; 1--7 June 2004.

The Logic Programming Paradigm: Current Trends and Future Directions (Popularity: )

Shakertown, Kentucky, USA; 27--27 April 1998. Photos.

CSL'02 (Popularity: )

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

ESSLLI'99 (Popularity: )

11th European Summer School in Logic, Language and Information. Utrecht University, the Netherlands; 9--20 August ...

FICS'2001 Fixed Points in Computer Science (Popularity: )

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

FroCoS'96 (Popularity: )

First International Workshop on Frontiers of Combining Systems. Munich, Germany; 26--29 March 1996. Abstracts.

ICALP'00 (Popularity: )

27th International Colloquium on Automata, Languages, and Programming. Geneva, Switzerland; 9--15 July 2000.

LICS 2001 (Popularity: )

IEEE Symposium on Logic in Computer Science. Boston, MA, USA; 16--19 June 2001.

LICS 2002 (Popularity: )

IEEE Symposium on Logic in Computer Science. Copenhagen, Denmark; 22--25 July 2002.

Logic Colloquium '96 (Popularity: )

European Summer Meeting of the Association for Symbolic Logic. San Sebastián, Spain; 9--15 July 1996.

PLS-1 (Popularity: )

First Panhellenic Logic Symposium. Nicosia, Cyprus; 21--24 July 1997.

TIME-2002 (Popularity: )

9th International Symposium on Temporal Representation and Reasoning Symposium. Manchester, UK; 7--9 July, 2002.

ALP/PLILP/SAS 1996 (Popularity: )

Joint meeting of the Fifth International Conference on Algebraic and Logic Programming; Eighth International Symposium ...

British Logic Colloquium 1996 (Popularity: )

In memoriam Robin Gandy. Oxford; 5-6 July 1996.

CADE-18 (Popularity: )

The 18th International Conference on Automated Deduction. Copenhagen, Denmark; 27--30 July 2002.

CLIMA'02 - Computational Logic in Multi-Agent Systems (Popularity: )

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

DEON'02 (Popularity: )

Sixth International Workshop on Deontic Logic in Computer Science. Imperial College, London, UK; 22--24 May ...

ICLP'01 (Popularity: )

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

ISWC 2002 (Popularity: )

The International Semantic Web Conference. Sardinia, Italy; 10--12 June 2002.

LP-01. (Popularity: )

Logic Programming for Artificial Intelligence and Information Systems. A thematic worskhop of EPIA 2001. Porto, ...