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:
  • STACS'10 (March 4-6, 2010 - Nancy, France; subm: September, 22nd, 2009)
  • Workshops affiliated with POPL 2010:
    • PLPV'10 (Jan 19, 2010, Spain; subm DL: October 8, 2009)
    • TLDI'10 (Saturday, 23 January, 2010; subm: 5 October 2009 (Monday))
  • FLOPS 2010 (April 19-21, 2010; Sendai, Japan; subm: Abstract: October 16, 2009/Paper: October 23, 2009)
  • SALT20 (April 29 - May 1, 2010; subm: Dec. 1, 2009)***
  • FLoC'2010 (9-21/7/2010, Edinburgh)
    • LICS (July 11-14; Subm DL: Jan 17; notification: Mar 20)***
    • ITP-10 (July 11-14; Subm DL: Jan 22; notification: Mar 15)***
    • IJCAR, CAV: 16-19/7/2010
    • MLPA-10 (July 16, 2010)***
  • ICALP'10 (July 5-12, 2010, Bordeaux, France; subm: Feb 10, 2010)
  • ESSILLI 2010 (DENMARK; AUGUST 9-20, 2010)***
  • WoLLIC 2010 (6-9/7/2010; subm: 28/2/2010: abstract and 7/3/2010: paper)
  • CSL 2010 (Aug 23-27, 2010; subm: March 26, 2010 for Abstracts; April 2, 2010 for Full papers)***
  • ICFP 2010 (September 27-29, 2010; subm: 2 April 2010)
  • RADICAL 2010 (May 10-11, 2010, Microsoft Research, Cambridge)***
  • CL&C 2010 (August 21-22, 2010, Czech; Subms: June 13, 2010 (abstract) and June 27, 2010 (paper))***
  • Trusted Extensions of ITSs (Cambridge, August 11-12, 2010)
  • TYPES 2010 (Warsaw, Oct 13-16, 2010)***
• 2011:
  • WoLLIC 2011 (Pennsylvania, Philadelphia, USA; May 18th to 21st, 2011; subm: January 1, 2011 (abstract) January 8, 2011 (paper deadline))