A list of logic and TCS related web-resources

Conference, position, etc. announcements

• TheoryNT
• Upcoming conferences in programming language theory and related areas

Academic associations

• European Foundation for Logic, Language and Information (FoLLI)
• Association for Symbolic Logic (ASL)
• European Association for Computer Science Logic (EACSL)
• Kurt Gödel Society
• Association for Automated Reasoning
• European Association for Theoretical Computer Science (EATCS)
• European Association for Programming Languages and Systems (EAPLS)
• ACM Special Interest Group for Algorithms and Computation (SIGACT), with
  • TCS Virtual Address Book
• ACM Special Interest Group for Programming Languages (SIGPLAN)

Informal field and community pages

• Mathematical Logic around the world
• Research groups in Logic and Theoretical Computer Science
• TYPES '00-'03 - TYPES '96-'99 - TYPES '92-'95
• The TYPES Forum
• Calculemus (Polish)
• Logical Frameworks
• A Guide to Functional Programming on the Web
• Relational Methods in Computer Science (RelMiCS)
• Algebraic and Coalgebraic Methods in Computer Science
• Lattice Theory
• Linear Logic
• Categories
• Finite Model Theory
• Formal Methods
• Programming Language Research
• Algebraic Methodology and Software Technology (AMAST)
• Advances in Modal Logic (AiML)
• Hybrid Logics' Home Page

Conference series

• Logic in Computer Science, LICS [IEEE CS]
• Mathematical Foundations of Programming Semantics, MFPS
• International Conference on Functional Programming, ICFP [ACM SIGPLAN / IFIP WG 2.8]
• European Joint Conference on Theory and Practice of Software, ETAPS [EAPLS]
• Math Foundations of Computer Science, MFCS
• SOFSEM
• CADE
• British Colloquium for Theor Computer Science

Bibliographies

• ResearchIndex (CiteSeer)
• Collection of Computer Science Bibliographies
• The Bibliography Server on Databases and Logic Programming
• CompuTec WWW-Database
• The HyperText Bibliography Project (dead?)

Paper archives

• Theoretical Computer Science Research Archive at Imperial College
• Hypatia Electronic Library
• SEL-HPC Article Archive
• Computing Research Repository (CoRR)
• Networked Computer Science Technical Reports Library (NCSTRL)
• ACM Digital Library

Electronic journals

• Journal of Formalized Mathematics
• Electronic Journal of Analytic Philosophy
• Nordic Journal of Philosophical Logic [ScUP]
• Bulletin of Symbolic Logic [ASL]
• Logic Journal of the IGPL vols 5- [OUP]
  Logic Journal of the IGPL vols 1-4 [MPI Saarbrücken]
• Journal of Functional and Logic Programming [EAPLS]
• Chicago Journal of Theoretical Computer Science [The MIT Press]
• Theory and Applications of Categories
• Discrete Mathematics and Theoretical Computer Science
• Journal of Universal Computer Science [Springer]
• LMS Journal of Computation and Mathematics [LMS]
• Mathesis Universalis [Warszaw U.]

Print journals

• Journal of Logic, Language and Information [Kluwer]
• Journal of Logic and Computation [OUP]
• Journal of Applied Non-Classical Logics [Editions Hermès]
• Notre Dame Journal of Formal Logic [U. Notre Dame]
• Studia Logica [Kluwer]
• Bulletin of the Section of Logic
• Reports on Mathematical Logic
• Fundamenta Informaticae
• Modern Logic [Modern Logic Publishing]
• Logica Trianguli Lodz, Nantes, Santiago de Compostela [U. Nantes]
• Journal of Functional Programming [CUP]
• Higher-Order and Symbolic Computation [Kluwer]
• Information and Computation [Academic Press]
• Journal of the ACM [ACM]
• Annals of Pure and Applied Logic [Elsevier]
• Theoretical Computer Science [Elsevier]
• Journal of Logic and Algebraic Programming [Elsevier]
• Information Processing Letters [Elsevier]
• Formal Aspects of Computing [Springer]

Electronic book series

• Electronic Notes in Theoretical Computer Science [Elsevier]
• electronic Workshops in Computing [Springer]

Print book series

• Studies in Logic, Language and Information [CSLI Publications]
• Lecture Notes in Computer Science [Springer] (index to vols 500 to the current)

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

• Haskell: A Purely Functional Language
• Lemon: A Functional Language with Inductive and Coinductive Types
• Cayenne, a functional language with dependent types
• Charity
• aut, a proof checker for AUT-68 and AUT-QE
• A Normaliser for Pure and Typed Lambda-Calculus
• A Proof Assistant for Krivine's Af2
• The Coq Proof Assistant (for CC-Ind)
• The LEGO Proof Assistant (for LF, CC, Luo's UTT)
• The Yarrow Proof Assistant (for PTS's)
• The NuPrl System
• Lucid at CSL/SRI, Lucid at UVic