|
TCMF TC on Mathematical Foundations of ComputingTC 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
|
