Useful pointers

• Institutions and networks:
• UK Universities and CS Departments: Cambridge DCS, Durham DCS, 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 (ICT, MathFit)
  • Framework 6 (IST programme, Marie Curie Actions, FET, STREP )
  • Leverhulme Trust,
  • UK e-Science core programme.
• Other institutions and networks:
  • CPHC (Conf of Professors and Heads of Computing)
  • BLC (British Logic Colloquium)
  • e-Science centre
  • TCS-SOUP
    • TCS-SOUP course on type theory (July 2006)***
• Archives and people:
• Who's Who in formal methods.
• SIGACT virtual rolodex of theoretical computer scientists.
• 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: Cayenne.
• 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 and some conferences and workshops since 1996:
• 1996, 1997, 1998-1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011
• 2012:
  • SALT 22 (University of Chicago, May 18-20, 2012; subm DL: January 3, 2012, 11:59pm CST)***
  • 4th Formal Topology Workshop (Ljubljana; June 15th to 19th 2012)***
    • Workshop on Higher Dimensional Algebra, Categories and Types (June 20, 2012)***
  • LACL 2012 (Nantes, July 2-4, 2012; subm: Feb 12, 2012)***
  • ITP 2012 (Princeton, 13-16 August 2012; abstract subm: 6/2/2012; paper subm: 13/2/2012)
  • Proceedings of TYPES 2011 (Subm DL: 1/6/12)***
  • Sinn und Bedeutung 17 (SuB17) (Paris: September 8-10, 2012; Subm DL:April 16, 2012)***
  • Mass/Count: International Multidisciplinary Colloquium (Paris: 20/21-Dec-2012; Subm: June 29, 2012)