| | - Esiea Labs
Research and development club of esiea, l’Ecole Supérieure d’Informatique Electronique Automatique, Paris, France. ...
http://labs.esiea.fr/
|
| |
- Research groups in Logic
Covered areas of this list are Theoretical Computer Science, Logic in Computer Science, Mathematical Logic, Philosophical Logic. ...
http://www.cs.swan.ac.uk/~csetzer/logic-server/index.html
|
| |
|
- Portia
Increasing use of computers and networks in business, government, recreation, and almost all aspects of daily life has led to a proliferation of online sensitive data, i.e., data that, if used improperly, can harm the data subjects. As a result, conc ...
http://crypto.stanford.edu/portia/
| | |
| |
- University Of Oxford
The Computing Laboratory — the Universitys Computer Science department — is at the heart of computing and related interdisciplinary activity at Oxford. It is a centre for research in computer science, numerical analysis, computational biology, quantu ...
http://www.comlab.ox.ac.uk/
|
| |
- The Stanford CS
As theoretical computer scientists, we seek greater understanding of fundamental computational techniques and their inherent limitations. Research includes the development of new sequential and parallel algorithms, computational problems in databases ...
http://theory.stanford.edu/
| | - ICS Theory
Research centers on the design and analysis of algorithms and data structures as well as computational complexity. ...
http://www.ics.uci.edu/~theory/
|
| |
- MIT LCS Theory of Computation
Theory of Computation TOC is the study of the inherent capabilities and limitations of computers: not just the computers of today, but any computers that could ever be built. By its nature, the subject is close to mathematics, with progress made by c ...
http://theory.csail.mit.edu/
| | - The Cambridge Theory
The work of the Theory and Semantics Group is centred round mathematical models of a variety of languages and logics. These models are intended to be used as a tool for clarifying programming concepts, as a basis for specification and verification, a ...
http://www.cl.cam.ac.uk/Research/TSG/
|
| |
- Aspects of Computing Science
FACS, the specialist group of the British Computer Society for practitioners in Formal Aspects of Computing Science. With members drawn from both industry and academia, FACS acts as a bridge between the two communities, helping British industry to st ...
http://www.bcs-facs.org/
| | - Algorithm and Complexity Group
The research group is very active, with a weekly seminar and various other regular meetings, such as the problem solving session, where research problems are posed and solved with students, and the discussion group, where techniques and problems from ...
http://algcomp.uwaterloo.ca/
|
| |
