ACM SIGACT
Institutional Sponsors Membership Information   Activities   SIGACT News and SIGACT News Online   Electronic Submission Server   Sponsored Conferences   Prizes   Web Pages   Committees   Other Information   Reviews and Reports	SIGACT is an international organization that fosters and promotes the discovery and dissemination of high quality research in theoretical computer science (TCS), the formal analysis of efficient computation and computational processes. SIGACT, through its awards program, recognizes individuals who have made significant contributions to the field in research and service. TCS covers a wide variety of topics including algorithms, data structures, computational complexity, parallel and distributed computation, probabilistic computation, quantum computation, automata theory, information theory, cryptography, program semantics and verification, machine learning, computational biology, computational economics, computational geometry, and computational number theory and algebra. Work in this field is often distinguished by its emphasis on mathematical technique and rigor.	SIGACT Headlines, Current Events, and  Links Theorynt is functional! Please post and subscribe here . $25,000 Turing Machine Challenge is Solved!.  Alexander A. Razborov and Steven Rudich: 2007 Goedel citation . Nancy Lynch: 2007 Knuth citation . Report: Theory of Networked Computation .     FOCS 08    Theory Calendar at Iowa State University . The TCS Rolodex is back! .   A Tribute to Robert W Floyd by Don Knuth    [SIGACT News vol. 34, no. 4].   Adapted from a lecture archived at the Stanford Center for Professional Development See our Server's Usage!
Chair  Richard Ladner      Vice Chair  Lance Fortnow     Secretary  Richard Cole     Publicity Chair  Wolfgang Bein     At Large  Joan Feigenbaum, Eva Tardos	The SIGACT server is housed at the Center for the Advanced Study of Algorithms. You are visitor number  since November 1, 1995.

M embership Information

• Subscription to SIGACT News
• Subscription to SIGACT News Online
• Reduced-rate registration for SIGACT sponsored conferences
• Individually mailed Call for Papers and Conference Schedules for SIGACT sponsored conferences

Activities

SIGACT News and SIGACT News Online

SIGACT publishes a quarterly print newsletter, SIGACT News , which serves as a forum for issues of interest to the theoretical computer science community. Readers can keep abreast of professional events and announcements, and benefit from regular technical columns written by respected professionals in key areas of theoretical computer science. In addition, the non-technical columns, letters to the Editor, and minutes of professional meetings help keep the reader up-to-date on issues of importance to professional theoretical computer scientists. The Education Forum provides insight into the latest teaching methods and material, and provides previews of recent or upcoming textbooks.   SIGACT News Online , the electronic version of SIGACT News, was launched in September 1996 with issue #100. Access is limited to current SIGACT members. Each issue of SIGACT News Online mirrors a print issue of SIGACT News, and is available as a collection of postscript documents and scanned images.

Electronic Submission Server

Sponsored Conferences

• COLT: Annual Workshop on Computational Learning Theory
• IOPADS: I/O in Parallel and Distributed Systems
• PODC: Annual ACM Symposium on Principles of Distributed Computing
• POPL: ACM Symposium on Principles of Programming Languages
• SCG: Annual ACM Symposium on Computational Geometry
• SODA: ACM/SIGACT-SIAM Symposium on Discrete Algorithms
• SPAA ACM Annual Symposium on Parallel Algorithms and Architectures
• STOC: Annual ACM Symposium on the Theory of Computing
• PODS: Principles of Database Systems

Prizes

Web Pages

• "Challenges for Theoretical Computer Science" , Report of an NSF-Sponsored Workshop on Challenges for Theoretical Computer Science, 2000. Organized by Johnson, Papadimitriou, Wigderson, and Yannakakis.
• "Challenges for Theory of Computing" , Report of an NSF-Sponsored Workshop on Research in Theoretical Computer Science, 1999. Condon, Edelsbrunner, Emerson, Fortnow, Haber, Karp, Leivant, Lipton, Lynch, Parberry, Papadimitriou, Rabin, Rosenberg, Royer, Savage, Selman (Chair), Smith, Tardos, Vitter.
• The TCS Virtual Address Book lists the WWW pages of theoretical computer scientists worldwide, and includes an electronic form to enter your URL.
• The Theory Calendar lists important dates for theory conferences.
• The SIGACT Theoretical Computer Science Genealogy lists information on the intellectual "family trees" of earned doctoral degrees (adviser, university, and year) of theoretical computer scientists worldwide. It includes an automatic form for you to submit entries
• Contributions of Theoretical Computer Science , a statement about the importance of theoretical computer science.
• A list of other useful WWW pages .

Committees

• Executive Committee
• Electronic Publications Board

Other Information

• SIGACT bylaws
• institutional sponsors

Reviews and Reports

• The program review was issued as part of the four-year review of ACM SIGACT, conducted at the ACM SIG Chairs and SIG Board meeting in Atlanta on March 1, 1998.
• The ACM SIGACT 1999-2000 Annual Report is now available in html , postscript , and pdf formats.
• The SIGACT program review, February 2002, by Hal Gabow, available in postscript .
• The 2004 SIGACT report, by Hal Gabow, available in postscript .
• The 2005 SIGACT report, by Hal Gabow, available in postscript .