Memberships and Subscriptions Catalog

 

Mathematical Foundations of Computing, IEEE Computer Society Technical Committee on

Mathematical Foundations of Computing, IEEE Computer Society Technical Committee on
 
 

The IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) is the technical committee of the Computer Society focused on theoretical computer science. Theoretical computer science uses mathematical tools to model and analyze the power, complexity, and design of computing devices, algorithms, and programs. It also uses these mathematical tools to study and model algorithmic questions in natural and social systems. The annual Symposium on Foundations of Computer Science (FOCS), which presents original research on the theory of computation, is the founding conference of the field and TCMF's flagship activity. TCMF sponsors, or cosponsors, other conferences and activities including the annual Symposium on Logic in Computer Science (LICS) and the Conference on Computational Complexity (CCC).


Web site:

http://www.computer.org/portal/web/tcmf/

 
 
 
 
 
 
 
 
 
 
 
 
 
Member Prices
 
IEEE professional member
 
IEEE student member
 
Sponsoring society member
 
Sponsoring society student member
 
 
 
Help
 
 
Help
 
 
 
 
 
 
Determining your price Help