Theoretical computer science conferences

Symposium on Theory of Computing

The Annual ACM Symposium on Theory of Computing (STOC) is an academic conference in the field of theoretical computer science. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for Computing Machinery special interest group SIGACT. Acceptance rate of STOC, averaged from 1970 to 2012, is 31%, with the rate of 29% in 2012. As writes, STOC and its annual IEEE counterpart FOCS (the Symposium on Foundations of Computer Science) are considered the two top conferences in theoretical computer science, considered broadly: they “are forums for some of the best work throughout theory of computing that promote breadth among theory of computing researchers and help to keep the community together.” includes regular attendance at STOC and FOCS as one of several defining characteristics of theoretical computer scientists. (Wikipedia).

Video thumbnail

Stanford Seminar - Realizing the Next Growth Wave for Semiconductors

"Realizing the next growth wave for semiconductors -- A new approach to enable innovative startups" - Dan Ambrust of Silicon Catalyst Colloquium on Computer Systems Seminar Series (EE380) presents the current research in design, implementation, analysis, and use of computer systems. Topic

From playlist Engineering

Video thumbnail

SketchySVD - Joel Tropp, California Institute of Technology

This workshop - organised under the auspices of the Isaac Newton Institute on “Approximation, sampling and compression in data science” — brings together leading researchers in the general fields of mathematics, statistics, computer science and engineering. About the event The workshop ai

From playlist Mathematics of data: Structured representations for sensing, approximation and learning

Video thumbnail

The mother of all representer theorems for inverse problems & machine learning - Michael Unser

This workshop - organised under the auspices of the Isaac Newton Institute on “Approximation, sampling and compression in data science” — brings together leading researchers in the general fields of mathematics, statistics, computer science and engineering. About the event The workshop ai

From playlist Mathematics of data: Structured representations for sensing, approximation and learning

Video thumbnail

Stanford Seminar - Swiss Computer Systems

"From chocolate to mice, the darknet to facial expressions, chatbots to humanitarians, and so forth" - Christian Simm, swissnex San Francisco Support for the Stanford Colloquium on Computer Systems Seminar Series provided by the Stanford Computer Forum. Speaker Abstract and Bio can be fo

From playlist Stanford Seminars

Video thumbnail

Optimal transport for machine learning - Gabriel Peyre, Ecole Normale Superieure

This workshop - organised under the auspices of the Isaac Newton Institute on “Approximation, sampling and compression in data science” — brings together leading researchers in the general fields of mathematics, statistics, computer science and engineering. About the event The workshop ai

From playlist Mathematics of data: Structured representations for sensing, approximation and learning

Video thumbnail

Stanford Seminar - Insights in the Nature of Time in Physics, and Implications for Computer Science

"Insights into The Nature of Time in Physics, and implications for Computer Science" -Paul Borrill, EARTH Computing Colloquium on Computer Systems Seminar Series (EE380) presents the current research in design, implementation, analysis, and use of computer systems. Topics range from inte

From playlist Engineering

Video thumbnail

National Museum Of Mathematics - Celebration of Mind

National Museum Of Mathematics - Celebration of Mind

From playlist Celebration of Mind

Video thumbnail

Stanford Seminar - Microsoft Research and the Evolution of Computing

"Microsoft Research and the Evolution of Computing" -Rick Rashid, Microsoft Research Colloquium on Computer Systems Seminar Series (E380) presents the current research in design, implementation, analysis, and use of computer systems. Topics range from integrated circuits to operating syste

From playlist Engineering

Video thumbnail

PUBLIC OPENING featuring Cédric Villani: The Many Facets of Entropy [2014]

Video taken from: http://www.fields.utoronto.ca/programs/scientific/fieldsmedalsym/14-15/

From playlist Mathematics

Video thumbnail

Stanford Seminar - Cloud Computing's Impact on Network Design

"Cloud Computing's Impact on Network Design" Richard Palmer of Juniper Networks dives into the netowrking challenges that surface with the implementation of cloud computing. Colloquium on Computer Systems Seminar Series (E380) presents the current research in design, implementation, a

From playlist Engineering

Video thumbnail

Nijenhuis Geometry Chair's Talk 2 (Alexey Bolsinov)

SMRI -MATRIX Symposium: Nijenhuis Geometry and Integrable Systems Chair's Talk 2 (Alexey Bolsinov) 8 February 2022 ---------------------------------------------------------------------------------------------------------------------- SMRI-MATRIX Joint Symposium, 7 – 18 February 2022 Week

From playlist MATRIX-SMRI Symposium: Nijenhuis Geometry and integrable systems

Video thumbnail

2019 Mind, Brain, Computation and Technology Symposium Opening

Dr. Jay McClelland, Lucie Stern Professor in the Social Sciences and Professor of Psychology, and director of the Center for Mind, Brain, Computation and Technology and Dr. Ivan Soltesz, James R. Doty Professor of Neurosurgery and Neurosciences, welcome everyone to the 2019 Mind, Brain, Co

From playlist Wu Tsai Neurosciences Institute

Video thumbnail

Nijenhuis geometry for ECRs: Pre-recorded Lecture 3

Pre-recorded Lecture 3: Nijenhuis geometry for ECRs Date: 9 February 2022 Lecture slides: https://mathematical-research-institute.sydney.edu.au/wp-content/uploads/2022/02/Lecture_3_Matveev.pdf -------------------------------------------------------------------------------------------------

From playlist MATRIX-SMRI Symposium: Nijenhuis Geometry and integrable systems

Video thumbnail

Nijenhuis Geometry Chair's Talk 4 (Alexey Bolsinov)

SMRI -MATRIX Symposium: Nijenhuis Geometry and Integrable Systems Chair's Talk 4 (Alexey Bolsinov) 10 February 2022 ---------------------------------------------------------------------------------------------------------------------- SMRI-MATRIX Joint Symposium, 7 – 18 February 2022 Wee

From playlist MATRIX-SMRI Symposium: Nijenhuis Geometry and integrable systems

Video thumbnail

Nijenhuis geometry for ECRs: Pre-recorded Lecture 2 Part A

Pre-recorded Lecture 2 Part A: Nijenhuis geometry for ECRs Date: 9 February 2022 Lecture slides: https://mathematical-research-institute.sydney.edu.au/wp-content/uploads/2022/02/Prerecorded_Lecture2.pdf ---------------------------------------------------------------------------------------

From playlist MATRIX-SMRI Symposium: Nijenhuis Geometry and integrable systems

Video thumbnail

Intro: UK Multi-Agent Systems Symposium - Stefano Albrecht, University of Edinburgh & Turing

The AI Programme at the Turing will host an interactive UK Symposium on Multi-Agent Systems (UK-MAS). The goal of the symposium is to bring together UK-based research labs at universities and industry who have a significant focus on MAS research, to explore the MAS research landscape in th

From playlist UK multi-agent systems symposium

Video thumbnail

Nijenhuis geometry for ECRs: Pre-recorded Lecture 2 Part B

Pre-recorded Lecture 2 Part B: Nijenhuis geometry for ECRs Date: 9 February 2022 Lecture slides: https://mathematical-research-institute.sydney.edu.au/wp-content/uploads/2022/02/Prerecorded_Lecture2.pdf ---------------------------------------------------------------------------------------

From playlist MATRIX-SMRI Symposium: Nijenhuis Geometry and integrable systems

Video thumbnail

Zoom Talk: ""Polynomial integrals via systems of quasi-linear equations", Misha Bialyi

SMRI -MATRIX Symposium: Nijenhuis Geometry and Integrable Systems Week 2 (MATRIX): Zoom Talk by Misha Bialyi 16 February 2022 ---------------------------------------------------------------------------------------------------------------------- SMRI-MATRIX Joint Symposium, 7 – 18 Februar

From playlist MATRIX-SMRI Symposium: Nijenhuis Geometry and integrable systems

Video thumbnail

Stanford Seminar - The Future of Trustworthy Computer Systems

"The future of trustworthy computer systems" - Peter Neumann of SRI International Colloquium on Computer Systems Seminar Series (EE380) presents the current research in design, implementation, analysis, and use of computer systems. Topics range from integrated circuits to operating system

From playlist Engineering

Video thumbnail

The Beginnings of Architectural Sketching - James Ackermann

Creativity Symposium Title: The Beginnings of Architectural Sketching Speaker: James Ackermann Date: May 24 & 25, 2001

From playlist CASVA symposium

Related pages

Knuth Prize | Patrick C. Fischer | ACM SIGACT | ACM Computing Surveys | Theoretical computer science | Gödel Prize | Symposium on Foundations of Computer Science | Juris Hartmanis | Cook–Levin theorem | International Colloquium on Automata, Languages and Programming | NP-completeness