Berkeley Theory Group
Research center advancing the mathematical foundations of computer science, algorithms, and computational theory.
COLT - Conference on Learning Theory
The premier annual international conference on the theory of machine learning and artificial intelligence.
Learning Theory
http://www.learningtheory.org
MIT Theory of Computation Group
Research group investigating foundational computational models, complexity theory, and cryptographic protocols.
Stanford Computer Science Theory Group
Academic research group exploring theoretical computer science, algorithms, cryptography, and computational complexity.