University of Wales Swansea|
Department of Computer Science|
Theoretical Computer Science
Covered areas of this list are
- Mathematical Logic
- Logic in Computer Science and Theoretical Computer Science
- Philosophical Logic
- Philosophy of Computer Science
Please help to keep this site up to date and send additions and corrections to
Thank you.
Links, sorted by topic
- Research groups,
Conferences,
Books,
Electronic Books,
People,
Journals, Newsletters,
Publishers,
Bibliographies, Literature,
- Associations, Projects etc.,
Mailing lists, Newsgroups,
Research Areas,
Collections of Sites,
- Search Engines,
Software, Theorem Provers,
Hardware
Prizes,
Philosophy of Computer Science
Foundations of Mathematics (general),
History,
Interesting links.
Dictionaries.
Other links.
Research groups, sorted by location (some by name)
(Places with different names in different languages occurr more than once; different
orders of special symbols like ä,ö,ü,å are supported;
some names of institutions, which do not indicate the place to look
for are included)
A -
B -
C -
D -
E -
F -
G -
H -
I -
J -
K -
L -
M -
N -
O -
P -
Q -
R -
S -
T -
U -
V -
W -
X -
Y -
Z -
Å -
Ä -
Ö -
Ü
- A
- B
-
Bangor,
Barcelona,
Bath,
Beer Sheva,
Ben-Gurion,
Bärn,
Berlin,
Berkley,
Bern,
Berna,
Berne,
Birmingham,
Bloomington,
Bombay,
Bonn,
Boston,
Brasil,
Brasilien,
Bratislava,
Bratislave,
Braunschweig,
Brazil,
Bremen,
BRICS,
Brisbane,
Brnì
Brno,
Brün,
Buffalo,
Bundes-Forschungsministerium,
Bärn,
- C
- California,
Calgary,
Caltech,
Cambridge,
Campinas,
Canberra,
Canterbury,
Cardiff,
Carnegie-Mellon,
Chalmers,
Chestnut Hill,
Chicago,
CMU,
Copenhagen,
Conneticut,
Cork,
Cornell University,
- D
-
Dagstuhl,
Darmstadt,
Davis,
Delaware,
DIMACS,
Djursholm,
Donostia,
Dortmund,
Dresden,
Durham,
DVMLG,
- E
- F
-
FAST,
Florida,
Forschungsinstitut,
Forschungsministerium,
Frankfurt,
Freiburg (im Breisgau, Germany),
Freiburg (im Uechtland, Switzerland),
Fribourg (Allemagne),
Fribourg (Suisse),
Furtwangen,
- G
-
Genève,
Genf,
Gent,
Ghent,
Glasgow,
Goeteborg,
Göteborg,
Gothenborg,
Gothenburg,
GMD,
Graz,
Greifswald,
Göteborg,
- H
- I
-
ICSI,
Ilmenau,
Illinois,
Industrilogik,
Imperial College,
Indiana,
INRIA,
Institute Mittag-Leffler,
Irvine,
Ishikawa,
Israel,
Ithaca ,
- J
- K
-
Kaiserslautern,
Kalifornien,
Karlsruhe,
Kent,
Kiel,
King's College,
Kista,
Kobe,
Koblenz,
Konstanz,
København,
Kopenhagen,
Köpenhamn,
København,
- L
-
Lahore,
Leeds,
Leicester,
Lisboa,
Lisbon,
Lissabon,
London,
Los Angeles,
Lübeck,
Luebeck,
Luminy,
Lübeck,
- M
-
Madison ,
Madrid,
Mainz,
Manchester,
Marseille,
Mathematisches Forschungsinstitut,
Mc Gill,
Melbourne,
Michigan,
Microsoft Research,
Minnesota,
MIT,
Mittag-Leffler Institute,
Monaco (München),
Monash,
Montréal,
Moscow,
Moskau,
Muenchen,
Muenster,
München,
Munich,
Münster,
- N
-
Naturvetenskapliga Forskningsrådet,
Negev,
New Brunswick,
New Jersey,
Newton Institute,
NFR,
Nijmegen,
Notre Dame,
Novosibirsk,
Nuernberg,
Nürnberg,
- O
- P
-
Paderborn,
Padova,
Padua,
Parigi,
Paris,
Pasadena,
Passau,
Pennsylvania,
Penstate,
Pisa,
Pittsburgh,
Prag,
Prague,
Praha,
Preßburg,
Princton,
- Q
- R
-
Rehovot,
Riga,
Riverside,
Rochester,
Rom,
Roma,
Rome,
Roskilde,
Russia,
Rußland,
Russland,
Ryssland,
Rutgers,
- S
-
Saarbrücken,
Saarbruecken,
Saint Andrews,
Salamanca,
San Diego,
San Sebastián,
Santa Barbara,
Santa Cruz,
SICS,
Siegen,
Siena,
Solna,
South Bend,
SRI,
Stanford,
St Andrews,
Stirling,
Stoccolma,
Stockholm,
Swansea,
Swedish Academy of Sciences,
Syracuse,
- T
-
Talin,
Tallinn,
Technion,
Tekniska Forskningsrådet,
Tel Aviv,
TFR,
Torino,
Toronto,
Trier,
Tübingen,
Tuebingen,
Turin,
Tübingen,
- U
- V
- W
-
Wales,
Warwick,
Waterloo,
Weizmann Institute,
Wellington,
Westfield College,
Wien,
Wisconsin,
Wuerzburg,
Wurzburg,
Würzburg,
- X
- Y
- Z
- Å
- Ä
- Ö
- Ü
back to Theoretical
Computer Science at Swansea
back to Computer Science at Swansea
Please mail additions and corrections to
Anton Setzer ,
.