ACM Special Interest Group on Algorithms and Computation Theory
main
conferences
people
prizes
publications
web pages
Our Organization
The Association for
Computing Machinery
Web Pages Maintained by SIGACT
SIGACT, through a number of volunteers, maintains several web pages of general interest to theoretical computer scientists, including the following.
The
Theory Matters
blog and related resources, maintained by the
SIGACT Committee for the Advancement of Theoretical Computer Science.
Erik Demaine's
List of Events
includes all of the major theory conferences, plus several others.
Other Web Pages of Interest to Theoretical Computer Scientists
Organizations: General
National Science Foundation
Organizations: Computer Science
Association for Computing Machinery
Computing Research Association
IEEE Computer Society
Society for Industrial and Applied Mathematics
Organizations: Theoretical Computer Science
ACM SIGACT (you are already here!)
SIAM
Activity Group on Discrete Mathematics
European Association for Theoretical Computer Science
(EATCS)
Journals and Newsletters: Electronic
Chicago Journal of Theoretical Computer Science
Electronic Colloquium on Computational Complexity
The Electronic Journal of Combinatorics
The Journal of Universal Computer Science
ACM Journal of Experimental Algorithmics
LICS Newsletter
(from
LICS
: IEEE Symposium on Logic in Computer Science)
Theory and Applications of Categories
Theory of Computing
Journals and Newsletters: Print
ACM Transactions on Computation Theory
ACM Transactions on Algorithms
Formal Aspects of Computing
Information and Computation
Journal of the ACM
SIGACT News
SIAM Journal on Computing
Theoretical Computer Science
Annals of Pure and Applied Logic
Publishers
Academic Press
Addison-Wesley
Cambridge University Press
Elsevier Science
MIT Press
Prentice Hall
Springer-Verlag
Bibliographies: Computer Science
The Computer Science Bibliography Collection
Bibliographies: Theoretical Computer Science
Information and Computation
, bibliography
1957-1981
and
1982-present
David M. Jones
'
Hypertext Bibliography Project
University of Karlsruhe's
Bibliographies on Theory/Foundations of Computer Science
The
LICS Bibliography
of papers from the IEEE Symposium on Logic in Computer Science (
LICS
)
University of Trier's
Theoretical Computer Science
index, part of the
DB&LP bibliography server
Other
bibliography sites
Miscellaneous
Computer Science Online
DIMACS Implementation Challenge for the TSP
Turing test home page
Dennis Grinberg's
theory page
David Eppstein's
Geometry in Action
RSA's
FAQ About Today's Cryptography
Ian Parberry's
speaker's guide
,
referee's guide
, and
referee's form
A searchable
on-line database
of Computer Science technical report abstracts
Advice on Research and Writing
for computer scientists
Jeff Erickson's
Computational Geometry Pages
Michael Ley
's
Database Systems & Logic Programming
server
Places
Centre for Discrete Mathematics and Theoretical Computer Science
, Auckland, NZ
DIMACS
MIT's
Theory of Computation Group
Stanford's
Theory Page
University of Waterloo
theoretical computer science
UC Irvine ICS
Theory Group
Anwar's
Computer Science Departments Across The Web
The
CRA
Links to CS & CE Departments:
query server
and
complete list
Newsgroups and Mailing Lists
Theory Net
info.theorynt
(crossposted Theory Net articles)
comp.theory
sci.math