Theoretical computer science conferences

International Symposium on Fundamentals of Computation Theory

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).

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

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

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

Video thumbnail

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

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

IMS Public Lecture: Logic and Computation

Ted Slaman, University of California, Berkeley, USA

From playlist Public Lectures

Video thumbnail

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

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

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

Video thumbnail

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

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

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

Video thumbnail

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

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

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

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

Video thumbnail

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

Related pages

Theoretical computer science | Computational complexity | Formal methods