Sites

LACL 2001 (Popularity: )

4th International Conference on Logical Aspects of Computational Linsguistics. Le Croisic, France; 27--29 June 2001.

JELIA 2000 (Popularity: )

7th European Workshop on Logics in Artificial Intelligence. Malaga, Spain; 29 September -- 2 October ...

JELIA 2004 (Popularity: )

Ninth European Conference on Logics in Artificial Intelligence. Lisbon, Portugal; 27--30 September 2004.

LFM'99 (Popularity: )

Workshop on Logical Frameworks and Meta-languages. Held as part of the Colloquium on Principles, Logics, ...

Workshop on Model Theory (Popularity: )

Institut de Matemàtica de la Universitat de Barcelona (IMUB), Spain; 25--27 October 2001.

TPTS (Popularity: )

Workshop on Theory and Practice of Timed Systems. (A satellite event of ETAPS 2002.) Grenoble, ...

GÖDEL'96 (Popularity: )

Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy. Brno, Czech Republic; ...

NMR'2002 (Popularity: )

9th International Workshop on Non-Monotonic Reasoning. (Collocated with KR2002 and AIPS'02.) Toulouse, France; 19--21 April ...

Neutrosophy, Neutrosophic Logic, Set, Probability and Statistics (Popularity: )

University of New Mexico; 1--3 December 2001.

Conferences of Interest for Complexity People (Popularity: )

Maintained at the Electronic Colloquium on Computational Complexity.

ESSLLI 2001 (Popularity: )

13th European Summer School in Logic, Language and Information. On-line registration. University of Helsinki, Finland; ...

Association of Logic Programming (Popularity: )

Meetings related to logic programming.

LICS (Popularity: )

IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical ...

FOTFS III (Popularity: )

Complexity in Mathematics and Computer Science. A PhD EuroConference. Institut für Formale Logik, Universität Wien, ...

WFLP 2001 (Popularity: )

International Workshop on Functional and (Constraint) Logic Programming, comprising the 10th International Workshop on Functional ...

Fourth International Tbilisi Symposium on Language, Logic and Computation (Popularity: )

Borjomi, Georgia; 23--28 September 2001.

International Workshop on Computability Theory (Popularity: )

S.S.Goncharov - 50th Anniversary. Sobolev Institute of Mathematics, Novosibirsk, Russia; 23--26 September 2001.

MFCSIT2002 (Popularity: )

Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology. National University ...

Conference in Honor of D. A. Martin's 60th Birthday (Popularity: )

Held in coordination with the Mathematical Sciences Research Institute workshop on The Continuum Hypothesis. University ...

Algebra and Discrete Mathematics (Popularity: )

A Euresco conference on the interplay between model theory, infinite combinatorics and various subfields of ...