Links
Organizations
- ACM (Association for Computing Machinery)
- IEEE Computer Society
- SIAM (Society for Industrial and Applied Mathematics)
- AAAI (American Association for Artificial Intelligence)
- EATCS (European Association for Theoretical Computer Science)
- AMS (American Mathematical Society)
- MAA (Mathematical Association of America)
- ECCC (Electronic Colloquium in Computational Complexity)
Conferences
- CADE - Conference on Automated Deduction
- CAV - Computer Aided Verification
- LICS - IEEE Symposium on Logic in Computer Science
- FTP - International Workshop on First-Order Theorem Proving
- LPAR - Logic for Programming Artificial Intelligence and Reasoning
Projects
- AVACS - Automatic Verification and Analysis of Complex Systems
- CPEC - Center for Perspicuous Computing
- Verisoft