Some sites

• FIMONET homepage
• The Helsinki Logic Group
• University of Helsinki, Department of Mathematics
• University of Helsinki, Department of Computer Science
• Mathematical logic at Uppsala University

• Finite model theory (Aachen)
  • Open problems in FMT (Latex version)
  • Open problems in FMT (Postscript version)
  • People working in Finite Model Theory
  • References in Finite Model Theory
• Freiburg-logik
• University of Mainz
• Technical University of Vienna
  • Home Page of the Kurt Goedel Society

• University of Wales Swansea, Department of Computer Science
• University of Leicester, Department of Mathematics and Computer Science
  • Complexity Theory from Logic
• Department of Computer Science, LaBRI, Bordeaux-1 University
• INRIA
• CIRM

• National Technical University of Athens
• Technion, Department of Computer Science

• University of California, Santa Cruz
• UCLA Department of Mathematics
• UCSD Computer Science and Engineering
• The Logic and Computation Group (UPenn CIS)
• Princeton University Computer Science
• Rice University Computer Science Department
• University of Massachusetss, Theoretical Computer Science Group
  • Descriptive Complexity

• University of Western Australia, Department of Mathematics
• University of Melbourne, Department of Computer Science
• Institute of Systems Science, Singapore

• Center for Discrete Mathematics and Theoretical Computer Science (DIMACS)
• IEEE Symposium on Logic in Computer Science (LICS)
• Research groups for Mathematical Logic and Theoretical Computer Science

[Home]

[Jours]

[Assos]

[Confs]

[Jobs]

[Miscs]

[Finns]

[E-mail]