List of Research Groups in Logic and Theoretical Computer Science World-wide

Barcelona

• University of Barcelona
  • Department of Logic, History and Philosophy of Science (attached to the faculties of philosophy and of mathematics and with affiliation to the faculty of philology)
    • PhD program: Logic and Foundations of Mathematics
    • PhD program cognitive science and language
  • Faculty of Mathematics
  • Faculty of Philosophy
  • Faculty of Philogolgy
• Universitat Politècnica de Catalunya
  • Department of Software. Universitat Politecnica de Catalunya
    • Department of Software. Universitat Politecnica de Catalunya
    • FACULTAT D'INFORMATICA DE BARCELONA
• Center de Recerca Matemàtica

• back to table of contents for Logic Servers Worldwide
• back to Theoretical Computer Science at Swansea
• back to Computer Science at Swansea

Please mail additions and corrections to Anton Setzer , .

---

Dept. of Computer Science, University of Wales Swansea | Last modified: Sunday, Sept. 13 1998 | URL http://www-compsci.swan.ac.uk/~csetzer/logic-server/barcelona.html | Anton Setzer,

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