Theoretical computer science conferences
FCT, the International Symposia on Fundamentals of Computation Theory is a biennial series of conferences in the field of theoretical computer science. It was established in 1977 for researchers interested in all aspects of theoretical computer science, and in particular algorithms, computational complexity, formal and logical methods. FCT was previously held at the following institutions. (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
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
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
John Voight :On some families of Jacobians with definite quaternionic multiplication
CONFERENCE Recording during the thematic meeting : « Symposium on Arithmetic Geometry and its Applications» the February 09, 2023 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwid
From playlist Algebraic and Complex Geometry
Turing Centennial Conference: From Programs to Systems: Building a Smarter World
From Programs to Systems: Building a Smarter World Presented by Prof. Joseph Sifakis, Turing Award laureate, VERIMAG Laboratory and EPFL Alan M. Turing Centennial Conference - Israel April 4, 2012 The Wohl Centre Bar-Ilan University Ramat-Gan, Israel For more information see: https://sit
From playlist Alan M. Turing Centennial Conference - Israel
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
IMS Public Lecture: Logic and Computation
Ted Slaman, University of California, Berkeley, USA
From playlist Public Lectures
Algorithmic Construction of Representations of Finite Solvable Groups by Ravi S Kulkarni
DATE & TIME 05 November 2016 to 14 November 2016 VENUE Ramanujan Lecture Hall, ICTS Bangalore Computational techniques are of great help in dealing with substantial, otherwise intractable examples, possibly leading to further structural insights and the detection of patterns in many abstra
From playlist Group Theory and Computational Methods
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
History of MAS research in UK - Michael Wooldridge, University of Oxford
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
Messages vidéos pour les 40 ans du CIRM
Testimonies of previous directors, Jean-Morlet Chair holders, mathematicians and friends of CIRM... They remember their time at CIRM and tell us about their affection for it. This collection of testimonies was produced for the 40th anniversary of CIRM, on October 13 and 14, 2021. Direct a
From playlist 40 ans du CIRM
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
Nijenhuis Geometry Chair's Talk 1 (Vladimir Matveev)
SMRI -MATRIX Symposium: Nijenhuis Geometry and Integrable Systems Chair's Talk 1 (Vladimir Matveev) 7 February 2022 ---------------------------------------------------------------------------------------------------------------------- SMRI-MATRIX Joint Symposium, 7 – 18 February 2022 Wee
From playlist MATRIX-SMRI Symposium: Nijenhuis Geometry and integrable systems
Abel Prize award ceremony 2021
The ceremony honours both the 2020-winners, Hillel Furstenberg and Gregory Margulis, and the 2021-winners, Avi Wigderson and László́ Lovász. 0:30 Haddy N'jie sings Feeling Good 3:18 Welcome by Master of ceremonies, Haddy N'jie 4:46 On the nomination process and the work of the Abel Prize
From playlist Gregory Margulis
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
Stanford HAI 2019 - Surya Ganguli
From playlist Stanford HAI Symposium 2019
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
Two decentralised learning problems: Sketching and policy evaluation - Justin Romberg, Georgia Tech
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
2014 GCEP Technical Talks: Synthetic Fuels | Molecular Designs for Electrocatalysts
Chemistry Professor Robert Waymouth discusses his research on key chemical processes, the activation of carbon dioxide and the conversion of electricity into useful fuels. Waymouth's presentation was hosted by the 2014 Global Climate and Energy Project (GCEP) Research Symposium. Learn mor
From playlist GCEP Symposium 2014