Sites

ISMVL 2002 (Popularity: )

Boston, Massachusetts, May 15-18, 2002.

CiE 2005 (Popularity: )

Computability in Europe 2005: New Computational Paradigms. Amsterdam, the Netherlands; 8--12 June 2005.

ADMW01 (Popularity: )

3rd Augustus De Morgan Workshop on Frontiers of Revision and Contraction. King's College, London, UK; ...

ISMVL 2001 (Popularity: )

Warsaw, Poland, May 22-24, 2001.

Logic and Algorithms (Popularity: )

Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- ...

ISMVL 2000 (Popularity: )

Portland, Oregon, May 23--25, 2000.

Infinite Games (Popularity: )

Foundations of the Formal Sciences V. Rheinische Friedrich-Wilhelms-Universität Bonn, Germany; 26--29 November 2004.

Model Theory and Applications to Algebra and Analysis (Popularity: )

Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 17 January -- ...

Computation Prospects of Infinity (Popularity: )

Research session on recent developments in Set Theory and Recursion Theory. Institute for Mathematical Sciences, ...

LICS (Popularity: )

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

Set Theory and its Neighbours (Popularity: )

A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell ...

Turing 2004: A Celebration of his Life and Achievements (Popularity: )

One Day Conference to be held at the University of Manchester, June 5th, 2004 and ...

WoPaLo (Popularity: )

Workshop in Paraconsistent Logic, part of the 14th European Summer School in Logic, Language and ...

WoLLIC'2000 (Popularity: )

7th Workshop on Logic, Language, Information and Computation. Hotel Barreira Roxa, Natal, Brazil; 15--18 August ...

9th Annual Logic Summer School (Popularity: )

Automated Reasoning Group, Research School of Information Sciences and Engineering, Australian National University, Canberra; 4--15 ...

WoLLIC - Vision (Popularity: )

A series of workshops which started in 1994 with the aim of fostering interdisciplinary research ...

AC2001 (Popularity: )

The Thirteenth Amsterdam Colloquium. Universiteit van Amsterdam the Netherlands; 17--19 December 2001.

MFCS 2001 (Popularity: )

26th International Symposium on Mathematical Foundations of Computer Science. Marianske Lazne, Czech Republic; 27--31 August ...

MPC 2000 (Popularity: )

Mathematics of Program Construction. Ponte de Lima, Portugal; 3--5 July 2000. Photos.

CSL 2000 (Popularity: )

Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000.