IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Overview
Works:  374 works in 947 publications in 1 language and 17,516 library holdings 

Genres:  Conference papers and proceedings Periodicals 
Roles:  Editor, Funder, Other 
Classifications:  QA267.7, 004 
Publication Timeline
.
Most widely held works by
IEEE Computer Society
Proceedings by
Symposium on Logic in Computer Science(
)
in English and held by 548 WorldCat member libraries worldwide
in English and held by 548 WorldCat member libraries worldwide
Annual Symposium on Foundations of Computer Science [papers] by Symposium on Foundations of Computer Science(
)
in English and Undetermined and held by 349 WorldCat member libraries worldwide
in English and Undetermined and held by 349 WorldCat member libraries worldwide
Proceedings : Fourth Annual Symposium on Logic in Computer Science by
1990, Philadelphia, Pa.> Symposium on Logic in Computer Science. <5(
Book
)
21 editions published between 1989 and 1991 in English and held by 252 WorldCat member libraries worldwide
21 editions published between 1989 and 1991 in English and held by 252 WorldCat member libraries worldwide
Computer Networking Symposium : proceedings, December 11, 1984, National Bureau of Standards, Gaithersburg, Maryland : a symposium by
Euromicro(
Book
)
26 editions published between 1987 and 2005 in English and Undetermined and held by 186 WorldCat member libraries worldwide
Annotation
26 editions published between 1987 and 2005 in English and Undetermined and held by 186 WorldCat member libraries worldwide
Annotation
Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 2629, 1995, San Diego, California by Symposium on Logic in Computer Science(
Book
)
7 editions published between 1995 and 2002 in English and held by 95 WorldCat member libraries worldwide
7 editions published between 1995 and 2002 in English and held by 95 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(
Book
)
8 editions published in 1991 in English and held by 92 WorldCat member libraries worldwide
8 editions published in 1991 in English and held by 92 WorldCat member libraries worldwide
Proceedings of the Eighth Annual Structure in Complexity Theory Conference by
Structure in Complexity Theory Conference(
Book
)
12 editions published between 1993 and 2002 in English and held by 91 WorldCat member libraries worldwide
12 editions published between 1993 and 2002 in English and held by 91 WorldCat member libraries worldwide
Proceedings, structure in complexity theory : fourth annual conference by
1989, Eugene, Or.) Structure in Complexity Theory Conference (4(
Book
)
3 editions published in 1989 in English and held by 90 WorldCat member libraries worldwide
3 editions published in 1989 in English and held by 90 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(
Book
)
8 editions published between 1992 and 2002 in English and held by 87 WorldCat member libraries worldwide
8 editions published between 1992 and 2002 in English and held by 87 WorldCat member libraries worldwide
Proceedings, Tenth Annual Structure in Complexity Theory Conference : June 1922, 1995, Minneapolis, Minnesota by
Structure in Complexity Theory Conference(
Book
)
10 editions published between 1995 and 2002 in English and held by 85 WorldCat member libraries worldwide
10 editions published between 1995 and 2002 in English and held by 85 WorldCat member libraries worldwide
35th Annual Symposium on Foundations of Computer Science : proceedings ; November 2022, 1994, Santa Fe, New Mexico by
S Goldwasser(
Book
)
7 editions published in 1994 in English and held by 74 WorldCat member libraries worldwide
7 editions published in 1994 in English and held by 74 WorldCat member libraries worldwide
27th Annual symposium on foundations of computer science : October 2729, 1986 by
1986, Toronto) Symposium on Foundations of Computer Science (27(
Book
)
8 editions published in 1986 in English and held by 68 WorldCat member libraries worldwide
8 editions published in 1986 in English and held by 68 WorldCat member libraries worldwide
Proceedings : 32nd Annual Symposium on Foundations of Computer Science : October 14, 1991, San Juan, Puerto Rico by Annual Symposium on Foundations of Computer Science(
Book
)
5 editions published in 1991 in English and held by 68 WorldCat member libraries worldwide
5 editions published in 1991 in English and held by 68 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(
Book
)
8 editions published between 1998 and 2002 in English and held by 66 WorldCat member libraries worldwide
8 editions published between 1998 and 2002 in English and held by 66 WorldCat member libraries worldwide
Proceedings, Twelfth Annual IEEE Conference on Computational Complexity : June 2427, 1997, Ulm, Germany by IEEE Conference on Computational Complexity(
Book
)
5 editions published in 1997 in English and held by 64 WorldCat member libraries worldwide
5 editions published in 1997 in English and held by 64 WorldCat member libraries worldwide
Proceedings, Eleventh Annual IEEE Conference on Computational Complexity : May 2427, 1996, Philadelphia, Pennsylvania by
S Homer(
Book
)
3 editions published in 1996 in English and held by 63 WorldCat member libraries worldwide
3 editions published in 1996 in English and held by 63 WorldCat member libraries worldwide
28th annual Symposium on Foundations of Computer Science : October 1214, 1987 by
1987, Los Angeles, Calif.) Symposium on Foundations of Computer Science (28(
Book
)
8 editions published in 1987 in English and held by 60 WorldCat member libraries worldwide
8 editions published in 1987 in English and held by 60 WorldCat member libraries worldwide
25th Annual Symposium on Foundations of Computer Science : October 2426, 1984 by
Symposium on Foundations of Computer Science(
Book
)
12 editions published in 1984 in English and held by 57 WorldCat member libraries worldwide
12 editions published in 1984 in English and held by 57 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(
Book
)
5 editions published in 1990 in English and held by 55 WorldCat member libraries worldwide
5 editions published in 1990 in English and held by 55 WorldCat member libraries worldwide
30th Annual Symposium on Foundations of Computer Science : October 30November 1, 1989 by Symposium on Foundations of Computer Science(
Book
)
3 editions published in 1989 in English and held by 52 WorldCat member libraries worldwide
3 editions published in 1989 in English and held by 52 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 Editor
 IEEE Computer Society
 Institute of Electrical and Electronics Engineers
 Association for Symbolic Logic
 University of California, Berkeley Department of Electrical Engineering and Computer Sciences
 University of New Orleans
 Northeastern University (Boston, Mass.)
 Kozen, Dexter 1951 Editor
Associated Subjects
Acid sulfate soils Artificial intelligence Computational complexity Computer architecture Computer arithmetic Computer graphics Computer integrated manufacturing systems Computer networks Computer programming Computer programsCorrectness ComputersAccess control Computer scienceMathematics ComputersCircuits Computer softwareQuality control Data protection Digital computer simulation DNA Electric controllers Electric motorsAutomatic control Electronic data processing Electronic data processingDistributed processing Engineering designData processing Expert systems (Computer science) Flexible manufacturing systems Imaging systems in medicine Industrial electronics Integer programming Isomorphisms (Mathematics) Logic, Symbolic and mathematical Logic programming Machine theory Manyvalued logic Medical radiologyData processing Mobile computing Motion control devices Multimedia systems Nonlinear boundary value problems Parallel processing (Electronic computers) Polynomials Privacy, Right of Radiography, MedicalData processing Realtime data processing Reverse engineering RobotsControl systems Software engineering Software maintenance Soil chemistry Switching theory Systems engineering Telecommunication systemsMathematical models
Alternative Names
Computer Society of the IEEE Technical Committee on Mathematical Foundations of Computer Science
Computer Society Technical Committee for Mathematical Foundations of Computing
Computer Society Technical Committee on Mathematical Foundations of Computer Science
Computer Society Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society IEEE Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Technical Committee for Mathematical Foundations of Computing
IEEE Computer Society Technical Committee on Mathematical Foundations of Computer Science
IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
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
Covers