Theoretical computer science conferences
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).
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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