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
• 2013:
  • Foundation of Mathematics for Computer-Aided Formalization (Padova, 9-11 January 2013)***
  • Workshop on Lexicon and Logic (Toulouse, Jan 28-30, 2013)***
  • SALT23 (Santa Cruz, California, May 3-5, 2013; subm: Dec 2, 2012)
  • TYPES 2013 (April 23-26, 2013 in Toulouse)***
  • TLCA 2013 (June 26-28, 2013; Abst subm: 25/1/2013; paper subm: 1/2/2013)
  • IWCS 2013 (Germany; March 2013)
  • SEM 2013 (USA, June 2013)
  • LICS 2013 (June 25-28, 2013, New Orleans, USA; Abstracts: January 7, 2013; Extended Abstracts : January 14, 2013)
    • Workshop on NL & CS (June 28, 2013; subm: May 1)
  • 18th conference on Formal Grammar (FG 2013) (Düsseldorf, August 10-11, 2013; subm: Mar 31)***
  • LAGB 2013 (London; Aug 28-31; Subm: Apr 15)***
  • WoLLIC 2013 (Darmstadt, Germany; August 20th to 23rd, 2013; subm: May 25 (abstract), May 29 (full))
  • Dummett Day & BLC (Dummett Day: Sept 4-5; BLC: Sept 5-7)
  • Conference on Type Theory, Homotopy Theory and Univalent Foundations (Bellaterra, close to Barcelona; Sept 23-27, 2013; subm: July 1, 2013)
• 2014:
  • Vienna Summer of Logic 2014, including FLoC (VSL: July 9-24, 2014)
  • ESSLLI 2014 (Aug 11-22, 2014)***