In July 2020, the CATCS organized a visioning workshop. We are happy to announce the release of a report and posters based on this workshop. Material produced from this workshop is available and free to use by any member of the TCS community. We gratefully acknowledge financial as well as organizational support by the SIGACT and CCC for this activity.
We are planning a follow-up event for disseminating the report and posters to funding agencies in the next few months. Details are forthcoming.
TCS Visioning Full Report: here
Short Report (CCC Quadrennial paper): here
Theory Matters 