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
- Other institutions and networks:
-
Archives and people:
-
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:
-
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:
- CS-related information:
Back to Zhaohui Luo's home page.