Sites

LPAR 2000 (Popularity: )

Logic Programming and Automated Reasoning. Reunion Island, France; 11--12 November 2000.

LPAR 2001 (Popularity: )

8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Havana, Cuba; 3--7 December ...

LPNMR'01 (Popularity: )

6th International Conference on Logic Programming and Nonmonotonic Reasoning. Vienna, Austria; 17--19 September 2001.

NMRW (Popularity: )

International Workshops on Nonmonotonic Reasoning.

Proof and System Reliability (Popularity: )

Marktoberdorf Summer School, Germany; 24 July -- 5 August 2001.

RTA 2003 (Popularity: )

14th International Conference on Rewriting Techniques and Applications. Valencia, Spain; 9--11 June 2003.

ACL2-2002 (Popularity: )

Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS ...

British Logic Colloquium 2002 (Popularity: )

University of Birmingham; 12--14 September 2002.

ICALP'96 (Popularity: )

23rd International Colloquium on Automata, Languages, and Programming. Paderborn, Germany; 8--12 July 1996.

LOPSTR (Popularity: )

International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.

OntoLex'2000 (Popularity: )

Workshop on Ontologies and Lexical Knowledge Bases. Bringing together researchers interested in the dependencies between ...

RTA'02 (Popularity: )

13th International Conference on Rewriting Techniques and Applications (part of the Federated Logic Conference FLoC'02). ...

TABLEAUX 2000 (Popularity: )

Automated Reasoning with Analytic Tableaux and Related Methods. Held in conjunction with the International Workshop ...

WoLLIC'2002 (Popularity: )

9th Workshop on Logic, Language, Information and Computation. Rio de Janeiro, Brazil; 30 July -- ...

British Logic Colloquium (Popularity: )

Meetings, publications, reports and resources.

CADE-17 (Popularity: )

The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000.

CSL'01 (Popularity: )

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

ICLP'02 (Popularity: )

International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002.

LJ-IGPL, Related Conferences and Events (Popularity: )

Pointers to conferences and workshops in the IGPL database.

Logic Colloquium '97 (Popularity: )

Leeds, UK; 6--13 July 1997.