Theoretical
- 1
- Theoretical Computer Science on the Web
- A directory of resources related to theoretical computer science from Stanford University.
- 5
- Lecture Notes on Theory of Computation
- Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory.
- 6
- Theory of Computation
- Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.
- 7
- Computational Complexity Conference
- Annual conference that deals with computational complexity broadly defined.
- 8
- Midwest Theory Day
- Held twice a year, usually on a Saturday in December and on a Saturday in April. Details of past and future meetings.
- 9
- Theoretical Computer Science Conferences & Journals
- Conference calls for papers, conference and workshop programs, journal calls for papers.
- 10
- Computability and Complexity in Analysis Network
- CCA Net aims to provide a central location for collecting information useful for researchers working in the field of computability and complexity in analysis.
- 11
- Information-Based Complexity
- Resources for computational complexity problems in the presence of partial or contaminated information.
- 12
- The Types Forum
- E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.
- 13
- Discrete Mathematics and Theoretical Computer Science
- DMTCS is an electronic journal published by the Maison de l'Informatique et des Mathématiques Discrètes.
- 14
- Electronic Journal of Combinatorics
- Electronic journal maintained by the American Mathematical Society.
- 15
- Journal of Graph Algorithms and Applications
- The electronic edition of the journal hosted by Brown University.
- 17
- Mathematical Logic Quarterly
- MLQ is an international journal on mathematical logic and foundations of mathematics published by Wiley-VCH.