Visions in Theoretical Computer Science: A Report on the TCS Visioning Workshop 2020
Shuchi Chawla, Jelani Nelson, Chris Umans, and David Woodruff

TL;DR
This report summarizes the 2020 TCS Visioning Workshop, highlighting key discussions on models of computation, data science foundations, cryptography, and interdisciplinary applications, aiming to guide future research and investment.
Contribution
It provides a comprehensive overview of the TCS community's challenges, accomplishments, and future directions as discussed in the 2020 visioning workshop.
Findings
Identified key challenges in models of computation and data science.
Highlighted recent advances in cryptography.
Outlined interdisciplinary applications of TCS.
Abstract
Theoretical computer science (TCS) is a subdiscipline of computer science that studies the mathematical foundations of computational and algorithmic processes and interactions. Work in this field is often recognized by its emphasis on mathematical technique and rigor. At the heart of the field are questions surrounding the nature of computation: What does it mean to compute? What is computable? And how efficiently? Every ten years or so the TCS community attends visioning workshops to discuss the challenges and recent accomplishments in the TCS field. The workshops and the outputs they produce are meant both as a reflection for the TCS community and as guiding principles for interested investment partners. Concretely, the workshop output consists of a number of nuggets, each summarizing a particular point, that are synthesized in the form of a white paper and illustrated with…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Ethics and Social Impacts of AI · Big Data and Digital Economy
