Home
|
Training
|
Research
|
Members
|
About
|
News
Contact
Mission
Facilities
Directions
PhD Candidates
Links
Organisations and Funding Bodies.
Associations and Major Conferences.
Research Laboratories and Centres.
Research Projects.
Publishers.
Miscellaneous and Archives.
Organisations and Funding Bodies
EPSRC
ESPRIT
British Computer Society
IFIP
The Royal Society
IEE
IEEE Computer Society
ACM
London Mathematical Society
Back
Associations And Major Conferences
Formal methods Europe
IFAD
Formal Aspects of Computing Science
European Association for Theoretical Computer Science
Mathematical Foundation of Programming Semantics
CADE general particulars
.
Marktoberdorf
summer school
OpenMath
QED project
Typed Lambda Calculi and Applications
EURMICRO
Reengineering Forum
CPHC Research Strategy Group
(UK)
EAPLS
(European Association for Programming Languages and Systems)
Back
Research Laboratories and Centres
MSR
(Microsoft Research Laboratory, Cambridge)
CWI
IEEE Real-Time Research Repository
LFCS
(Laboratory for Foundation of Computer Science)
BRICS
Systematic Program Development Group
at
MIT
HP Labs' Research
UNU/IIST
(International Institute for Software Technology)
PRG
(Programming Research Group, Oxford)
University of Cambridge Computer Laboratory
CSR
(Centre for Software Reliability, Newcastle university)
Real-Time Systems Research Group
at York, UK.
Argonne National Laboratory, Mathematics and Computer Science Division
AT&T Bell Labs
. Also
FTP Area
.
ASTEC
((Advanced Software TEChnology), Uppsala
Weizmann Institute of Science
Turku Centre for Computer Science
Back
Research Projects
Forum on
Reverse and re-engineering
Reverse and re-engineering bibliography
Software Engineering Institute
(SEI)
ProCoS
(Provably Correct Systems).
Back
Publishers
Springer-Verlag
(UK)
MIT
Academic Press
Prentice Hall
Formal Methods In System Design Journal
Journal of
Automated Reasoning
Cambridge University Press
Computer Journal
Information Processing Letters
Elsevier
.
Journal of
Functional Programming
.
Kluwer Academic Publishers
. Also
LISP and Symbolic Computation
Journal of
Logic and Computation
Journal of
The Journal of Logic and Algebraic Programming
Mathematical Structures in Computer Science
Springer-Verlag
.
Science of Computer Programming
Software - Practice and Experience
Theoretical Computer Science
The Times Higher Education Supplement
Journal of
Universal Computer Science
.
Back
Miscellaneous and Archives
The
Higher Education Map
at the University of Wolverhampton.
Jonathan Bowen
formal methods archive
page has many useful links.
On-line
Dictionary Of Computing
Larch
Homepage
Action Calculi
Real-Time Encyclopaedia
Research Languages Overviews
(it contains many useful information and links to other useful sites.)
Programming Language Research
(A collection of information and resources for research in programming language theory, design, implementation, and related areas.)
Edinburgh Engineering Virtual Library
The PVS Verification System
Automated Reasoning Group
at University of Cambridge.
Mechanized Reasoning Community
A Collection of Computer Science Bibliographies
Harvard University Department of Computer Science
.
Stanford University
. Department of
Computer Science
Uppsala University
(Computer Science)
The
BCS
VIUF
(VHDL International Users' Forum)
HOL-Z prover
Back
Contact
Mission
Facilities
Directions
PhD Candidates
Links
Aug 18 2011
Home
|
Training
|
Research
|
Members
|
About
|
News
Contact