TC on Mathematical Foundations of Computing

TC on Mathematical Foundations of Computing (TCMF) is interested in the mathematics underlying the power, complexity, and design of computing devices, algorithms, and programs. It sponsors the annual Symposium on Foundations of Computer Science, which presents original research on such topics as automata and formal languages, computational complexity, data structures, formal semantics, mathematics of computation, mathematical studies of computer systems, and algorithm theory. The International Symposium on Foundations of Computer Science (FOCS) is this TC's annual flagship activity; it also sponsors and cosponsors other conferences in cooperation with ACM SIGACT.  

Mathematical Foundations of Computing TC Chair:

Paul Beame
Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA 98195-2350
USA
Phone: +1 206 543 5114
Email: beame@cs.washington.edu