Workshop on Logical Foundations of an Adaptive Security Infrastructure (WOLFASI) (Popularity: )

A sub-workshop of the LICS Foundations of Computer Security (FCS'04) Workshop, LICS'04. Turku, Finland; 12--13 ...

Model Theory 2002 (Popularity: )

A regional meeting of the LMS followed by a short conference on Model Theory. School ...

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.

British Logic Colloquium 1999 (Popularity: )

University of Wales, Gregynog; 23 -- 25 September 1999. Photos.

British Logic Colloquium 2001 (Popularity: )

Manchester University; 6--8 September 2001.

Formal Methods (Popularity: )

World Congress on Formal Methods (FM).

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 ...

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.

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

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

TPTS (Popularity: )

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

KR2002 (Popularity: )

Eighth International Conference on Principles of Knowledge Representation and Reasoning. In conjunction with AIPS2002, KSCO'02 ...

Association of Logic Programming (Popularity: )

Meetings related to logic programming.

LACL 2001 (Popularity: )

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

FOTFS III (Popularity: )

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

ITRS'00 (Popularity: )

Workshop on Intersection Types and Related Systems. Geneva, Switzerland; 15 July 2000. Abstracts, papers and ...

2001 Greater Boston Logic Meeting (Popularity: )

Boston, MA, USA; 11--13 May 2001.

WFLP 2001 (Popularity: )

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