Research groups in Logic and Theoretical Computer Science

• 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.

• How to search logic-servers world-wide
• Other Collections of Links can be found here
• Google's list "Logic and foundations"
• Open Directory - Science:Math:Logic

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)

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
  • Aachen, Aarhus, Amsterdam, (St) Andrews, Auckland, Augsburg, Australian National University, Arhus, Århus,
• 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, Cork, Cornell University,
• D
  • Dagstuhl, Darmstadt, Davis, Delaware, DIMACS, Djursholm, Donostia, Dortmund, Dresden, Durham, DVMLG,
• E
  • Edinburgh, Erlangen, Estocolmo, Estland, Estonia,
• 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
  • Hagen, Hannover, Haifa, Harvard, Hebrew University, Heidelberg, Helsingfors, Helsinki, Hiroshima,
• I
  • ICSI, Ilmenau, Illinois, Industrilogik, Imperial College, Indiana, INRIA, Institute Mittag-Leffler, Irvine, Ishikawa, Israel, Ithaca ,
• J
  • JAIST, Japan, Jerusalem, Jena,
• 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
  • Oberwolfach, Ohio, Oslo, Oxford,
• P
  • Paderborn, Padova, Padua, Parigi, Paris, Pasadena, Passau, Pennsylvania, Penstate, Pisa, Pittsburgh, Prag, Prague, Praha, Preßburg, Princton,
• Q
  • Queen Mary and Westfield College,
• 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
  • UCI, UCLA, Ulm, Umeå, Uppsala, Urbana, Utah, Utrecht,
• V
  • Vien, Vienna, Vienne,
• W
  • Wales, Warwick, Waterloo, Weizmann Institute, Wellington, Westfield College, Wien, Wisconsin, Wuerzburg, Wurzburg, Würzburg,
• X
• Y
  • Yerusalem,
  • York,
• Z
  • Zuerich, Zurich, Zürich,
• Å
  • Århus.

• Ä
• Ö
• Ü

back to Computer Science at Swansea Please mail additions and corrections to Anton Setzer , .

---

Dept. of Computer Science, University of Wales Swansea | Last modified: Nov 19, 1999 | URL http://www.cs.swan.ac.uk/~csetzer/logic-server/index.html | Anton Setzer,

• University of Wales Swansea
  • Department of Computer Science
    • Theoretical Computer Science