Related papers: Visions in Theoretical Computer Science: A Report on the TCS Visioning Workshop 2020

Visions in Theoretical Computer Science: A Report on the TCS Visioning Workshop 2020

URL: http://arxiv.org/abs/2107.02846v1
Date: Tue, 6 Jul 2021 19:12:03 GMT
Title: Visions in Theoretical Computer Science: A Report on the TCS Visioning Workshop 2020
Authors: Shuchi Chawla, Jelani Nelson, Chris Umans, and David Woodruff
Abstract summary: Theoretical computer science (TCS) studies the mathematical foundations of computational and algorithmic processes and interactions. Every ten years or so the TCS community attends visioning workshops to discuss the challenges and recent accomplishments in the field. The second TCS Visioning Workshop was organized by the SIGACT Committee for the Advancement of Theoretical Computer Science and took place during the week of July 20, 2020. There were over 76 participants, mostly from the United States, but also a few from Europe and Asia who were able to attend due to the online format.
Score: 3.4148735410310738
License: http://creativecommons.org/licenses/by/4.0/
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 graphics/slides produced by a professional graphic designer. The second TCS Visioning Workshop was organized by the SIGACT Committee for the Advancement of Theoretical Computer Science and took place during the week of July 20, 2020. Despite the conference being virtual, there were over 76 participants, mostly from the United States, but also a few from Europe and Asia who were able to attend due to the online format. Workshop participants were divided into categories as reflected in the sections of this report: (1) models of computation; (2) foundations of data science; (3) cryptography; and (4) using theoretical computer science for other domains. Each group participated in a series of discussions that produced the nuggets below.

Related papers

Proceedings of the 21st International Conference on Quantum Physics and Logic [49.1574468325115]
QPL is an annual conference that brings together academic and industry researchers working on the mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition.
arXiv Detail & Related papers (2024-08-09T15:04:17Z)
Designing Theory of Computing Backwards [0.30458514384586394]
Theory of computing (ToC) courses within undergraduate CS programs are often placed near the end of the program. What is often intuitive for students about what a computer'' is--a Turing machine--is taught at the end of the course, which necessitates motivation for earlier models. This poster contains our experiences in designing a ToC course that teaches the material effectively backwards''
arXiv Detail & Related papers (2023-11-13T23:32:41Z)
Experiences with Research Processes in an Undergraduate Theory of Computing Course [0.30458514384586394]
Theory of computing (ToC) courses are a staple in many undergraduate CS curricula. We emulated a common research environment within our ToC course by creating a mock conference assignment.
arXiv Detail & Related papers (2023-10-03T11:37:06Z)
Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing [80.72844751804166]
In 2021, the Coordinated Science Laboratory CSL hosted the Future of Computing Symposium to celebrate its 70th anniversary. We summarize the major technological points, insights, and directions that speakers brought forward during the symposium. Participants discussed topics related to new computing paradigms, technologies, algorithms, behaviors, and research challenges to be expected in the future.
arXiv Detail & Related papers (2022-10-04T17:32:27Z)
A Survey on Graph Neural Networks and Graph Transformers in Computer Vision: A Task-Oriented Perspective [71.03621840455754]
Graph Neural Networks (GNNs) have gained momentum in graph representation learning. graph Transformers embed a graph structure into the Transformer architecture to overcome the limitations of local neighborhood aggregation. This paper presents a comprehensive review of GNNs and graph Transformers in computer vision from a task-oriented perspective.
arXiv Detail & Related papers (2022-09-27T08:10:14Z)
JiuZhang: A Chinese Pre-trained Language Model for Mathematical Problem Understanding [74.12405417718054]
This paper aims to advance the mathematical intelligence of machines by presenting the first Chinese mathematical pre-trained language model(PLM) Unlike other standard NLP tasks, mathematical texts are difficult to understand, since they involve mathematical terminology, symbols and formulas in the problem statement. We design a novel curriculum pre-training approach for improving the learning of mathematical PLMs, consisting of both basic and advanced courses.
arXiv Detail & Related papers (2022-06-13T17:03:52Z)
Computational Argumentation and Cognition [0.3867363075280543]
This paper stems from the 1st Workshop on Computational Argumentation and Cognition (COGNITAR) It argues that within the context of Human-Centric AI the use of theory and methods from Computational Argumentation for the study of Cognition can be a promising avenue to pursue. The paper presents the main problems and challenges in the area that would need to be addressed, both at the scientific level but also at the level of synthesis of ideas and approaches from the various disciplines involved.
arXiv Detail & Related papers (2021-11-12T21:44:30Z)
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science [0.0]
This volume contains papers presented at the Ninth International Symposium on Symbolic Computation in Software Science, SCSS 2021. The purpose of SCSS is to promote research on theoretical and practical aspects of symbolic computation in software science, combined with modern artificial intelligence techniques.
arXiv Detail & Related papers (2021-09-06T14:22:11Z)
Formalising Concepts as Grounded Abstractions [68.24080871981869]
This report shows how representation learning can be used to induce concepts from raw data. The main technical goal of this report is to show how techniques from representation learning can be married with a lattice-theoretic formulation of conceptual spaces.
arXiv Detail & Related papers (2021-01-13T15:22:01Z)
Perspectives on Sim2Real Transfer for Robotics: A Summary of the R:SS 2020 Workshop [79.20516797125704]
This report presents the debates, posters, and discussions of the Sim2Real workshop held in conjunction with the 2020 edition of the "Robotics: Science and System" conference. 12 leaders of the field took competing debate positions on the definition, viability, and importance of transferring skills from simulation to the real world in the context of robotics problems. The debaters also joined a large panel discussion, answering audience questions and outlining the future of Sim2Real in robotics.
arXiv Detail & Related papers (2020-12-07T15:48:26Z)
A New Age of Computing and the Brain [25.548544303230933]
The history of computer science and brain sciences are intertwined. In December 2014, a two-day workshop was convened in Washington, DC. The goal was to bring together computer scientists and brain researchers to explore new opportunities and connections.
arXiv Detail & Related papers (2020-04-27T16:38:17Z)

This list is automatically generated from the titles and abstracts of the papers in this site.