Technical Community on Mathematical Foundations of Computing (TCMF)
TCMF focuses on theoretical computer science and mathematical tools to model and analyze computing devices, algorithms, and programs.
What Are the Benefits of Joining TCMF?
The IEEE Technical Community on Mathematical Foundations of Computing (TCMF) brings together researchers advancing theoretical computer science through mathematics, including complexity theory, algorithms, and computational models.
Members participate in major events like the IEEE Symposium on Foundations of Computer Science (FOCS) and the IEEE Symposium on Logic in Computer Science (LICS), and can be recognized through honors such as the Knuth Prize and TCMF Distinguished Service Award.
Membership is free and open to all. Join now to grow your network, deepen your theoretical expertise, and help shape the future of computing foundations.
Engage with the IEEE Computer Society Technical Community on Mathematical Foundations of Computing (TCMF) to explore and advance theoretical computer science, addressing algorithmic challenges and the mathematical modeling of computational systems.
EMAIL TCMF CHAIRExecutive Committee
- Chair: Ran Canetti
- Vice Chair: Rocco Servedio
TCMF-Sponsored Conferences
- IEEE Symposium on Foundations of Computer Science (FOCS)
- IEEE Symposium on Logic in Computer Science (LICS)
