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

Lisboa, Portugal(English: Lisbon, German: Lissabon)

• Universidade Tecnica de Lisboa
  • Instituto Superior Tecnico (IST)
    • Department of Mathematics
      • Section of Computer Science
        • Logic and Computation Group (LCG) (joint group with the Applied Mathematics Centre)
          • Amílcar Sernadas
    • Applied mathematics centre (together with the universities of Algarve and Madeira; member of Centro Internacional de Matemática (CIM)
      • Logic and Computation Group (LCG) (joint group with the section of computer science, see above)

• 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 Mathematics, Group for Mathematical Logic Last modified: Oct 12, 1999 | URL http://www-compsci.swan.ac.uk/~csetzer/logic-server/lisbon.html | Anton Setzer,

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