CCCCatalyzing the computing research community and enabling the pursuit of innovative, high-impact research.
  • Twitter
  • Facebook
  • Youtube
  • Rss
  • About
    • About CCC
    • Council Members
    • Council Meetings
    • CCC Council Nominations
    • Governing Documents
    • FAQ
    • Contact
  • Visioning
    • Visioning Activities
      • 2022
      • 2021
      • 2020
      • 2019
      • 2018
      • 2017
      • 2016
      • 2015
      • 2014
      • 2013
      • 2012
      • 2011 and Prior Years
    • Workshop Reports
    • RFP – Creating Visions for Computing Research
    • Blue Sky
    • CS for Social Good White Paper Competition
    • Robotics Roadmap
  • Leadership Development
    • Call for Council Nominations
    • Leadership in Science Policy Institute
    • Big Data Regional Hubs
    • Postdoc Best Practices
      • Postdoc Best Practice Final Reports
      • Postdoc Best Practice Resources
    • CIFellows
      • CIFellows 2021
      • CIFellows 2020
      • CIFellows 2020: For the Record
      • CI Fellows 2014 Workshop
      • 2011 Class
      • 2010 Class
      • 2009 Class
      • Assessment
      • Diversity
      • Success Stories
  • Task Forces
    • Computing Challenges to Humanity: Climate
    • Research Ecosystem Working Group
    • NextGen AI
    • Unique Ways to Compute
    • Socio Technical Resilience
    • Computational Challenges in Healthcare
    • Past Task Forces
      • AI Working Group
      • Weird Ways to Compute
      • Security, Integrity, and Trust
      • Future of Life in a Hybrid World
      • Computing Challenges to Humanity
  • Resources
    • CCC Call for Content
    • Workshop Reports
    • CCC-Led White Papers
    • Presentations
    • CCC Responds to the Community
    • Recent CCC Activities
    • Ongoing CCC Activities
    • CIFellows Spotlight
    • Great Innovative Ideas
    • Event Videos
    • Catalyzing Computing Podcast
    • Computing Research in Action
    • Computing Research Highlights
  • Events
    • Upcoming Events
    • Special Events
    • Past Events
    • CCC at AAAS
      • CCC at AAAS 2023
      • CCC at AAAS 2022
      • CCC at AAAS 2020
      • CCC at AAAS 2019
      • CCC at AAAS 2018
      • CCC at AAAS 2017
      • CCC at AAAS 2016
      • CCC at AAAS 2013
  • CCC by CS Area
    • AI /ML / Robotics
    • Architecture / Systems / Networking
    • Databases / Informatics / Data Science / HPC
    • Human-Computer Interaction / Graphics / Visualization
    • IoT / Ubiquitous
    • Programming Languages / Compilers / Software Engineering
    • Security / Privacy / Fairness
    • Theory / Algorithms
    • Miscellaneous
  • Blog
  • Podcast
  • Search
  • Menu

Theoretical Computer Science Workshop


   Workshop Report   

May 17, 2008

University of Washington
Seattle, WA, United States



Event Contact

CCC Staff
ccc@cra.org


Event Type

2011 and Earlier, Visioning Activities, Workshop


Event Category

CCC

Overview

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 and to 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 University)

CCC Council liaison for this effort:

Dick Karp (University of California at Berkeley)

Leads for this workshop:

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

CCC Council liaison for this workshop:

Dick Karp (University of California at Berkeley)

Participants

Scott Aaronson (Massachusetts Institute of Technology)

Richard Beigel (National Science Foundation)

Bhaskar DasGupta (University of Illinois at Chicago)

Cynthia Dwork (Microsoft Research)

Jason Hartline (Northwestern University)

Valentine Kabanets (Simon Fraser University)

Anna Karlin (University of Washington)

Richard Ladner (University of Washington)

Leonid A. Levin (Boston University)

Claire Mathieu (Brown University)

Rajmohan Rajaraman (Northeastern University)

Kristin Yvonne Rozier (NASA Langley Research Center)

Rocco Servedio (Columbia University)

Madhu Sudan (Massachusetts Institute of Technology)

Salil Vadhan (Harvard University)

Avi Wigderson (Institute for Advanced Study)

Lisa Zhang (Bell Labs)

Sanjeev Arora (Princeton)

Shuchi Chawla (University of Wisconsin at Madison)

Petros Drineas (Rensselaer Polytechnic Institute)

Anupam Gupta (Carnegie Mellon University)

Piotr Indyk (Massachusetts Institute of Technology)

Sampath Kannan (University of Pennsylvania)

Richard Karp (University of California at Berkeley)

James Lee (University of Washington)

Dick Lipton (Georgia Institute of Technology)

Luis Rademacher (Georgia Institute of Technology)

Tim Roughgarden (Stanford University)

Amit Sahai (University of California at Los Angeles)

Diane Souvaine (Tufts University)

Luca Trevisan (University of California at Berkeley)

Udi Wieder (Microsoft Research Silicon Valley)

David S. Wise (Indiana University)

Logistics

Date: May 17, 2008
Location: University of Washington

CRA - Uniting Industry, Academia and Government to Advance Computing Research and Change the World.
CCC - Catalyzing the computing research community and enabling the pursuit of innovative, high-impact research.
Increasing the Success and Participation of Underrepresented Groups in Computing Research.
CRA-E - Addressing society’s need for a continuous supply of talented and well-educated computing researchers.
CERP - Promoting diversity in computing through evaluation and research.
Increasing interaction between industry partners and other organizations involved in computing research for the benefit of all.
CRA Home | Contact Us | Unsubscribe/Removal of Information | Terms of Use         © Copyright 2021 - CRA
Cyber-Physical Systems Summit Network Design in the NetSE Context
Scroll to top