 |
 Directories |
| |
|
| |
| |
 Recent Listings |
|
|
| |
|
|
|
|
WoLLIC'2000 |
Popularity:  Hit: 336 | Visit: 10 |
 |
|
 |
|
 Related sites |
Model Theory and Applications to Algebra and Analysis (Popularity: ): Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 17 January -- 15 July 2005.
Logic and Algorithms (Popularity: ): Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006.
Computation Prospects of Infinity (Popularity: ): Research session on recent developments in Set Theory and Recursion Theory. Institute for Mathematical Sciences, National University of Singapore; 20 June -- 15 August 2005.
Infinite Games (Popularity: ): Foundations of the Formal Sciences V. Rheinische Friedrich-Wilhelms-Universität Bonn, Germany; 26--29 November 2004.
LICS (Popularity: ): 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 ...
CiE 2005 (Popularity: ): Computability in Europe 2005: New Computational Paradigms. Amsterdam, the Netherlands; 8--12 June 2005.
ISMVL 2002 (Popularity: ): Boston, Massachusetts, May 15-18, 2002.
ISMVL 2001 (Popularity: ): Warsaw, Poland, May 22-24, 2001.
ISMVL 2000 (Popularity: ): Portland, Oregon, May 23--25, 2000.
WoLLIC - Vision (Popularity: ): 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.
WoLLIC '97 (Popularity: ): 4th Workshop on Logic, Language, Information and Computation. Fortaleza, (Ceará), Brazil; 19/20--22 August 1997. Abstracts.
WoLLIC'2001 (Popularity: ): 8th Workshop on Logic, Language, Information and Computation. Brasília, Brazil; 31 July -- 3 August 2001. Abstracts.
|
|
|
 |
|
 |
|
|
|
