This is an archived version of CCC's website. Please visit the new ccc website for the latest information.

Visions for Theoretical Computer Science

Theoretical Computer Science (TCS) aims to understand the intrinsic capabilities and limitations of efficient computation. This subfield of computer science has a record of producing unexpected discoveries of high impact, such as public-key cryptography and quantum computation; and of raising deep scientific questions, such as the P vs. NP question.

Workshop: On May 17, 2008, the TCS community engaged in a CCC-sponsored "visioning" workshop at the University of Washington in Seattle. The goals of the visioning workshop were to - Identify broad research themes within theoretical computer science (TCS) that have potential for a major impact in the future, Distill these research directions into compelling "nuggets" that can quickly convey their importance to a layperson. The nuggets produced in the workshop will serve to highlight the importance of sustained support for long-term, fundamental computing research, and to inspire the TCS community in its future efforts.

Lead for effort:

Salil Vadhan (Harvard)

CCC Council liaison for this effort:

Dick Karp (University of California, Berkeley)

Leads for this workshop:

Bernard Chazelle (Princeton), Anna Karlin (University of Washington), Richard Ladner (University of Washington), Dick Lipton (University of California, Berkeley), and Salil Vadhan (Harvard)

CCC Council liaison for this Workshop:

Dick Karp (University of California, Berkeley)

Vision for this Workshop

(one pager available soon)

Agenda/speakers:

available at http://theorymatters.org/pmwiki/pmwiki.php?n=Visioning.Program

Meeting Materials (slides, talks, webcasts):

see http://theorymatters.org/pmwiki/pmwiki.php?n=Visioning.Program

Participants:

Scott Aaronson (MIT), Sanjeev Arora (Princeton), Richard Beigel (National Science Foundation), Shuchi Chawla (University of Wisconsin - Madison), Bhaskar DasGupta (University of Illinois at Chicago), Petros Drineas (Rensselaer Polytechnic Institute), Cynthia Dwork (Microsoft Research), Anupam Gupta (Carnegie Mellon University), Jason Hartline (Northwestern U), Piotr Indyk (MIT), Valentine Kabanets (SFU), Sampath Kannan (University of Pennsylvania), Anna Karlin (University of Washington), Richard Karp (UC Berkeley), Richard Ladner (University of Washington), James Lee (University of Washington), Leonid A. Levin (Boston University), Dick Lipton (Georgia Tech), Claire Mathieu (Brown University), Luis Rademacher (Georgia Tech), Rajmohan Rajaraman (Northeastern University), Tim Roughgarden (Stanford University), Kristin Yvonne Rozier (NASA Langley Research Center), Amit Sahai (UCLA), Rocco Servedio (Columbia University), Diane Souvaine (Tufts University), Madhu Sudan (MIT), Luca Trevisan (UC Berkeley), Udi Wieder (Microsoft Research Silicon Valley), Avi Wigderson (Institute for Advanced Study), David S. Wise (Indiana University), Lisa Zhang (Bell Labs), Salil Vadhan (Harvard)

Highlights:

see http://theorymatters.org/pmwiki/pmwiki.php?n=Visioning.HomePage

Final Report

Available here