Associations and Research Centres:

• ACM - Association for Computing Machinery
• SIGACT - Special Interest Group on Algorithms and Computation Theory
• AMS - American Mathematical Society
• BRICS - Basic Research in Computer Science (Denmark)
• CMS - Canadian Mathematical Society
• DIMACS - Center for Discrete Mathematics and Theoretical Computer Science
• DIMATIA - Center for Discrete Mathematics, Theoretical Computer Science and Applications
• EATCS - European Association for Theoretical Computer Science
• EMS - European Mathematical Society
• IGPL - Interest Group in Pure and Applied Logics
• IEEE Computer Society
• IMU - International Mathematical Union
• MAA - Mathematical Association of America
• RUTCOR - Rutgers Center for OperationsResearch
• SIAM - Society for Industrial and Applied Mathematics
• SIAM Activity Group on Discrete Mathematics
• TUCS - Turku Centre for Computer Science

---

Special interest groups:

• Proof complexity mailing list
• AMAST - Algebraic Methodology And Software Technology
• Parametrized Complexity

---

ISSN 1433-8092 | Imprint