|
Sponsored Links:
ISMVL 2002 (Popularity:  )
http://www.cs.umb.edu/~ismvl02/
Boston, Massachusetts, May 15-18, 2002.
|
|
CiE 2005 (Popularity: )
http://www.illc.uva.nl/CiE/
Computability in Europe 2005: New Computational Paradigms. Amsterdam, the Netherlands; 8--12 June 2005.
|
|
LICS (Popularity: )
http://www.lfcs.informatics.ed.ac.uk/lics
IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. Links to past ...
|
|
Model Theory and Applications to Algebra and Analysis (Popularity: )
http://www.newton.cam.ac.uk/programs/MAA/
Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 17 January -- 15 July 2005.
|
|
ISMVL 2001 (Popularity: )
http://www.ipipan.waw.pl/~ismv
Warsaw, Poland, May 22-24, 2001.
|
|
Logic and Algorithms (Popularity: )
http://www.newton.cam.ac.uk/programmes/LAA/
Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006.
|
|
|
ISMVL 2000 (Popularity: )
http://www.ee.pdx.edu/~mperkows/ISMVL/%3Dindex2000.html
Portland, Oregon, May 23--25, 2000.
|
|
Infinite Games (Popularity: )
http://www.math.uni-bonn.de/people/fotfs/V/
Foundations of the Formal Sciences V. Rheinische Friedrich-Wilhelms-Universität Bonn, Germany; 26--29 November 2004.
|
|
Set Theory and its Neighbours (Popularity: )
http://www.ucl.ac.uk/~ucahcjm/stn.html
A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.
|
|
Computation Prospects of Infinity (Popularity: )
http://www.ims.nus.edu.sg/Programs/infinity/
Research session on recent developments in Set Theory and Recursion Theory. Institute for Mathematical Sciences, National University of Singapore; 20 June -- 15 August 2005.
|
|
ADMW01 (Popularity: )
http://www.dcs.kcl.ac.uk/research/groups/logic/ADMW01/
3rd Augustus De Morgan Workshop on Frontiers of Revision and Contraction. King's College, London, UK; 5--6 November 2001.
|
|
WoLLIC - Vision (Popularity: )
http://www.cin.ufpe.br/~wollic/
A series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. Proceedings, reports and comments on the series.
|
|
Turing 2004: A Celebration of his Life and Achievements (Popularity: )
http://www.maths.man.ac.uk/logic/turing2004/
One Day Conference to be held at the University of Manchester, June 5th, 2004 and run jointly by the British Logic Colloquium and the British Society for the History of ...
|
|
CSL 2000 (Popularity: )
http://www.tcs.informatik.uni-muenchen.de/csl2000/
Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000.
|
|
MFCS 2001 (Popularity: )
http://www.math.cas.cz/~mfcs2001/
26th International Symposium on Mathematical Foundations of Computer Science. Marianske Lazne, Czech Republic; 27--31 August 2001.
|
|
9th Annual Logic Summer School (Popularity: )
http://arp.anu.edu.au/lss/
Automated Reasoning Group, Research School of Information Sciences and Engineering, Australian National University, Canberra; 4--15 December 2000.
|
|
WoPaLo (Popularity: )
http://logica.rug.ac.be/WoPaLo/
Workshop in Paraconsistent Logic, part of the 14th European Summer School in Logic, Language and Information. Trento, Italy; 5--9 August 2002.
|
|
WoLLIC'2000 (Popularity: )
http://www.cin.ufpe.br/~wollic/wollic2000/
7th Workshop on Logic, Language, Information and Computation. Hotel Barreira Roxa, Natal, Brazil; 15--18 August 2000. Proceedings in PostScript.
|
|
MPC 2000 (Popularity: )
http://www.di.uminho.pt/mpc2000/
Mathematics of Program Construction. Ponte de Lima, Portugal; 3--5 July 2000. Photos.
|
|
AC2001 (Popularity: )
http://www.illc.uva.nl/AC2001/
The Thirteenth Amsterdam Colloquium. Universiteit van Amsterdam the Netherlands; 17--19 December 2001.
|
