Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Tarmo Uustalu's list of logic and TCS related web-resources
A list of logic and TCS related web-resources
Conference, position, etc. announcements
Academic associations
Informal field and community pages
Conference series
Bibliographies
Paper archives
Electronic journals
Print journals
Electronic book series
Print book series
Research institutions
Dept. of Computing, Imperial College, London ,
Computer Lab., U. of Cambridge
Computing Lab., Oxford U.
Laboratory for Foundations of Computer Science, U. of Edinburgh
Computer Science Lab., SRI International
Computer Science Dept., Stanford U. ,
its
Theory Division
and
Concurrency Group ;
Center for Study of Language and Information (CSLI) at Stanford
Theory of Computation Group, MIT
School of Computer Science, Carnegie-Mellon U. ,
and
CMU Program in Pure and Applied Logic
Dept. of Computer and Information Sciences, U. of Pennsylvania ,
its
Logic and Computation Group ,
and
Inst. for Research in Cognitive Science (IRCS) at Penn
Computer Science Dept., Indiana U. , and
Indiana U. Program in Pure and Applied Logic
EECS Dept., U. of Michigan , and
Logic and Foundations at Dept. of Maths, U. of Michigan
Computer Science Dept., Boston U.
Dept. of Computer Science, Rutgers U. ,
Rutgers Center for Cognitive Science (RuCCS) , and
Center for Discrete Mathematics and Theoretical Computer
Science (DIMACS)
Xerox Palo Alto Research Center
Montreal Category Group
Institute for Logic, Language and Computation (ILLC)
at U. of Amsterdam, and
Applied Logic Lab, U. of Amsterdam
Centrum voor Wiskunde en Informatica (CWI)
Dept. of Computer Science, Vrije Universiteit, Amsterdam
Dept. of Computing Science, Eindhoven U. of Techn. , and
Instituut voor Programmatuurkunde en Alghoritmiek (IPA)
Dept. of Computer Science, Utrecht U.
Dept. of Computer Science, U. of Twente
Computing Science Dept., U. of Nijmegen
Dept. of Computing Science, U. of Groningen , and
Onderzoekschool Logica
Equipe de Logique, U. Paris VII
Laboratoire de l'Informatique du Parallelisme, ENS Lyon
INRIA
Dept. of Computer Science, U. of Torino
Dept. of Computer Science, U. of Pisa
Dept. of Computer Science, U. of Copenhagen (DIKU)
Dept. of Computer Science (DAIMI), U. of Århus , and
BRICS
Turku Centre for Computer Science
Dept. of Computing Science,
Chalmers U. of Techn. and Göteborg U.
Dept. of Informatics, U. of Oslo
Dept. of Computer Systems, Norwegian U. of Sci. and Techn.,
Trondheim
Max-Planck-Institut für Informatik (MPI-I), Saarbrücken
Deutsches Forschungszentrum für Künstliche Intelligenz
(DFKI), Saarbrücken , and
Compulog Net
Tools
Tarmo Uustalu