|
 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 -- ...
Logic and Algorithms (Popularity: ): Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- ...
Computation Prospects of Infinity (Popularity: ): Research session on recent developments in Set Theory and Recursion Theory. Institute for Mathematical Sciences, ...
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 ...
CiE 2005 (Popularity: ): Computability in Europe 2005: New Computational Paradigms. Amsterdam, the Netherlands; 8--12 June 2005.
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 ...
WoLLIC '97 (Popularity: ): 4th Workshop on Logic, Language, Information and Computation. Fortaleza, (Ceará), Brazil; 19/20--22 August 1997. Abstracts.
|
|
|
