#
IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing
Resource Information
The organization ** IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing** represents an institution, an association, or corporate body that is associated with resources found in **University of Liverpool**.

The Resource
IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing
Resource Information

The organization

**IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing**represents an institution, an association, or corporate body that is associated with resources found in**University of Liverpool**.- Label
- IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing

- Subordinate unit
- Technical Committee on Mathematical Foundations of Computing

## Context

Context of IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing#### Contributor of

- 15th Annual Symposium on Switching and Automata Theory : October 14-16, 1974
- 16th Annual Symposium on Foundations of Computer Science, October 13-15, 1975
- 17th annual Symposium on Foundations of Computer Science, October 25-27, 1976, Houston, Texas
- 18th Annual IEEE Symposium on Logic in Computer Science : 22-25 June 2003, Ottawa, Canada : proceedings
- 18th Annual Symposium on Foundations of Computer Science : Oct. 31-Nov. 2, 1977, Providence, Rhode Island
- 19th Annual Symposium on Foundations of Computer Science : October 16-18, 1978, Ann Arbor, Michigan
- 19th IEEE Annual Conference on Computational Complexity : proceedings : 21-24 June, 2004, Amherst, Massachusetts
- 20th IEEE Annual Conference on Computational Complexity : proceedings : 11-15 June, 2005, San Jose, CA
- 20th annual Symposium on Foundations of Computer Science : October 29-31, 1979, San Juan, Puerto Rico : [papers]
- 21st Annual IEEE Symposium on Logic in Computer Science : LICS 2006 : proceedings : 12-15 August 2006, Seattle, Washington
- 21st annual Symposium on Foundations of Computer Science : October 13-15, 1980, Syracuse, New York : [papers]
- 22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : WrocÅ‚aw, Poland, 10-14 July, 2007
- 22nd Annual Symposium on Foundations of Computer Science : October 28-30, 1981, Nashville, Tennessee : [papers]
- 23rd Annual Symposium on Foundations of Computer Science : November 3-5, 1982
- 24th Annual IEEE Symposium on Logic in Computer Science : proceedings, Los Angeles, California
- 25th Annual IEEE Conference on Computational Complexity : proceedings : CCC 2010 : 9-11 June, 2010, Cambridge, Massachusetts, USA
- 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom
- 25th Annual Symposium on Foundations of Computer Science : October 24-26, 1984
- 26th Annual IEEE Conference on Computational Complexity : proceedings : San Jose, California, 8-10 June 2011
- 26th Annual Symposium on Foundations of Computer Science : October 21-23, 1985
- 27th Annual symposium on foundations of computer science : October 27-29, 1986
- 28th annual Symposium on Foundations of Computer Science : October 12-14, 1987
- 30th Annual Symposium on Foundations of Computer Science : October 30-November 1, 1989
- 35th Annual Symposium on Foundations of Computer Science : proceedings ; November 20-22, 1994, Santa Fe, New Mexico
- 42nd Annual Symposium on Foundations of Computer Science : proceedings : October 14-17, 2001, Las Vegas, Nevada, USA
- 43rd Annual IEEE Symposium on Foundations of Computer Science : proceedings : Vancouver, BC, Canada, 16-19 November, 2002
- 46th Annual IEEE Symposium on Foundations of Computer Science : FOCS 2005 : 23-25 October, 2005, Pittsburgh, Pennsylvania, USA
- 47th Annual IEEE Symposium on Foundations of Computer Science : FOCS 2006 : 21-24 October, 2006, Berkeley, California
- CCC 2008 : twenty-third Annual IEEE Conference on Computational Complexity : proceedings : 23-26 June 2008, College Park, Maryland
- Computational complexity : proceedings : Fifteenth Annual IEEE Conference on Computational Complexity : July 4-7, 2000, Florence, Italy
- Computational complexity : proceedings : Fourteenth Annual IEEE Conference on Computational Complexity : May 4-6, 1999, Atlanta, Georgia, USA
- FOCS 2004 : 45th Annual IEEE Symposium on Foundations of Computer Science: proceedings : 17-19 October, 2004, Rome, Italy
- LICS 2004 : proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : Turku, Finland, 13-17 July, 2004
- Logic in computer science : proceedings : 13th Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana
- Proceedings
- Proceedings
- Proceedings 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science : FOCS 2011 ; 22-25 October 2011, Palm Springs, California, USA
- Proceedings : 31st Annual Symposium on Foundations of Computer Science : October 22-24, 1990, St. Louis, Missouri
- Proceedings : 32nd annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, October 1-4, 1991
- Proceedings : the Sixth Annual IEEE Symposium on Logic in Computer Science ; July 15-18, 1991, Amsterdam, the Netherlands
- Proceedings ; 2009 50th Annual IEEE Symposium on Foundations of Computer Science : 25-27 October 2009, Atlanta, Georgia, USA
- Proceedings ; 2010 IEEE 51st Annual Symposium on Foundations of Computer Science : 23-26 October 2010, Las Vegas, Nevada, U.S.A.
- Proceedings IEEE 53rd Annual Symposium on Foundations of Computer Science : New Brunswick, New Jersey, 20-23 October 2012
- Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science : [FOCS 2007] : October 20-23, 2007, Providence, Rhode Island
- Proceedings of the 49th Annual IEEE Symposium on Foundations of Computer Science : October 25-23, 2008, Philadelphia, Pennsylvania, USA
- Proceedings of the Eighth Annual Structure in Complexity Theory Conference
- Proceedings of the Seventh Annual Structure in Complexity Theory Conference : June 22-25, 1992, Boston University, Boston, Massachusetts
- Proceedings of the Sixth Annual Structure in Complexity Theory Conference, June 30-July 3, 1991, University of Chicago, Chicago, Illinois
- Proceedings, 20th annual IEEE Symposium on Logic in Computer Science : LICS 2005, 26-29 June 2005, Chicago, Illinois
- Proceedings, 26th Annual IEEE Symposium on Logic in Computer Science
- Proceedings, Eleventh Annual IEEE Conference on Computational Complexity : May 24-27, 1996, Philadelphia, Pennsylvania
- Proceedings, Tenth Annual Structure in Complexity Theory Conference : June 19-22, 1995, Minneapolis, Minnesota
- Proceedings, Thirteenth Annual IEEE Conference on Computational Complexity : (formerly, Structure in Complexity Theory Conference) : June 15-18, 1998, Buffalo, New York, USA
- Proceedings, Twelfth Annual IEEE Conference on Computational Complexity : June 24-27, 1997, Ulm, Germany
- Proceedings, structure in complexity theory : fourth annual conference
- Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California
- The 2nd IEEE Asia-Pacific Service Computing Conference : APSCC 2007 : proceedings : December 11-14, 2007, Tsukuba Science City, Japan
- Twenty-first Annual IEEE Conference on Computational Complexity : proceedings : (CCC 2006) : 16-20 July, 2006, Prague, Czech Republic
- Twenty-second Annual IEEE Conference on Computational Complexity : CCC 2007 : proceedings : San Diego, California, June 13-16, 2007
- Twenty-third Annual IEEE Symposium on Logic in Computer Science : proceedings, 24-27 June 2008, Pittsburgh, Pennsylvania

#### Sponsoring body of

## Embed (Experimental)

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/resource/l5ap3B85roU/" typeof="Organization http://bibfra.me/vocab/lite/Organization"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/resource/l5ap3B85roU/">IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Organization IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/resource/l5ap3B85roU/" typeof="Organization http://bibfra.me/vocab/lite/Organization"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/resource/l5ap3B85roU/">IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>`