Sites

Set Theory and its Neighbours 9 (Popularity: )

De Morgan House, London; 25 April 2001.

Amsterdam Colloquium 1999 (Popularity: )

The Twelfth Amsterdam Colloquium, bringing together logicians, philosophers, linguists and computer scientists who share an ...

World Congress on Paraconsistency (Popularity: )

The WCP3 will take place in Toulouse (France) from 28-31 July 2003, and will focus ...

21st Days of Weak Arithmetics (Popularity: )

St.Petersburg, Russia; 7--9 June 2002.

WoLLIC '97 (Popularity: )

4th Workshop on Logic, Language, Information and Computation. Fortaleza, (Ceará), Brazil; 19/20--22 August 1997. Abstracts.

NS2002 (Popularity: )

Nonstandard Methods and Applications in Mathematics. Pisa, Italy; 10--16 June 2002.

WCP 2000 (Popularity: )

Second World Congress on Paraconsistency. Campinas, Brazil; 8--12 May 2000.

The Continuum Hypothesis (Popularity: )

A workshop featuring a number of lectures surveying the current insights into the continuum problem ...

ADD'2002 (Popularity: )

SpecialSession on Argument, Dialogue, and Decision at NMR'2002. Toulouse, France; 19--21 April 2002.

WoLLIC'2001 (Popularity: )

8th Workshop on Logic, Language, Information and Computation. Brasília, Brazil; 31 July -- 3 August ...

FLoC 1999 (Popularity: )

The 1999 Federated Logic Conference, incorporating CADE, CAV, LICS, RTA. Trento, Italy; 30 June -- ...

SPR03 (Popularity: )

Second International Workshop on Semantics, Pragmatics, and Rhetoric. Donostia, San Sebastián, Spain; 6--8 November 2003.

ESSLLI'97 (Popularity: )

9th European Summer School in Logic, Language and Information. Aix-en-Provence, France; 11--22 August 1997.

British Logic Colloquium 1999 (Popularity: )

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

WoLLIC '99 (Popularity: )

6th Workshop on Logic, Language, Information and Computation. Hotel Simon, Itatiaia National Park, Rio de ...

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

British Colloquium for Theoretical Computer Science (Popularity: )

Calendar of meetings.

Formal Methods (Popularity: )

World Congress on Formal Methods (FM).

KR2002 (Popularity: )

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

British Logic Colloquium 2001 (Popularity: )

Manchester University; 6--8 September 2001.