IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Overview
Works:  504 works in 995 publications in 1 language and 21,050 library holdings 

Genres:  Conference papers and proceedings Periodicals 
Roles:  Editor, Other, Sponsor, Funder, Organizer of meeting 
Classifications:  QA267.7, 511.3 
Publication Timeline
.
Most widely held works by
IEEE Computer Society
Proceedings by IEEE Conference on Computational Complexity(
)
in English and held by 359 WorldCat member libraries worldwide
in English and held by 359 WorldCat member libraries worldwide
Annual Symposium on Foundations of Computer Science [papers] by Symposium on Foundations of Computer Science(
)
in English and held by 329 WorldCat member libraries worldwide
in English and held by 329 WorldCat member libraries worldwide
Proceedings, structure in complexity theory : fourth annual conference by Structure in Complexity Theory Conference(
)
4 editions published in 1989 in English and held by 318 WorldCat member libraries worldwide
4 editions published in 1989 in English and held by 318 WorldCat member libraries worldwide
Proceedings of the Seventh Annual Structure in Complexity Theory Conference : June 2225, 1992, Boston University, Boston,
Massachusetts by
1992, Boston, Mass.> Structure in Complexity Theory Conference. <7(
)
6 editions published between 1992 and 2002 in English and held by 314 WorldCat member libraries worldwide
6 editions published between 1992 and 2002 in English and held by 314 WorldCat member libraries worldwide
Proceedings of the Eighth Annual Structure in Complexity Theory Conference by
Structure in Complexity Theory Conference(
)
7 editions published in 1993 in English and held by 309 WorldCat member libraries worldwide
7 editions published in 1993 in English and held by 309 WorldCat member libraries worldwide
Proceedings of the Sixth Annual Structure in Complexity Theory Conference, June 30July 3, 1991, University of Chicago, Chicago,
Illinois by Structure in Complexity Theory Conference(
)
4 editions published in 1991 in English and held by 309 WorldCat member libraries worldwide
4 editions published in 1991 in English and held by 309 WorldCat member libraries worldwide
35th Annual Symposium on Foundations of Computer Science : proceedings ; November 2022, 1994, Santa Fe, New Mexico by
S Goldwasser(
)
7 editions published in 1994 in English and held by 303 WorldCat member libraries worldwide
7 editions published in 1994 in English and held by 303 WorldCat member libraries worldwide
Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 2629, 1995, San Diego, California by
Dexter Kozen(
)
7 editions published in 1995 in English and held by 300 WorldCat member libraries worldwide
7 editions published in 1995 in English and held by 300 WorldCat member libraries worldwide
Proceedings, Tenth Annual Structure in Complexity Theory Conference : June 1922, 1995, Minneapolis, Minnesota by
Structure in Complexity Theory Conference(
)
5 editions published in 1995 in English and held by 300 WorldCat member libraries worldwide
5 editions published in 1995 in English and held by 300 WorldCat member libraries worldwide
Proceedings : the Sixth Annual IEEE Symposium on Logic in Computer Science ; July 1518, 1991, Amsterdam, the Netherlands by Symposium on Logic in Computer Science(
)
5 editions published in 1991 in English and held by 294 WorldCat member libraries worldwide
5 editions published in 1991 in English and held by 294 WorldCat member libraries worldwide
Proceedings : 32nd Annual Symposium on Foundations of Computer Science : October 14, 1991, San Juan, Puerto Rico by Symposium on Foundations of Computer Science(
)
4 editions published in 1991 in English and held by 290 WorldCat member libraries worldwide
4 editions published in 1991 in English and held by 290 WorldCat member libraries worldwide
Proceedings, Eleventh Annual IEEE Conference on Computational Complexity : May 2427, 1996, Philadelphia, Pennsylvania by Structure in Complexity Theory Conference(
)
3 editions published in 1996 in English and held by 289 WorldCat member libraries worldwide
3 editions published in 1996 in English and held by 289 WorldCat member libraries worldwide
30th Annual Symposium on Foundations of Computer Science : October 30November 1, 1989 by
1989, Research Triangle Park, NC) Symposium on Foundations of Computer Science (30(
)
7 editions published in 1989 in English and held by 289 WorldCat member libraries worldwide
7 editions published in 1989 in English and held by 289 WorldCat member libraries worldwide
Proceedings, Twelfth Annual IEEE Conference on Computational Complexity : June 2427, 1997, Ulm, Germany by IEEE Conference on Computational Complexity(
)
4 editions published in 1997 in English and held by 287 WorldCat member libraries worldwide
4 editions published in 1997 in English and held by 287 WorldCat member libraries worldwide
Proceedings, Thirteenth Annual IEEE Conference on Computational Complexity : (formerly, Structure in Complexity Theory Conference)
: June 1518, 1998, Buffalo, New York, USA by IEEE Conference on Computational Complexity(
)
3 editions published in 1998 in English and held by 287 WorldCat member libraries worldwide
3 editions published in 1998 in English and held by 287 WorldCat member libraries worldwide
28th annual Symposium on Foundations of Computer Science : October 1214, 1987 by
Symposium on Foundations of Computer Science(
)
8 editions published between 1987 and 1988 in English and held by 283 WorldCat member libraries worldwide
8 editions published between 1987 and 1988 in English and held by 283 WorldCat member libraries worldwide
27th Annual symposium on foundations of computer science : October 2729, 1986 by Symposium on Foundations of Computer Science(
)
4 editions published in 1986 in English and held by 283 WorldCat member libraries worldwide
4 editions published in 1986 in English and held by 283 WorldCat member libraries worldwide
23rd Annual Symposium on Foundations of Computer Science : November 35, 1982 by
1982, Chicago, Ill.) Symposium on Foundations of Computer Science (23(
)
8 editions published between 1981 and 1982 in English and held by 280 WorldCat member libraries worldwide
8 editions published between 1981 and 1982 in English and held by 280 WorldCat member libraries worldwide
25th Annual Symposium on Foundations of Computer Science : October 2426, 1984 by
Symposium on Foundations of Computer Science(
)
10 editions published in 1984 in English and held by 277 WorldCat member libraries worldwide
10 editions published in 1984 in English and held by 277 WorldCat member libraries worldwide
Proceedings : 31st Annual Symposium on Foundations of Computer Science : October 2224, 1990, St. Louis, Missouri by
Symposium on Foundations of Computer Science(
)
3 editions published in 1990 in English and held by 276 WorldCat member libraries worldwide
3 editions published in 1990 in English and held by 276 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 ACM Special Interest Group for Automata and Computability Theory
 European Association for Theoretical Computer Science
 ACM Special Interest Group for Algorithms and Computation Theory Organizer of meeting Editor
 IEEE Computer Society
 Institute of Electrical and Electronics Engineers Sponsor
 Association for Symbolic Logic
 University of California, Berkeley Department of Electrical Engineering and Computer Sciences
 University of New Orleans
 Kozen, Dexter 1951 Editor
 University of Oregon
Associated Subjects
Computational complexity Computer programming Computers Computer science Computer scienceMathematics Computer scienceStudy and teaching ComputersCircuits DNA Electronic data processing Electronic digital computers Integer programming Isomorphisms (Mathematics) Logic, Symbolic and mathematical Logic programming Machine theory Machine theoryData processing Nonlinear boundary value problems Polynomials Reverse engineering Robots Software engineering Switching theory
Covers
Alternative Names
Computer Society Technical Committee on Mathematical Foundations of Computer Science
IEEE Computer Society Technical Committee for Mathematical Foundations of Computing
IEEE Computer Society Technical Committee on Mathematical Foundations of Computer Science
IEEE Technical Committee on Mathematical Foundations of Computing.
Institute of Electrical and Electronics Engineers Computer Society Technical Committee on Mathematical Foundations of Computing
TCMF
Technical Committee for Mathematical Foundations of Computing
Technical Committee on Mathematical Foundations of Computer Science
Technical Committee on Mathematical Foundations of Computing.
Languages