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

Bremen

• Universität Bremen (University of Bremen)
  • Fachbereich 3: Mathematik und Informatik (Dept. of Mathematics and Computer Science)
    • Formal Methods for Software Development
      • FLIRTS -- Formalism, Logic, Institution - Relating, Translating and Structuring

      • Markus Roggenbach

• 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: Oct 6, 2002 | URL http://www-compsci.swan.ac.uk/~csetzer/logic-server/bremen.html | Anton Setzer,

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