Other Pointers (some obslete)

• Institutions and networks:
• UK Universities and CS Departments: Cambridge DCS, Durham Engineeting & CS, Edinburgh Informatics (DCS, LFCS), Glasgow DCS, Imperial DCS (Theory & FM ), Kent DCS (TCS group), King's College DCS, Leicester Math and CS, Univ of London, Manchester DCS, Nottingham DCS, Oxford Computing Lab (and Maths Institute), RHUL DCS, Sheffield DCS (VT group), St Andrews CS, Sussex DCS, York DCS (Maths, Network Control Group).
• Europe: Aarhus DCS, Alfa-informatica UvA, BRICS, CNRS France, CSI Nijmegen, CWI, Chalmers DCS, DIT Ireland (School of Computing) Eindhoven DCS, Helsinki TT Group, ILLC, Math and Info at ENS France, ProTaGoNist, Uppsala DCS.
• USA, Australia, and New Zealand: Brandeis DCS (Pustejovsky), CMU DCS, Cornell DCS, Digital SRC, Indiana DCS, Otago DCS, NZ, Verification Centre at Queensland.
• Japan: Universities including Info Sys Dept in Kobe, and institutions including ETL.
• China: CS Lab of Software Institute and NUDT (CS School).
• Funding bodies
  • EPSRC
  • Framework 6 (IST programme, Marie Curie Actions, FET, STREP )
  • Leverhulme Trust,
• Other institutions and networks:
  • CPHC (Conf of Professors and Heads of Computing)
  • BLC (British Logic Colloquium)
  • TCS-SOUP
    • TCS-SOUP course on type theory (July 2006)***
• Archives and people:
• Who's Who in formal methods.
• Systems:
• Mechanised reasoning and Computer systems for theorem proving etc, including: ALF/Agda, Boyer-Moore, Coq, Elf, HOL, Isabelle, Lambda Prolog, Lego, LOTOS, Mizar, Nuprl, PVS.
• Functional programming:
• Math education and computer algebra systems:
  • Math education systems: Mathpert by Beeson.
  • Computer algebra systems: Maple and Symbolic Comp Group at Waterloo, Mathematica, Axiom, REDUCE, Derive.
  • Logic tools: Tarski's World, Jape, ProveEasy.
  • Math communication systems: OpenMath, MathML,
• Other systems such as concurrency and model-checking systems (eg, Edinburgh Concurrency Workbench, SMV (of CMU), Spin (of Bell Lab)).
• Subjects and related groups, clubs, or mailing lists:
• Technical and other mailing lists: Automated Reasoning Forum, Categories, Lego Algebraic Group, Scottish Theorem Proving, Types list.
• NLP: Computational Linguistics, Linguistics.
• Philosophy: Foundations of Math FOM (FOM archive), Guide to Philosophy.
• CS-related information:
• Seminar series:
RHUL CS seminars, Queen Mary seminars, London Theory Seminars
• UK Univ Research Libs and other lib resources:
RHUL, Durham, Edinburgh, and Emerald library.
• RAE: RAE 2008 RAE'2001 RAE'96
• CS Journals