Theoretical computer science conferences

Symposium on Foundations of Computer Science

The IEEE Annual Symposium on Foundations of Computer Science (FOCS) is an academic conference in the field of theoretical computer science. FOCS is sponsored by the IEEE Computer Society. As writes, FOCS and its annual Association for Computing Machinery counterpart STOC (the Symposium on Theory of Computing) 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 FOCS and STOC as one of several defining characteristics of theoretical computer scientists. (Wikipedia).

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

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

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

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

Lenore Blum - Alan Turing and the other theory of computing and can a machine be conscious?

Abstract Most logicians and theoretical computer scientists are familiar with Alan Turing’s 1936 seminal paper setting the stage for the foundational (discrete) theory of computation. Most however remain unaware of Turing’s 1948 seminal paper which introduces the notion of condition, sett

From playlist Turing Lectures

Video thumbnail

Computer Science Distinguished Alumni: Since We've Been Gone

This session will include short presentations and discussion among alumni with distinguished careers. From their personal point of view, speakers will talk about their time at Stanford and their subsequent careers, emphasizing the events, ideas, and developments that were important to them

From playlist Stanford Computer Science 50th Anniversary

Video thumbnail

Definitions, specification and interpretation | Arithmetic and Geometry Math Foundations 44

We discuss important meta-issues regarding definitions and specification in mathematics. We also introduce the idea that mathematical definitions, expressions, formulas or theorems may support a variety of possible interpretations. Examples use our previous definitions from elementary ge

From playlist Math Foundations

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

Inaugural and Welcome Remarks - 2/23/2015

Welcome remarks provided by: Thomas F. Rosenbaum, Edward M.Stolper, Hirosi Ooguri, and Walter F. Burke III. Learn more about the Inaugural Celebration and Symposium of the Walter Burke Institute for Theoretical Physics: https://burkeinstitute.caltech.edu/workshops/Inaugural_Symposium Pro

From playlist Walter Burke Institute for Theoretical Physics - Dedication and Inaugural Symposium - Feb. 23-24, 2015

Video thumbnail

Benjamin N'Guyen : Bases de données

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Mathematical Aspects of Computer Science

Video thumbnail

Introductory Remarks - Robbert Dijkgraaf

Differential Privacy Symposium: Four Facets of Differential Privacy Saturday, November 12, 2016 https://www.ias.edu/differential-privacy More videos on http://video.ias.edu

From playlist Differential Privacy Symposium - November 12, 2016

Video thumbnail

San Andreas Fault and the Complex Infrastructure of Los Angeles - D. Asimaki - 4/29/2016

On Friday, April 29, 2016, Caltech celebrated the launch of Break Through: The Caltech Campaign—an ambitious fundraising initiative that will help secure the Institute’s future. The celebration began with a symposium for the entire campus and JPL community: faculty, students, staff, alumni

From playlist Break Through: The Caltech Campaign Community Celebration - 4/29/2016

Video thumbnail

7. 2016 Symposium Closing Remarks

Dr. William Newsome, Harman Family Provostial Professor, Vincent V. C. Woo Director of the Stanford Neurosciences Institute, and Professor of Neurobiology, delivered the closing remarks for the 2016 Symposium of the Stanford Neurosciences Institute.

From playlist Wu Tsai Neurosciences Institute

Video thumbnail

Opening Remarks - 6/7/2019

Changing Directions & Changing the World: Celebrating the Carver Mead New Adventures Fund. June 7, 2019 in Beckman Institute Auditorium at Caltech. The symposium features technical talks from Carver Mead New Adventures Fund recipients, alumni, and Carver Mead himself! Since 2014, this Fun

From playlist Carver Mead New Adventures Fund Symposium

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

Video thumbnail

IMPA in a context of international reconfiguration of mathematics – T. Roque – ICM2018

History of Mathematics Invited Lecture 19.3 IMPA’s coming of age in a context of international reconfiguration of mathematics Tatiana Roque Abstract: In the middle of the 20^{th} century, the intimate link between science, industry and the state was stimulated, in its technical-scientifi

From playlist History of Mathematics

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

Computer Science Terminology

Learn computer science terminology. We'll take a dive into understanding some of the terms used in computer science and software development. The video starts with the basics and then gets more advanced. Video from Forrest Knight. Check out his channel: https://www.youtube.com/channel/UC

From playlist Computer Science Concepts

Video thumbnail

Quantum Physics and Mathematics - R. Dijkgraaf - 2/23/2015

Learn more about the Inaugural Celebration and Symposium of the Walter Burke Institute for Theoretical Physics: https://burkeinstitute.caltech.edu/workshops/Inaugural_Symposium Produced in association with Caltech Academic Media Technologies. ©2015 California Institute of Technology

From playlist Walter Burke Institute for Theoretical Physics - Dedication and Inaugural Symposium - Feb. 23-24, 2015

Related pages

Symposium on Theory of Computing | Theoretical computer science | Knuth Prize