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

Associations, Projects

• Lists of organizations
  • Logic and Set Theory Organizations
• Academy of Sciences
  • Royal Swedish Academy of Sciences
    • The Mittag-Leffler Institute (in Djursholm; international institute for advanced mathematical research)
• Associations specific for logic
  • ASL Association for Symbolic Logic
  • DVMLG (German logic association)
  • British Logic Colloquium
  • Lics (Logic in Computer Science)
  • Kurt Gödel Society
  • Brasilian society of logic
  • AILA (Associazione Italiana di Logica e sue Applicazioni -- Italian association for logic and its applications)
• Associations related to Mathematics
  • SIAM Society for Industrial and Applied Mathematics
• Associations related to Computer Science
  • EATCS (European Association of Theoretical Computer Science
  • ACM Association for Computing Machinery (Another link to the same page (?))
  • British Colloquium for Theoretical Computer Science
  • Gesellschaft für Informatik-Online: GI im WWW und Internet
• Associations in Engineering
  • IEEE Institute of Electrical and Electronics Engineers
• Research Projects
  • Research project Logic in Philosophy (DFG)
  • Schwerpunkt "Deduktion" der Deutschen Forschungsgemeinschaft | another page
  • TYPES working group on types for proofs and programs
  • APPSEM working group on applied semantics
  • NADA Project
• Mathematical Societies
  • AMS American Mathematical Society
  • Australian Mathematical Society
  • Canadian Mathematical Society
  • Deutsche Mathematiker-Vereinigung (DMV) ( Another Server)
  • Edinburgh Mathematical Society
  • European Mathematical Society (EMS)
  • Hong Kong Mathematical Society
  • International Linear Algebra Society
  • International Mathematical Union (IMU)
  • International Society of Dynamic Games
  • Korean Mathematical Society
  • Korean Society for Industrial and Applied Mathematics
  • London Mathematical Society
  • Mathematical Association of America
  • Mathematische Gesellschaft in Hamburg
  • Mathematical Institute of the Hungarian Academy of Sciences
  • Russian Academy of Sciences, Department of Mathematics
  • Russian Academy of Sciences, IPS, Mathematical Branch
  • SASIAM (Italy)
  • Society for Industrial and Applied Mathematics
  • Sociedad de Matemática de Chile
  • Turkish Mathematical Society
  • Union Matematica de America Latina y el Caribe
  • Unione Matematica Italiana
• Academies of Science
  • National Academy of Sciences
  • National Science Foundation
  • NSF Science and Technology Information System (STIS)
  • Die Österreichische Akademie der Wissenschaften
• Other
  • The WWW Virtual Library: Computing

• 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 12, 1999 | URL http://www-compsci.swan.ac.uk/~csetzer/logic-server/associations.html | Anton Setzer,

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