Theoretical computer science conferences | Logic in computer science
The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year's conference appear in renowned international journals such as Logical Methods in Computer Science and ACM Transactions on Computational Logic. (Wikipedia).
Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
Thomas Colcombet : Algebra vs Logic over (generalised) words
CONFERENCE Recording during the thematic meeting : « Discrete mathematics and logic: between mathematics and the computer science » the January 17, 2023 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Jean Petit Find this video and other talks give
From playlist Logic and Foundations
IMS Public Lecture: Logic and Computation
Ted Slaman, University of California, Berkeley, USA
From playlist Public Lectures
Probabilistic logic programming and its applications - Luc De Raedt, Leuven
Probabilistic programs combine the power of programming languages with that of probabilistic graphical models. There has been a lot of progress in this paradigm over the past twenty years. This talk will introduce probabilistic logic programming languages, which are based on Sato's distrib
From playlist Logic and learning workshop
Logic for Programmers: Propositional Logic
Logic is the foundation of all computer programming. In this video you will learn about propositional logic. 🔗Homework: http://www.codingcommanders.com/logic.php 🎥Logic for Programmers Playlist: https://www.youtube.com/playlist?list=PLWKjhJtqVAbmqk3-E3MPFVoWMufdbR4qW 🔗Check out the Cod
From playlist Logic for Programmers
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
Creation in Mathematics: The Question of the Sketch of the Proof - Jean Dhombres
Jean Dhombres
From playlist CASVA symposium
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
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 - 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 - Propositions as Types
"Propositions as Types" - Philip Wadler of University of Edinburgh About the talk: The principle of Propositions as Types links logic to computation. At first sight it appears to be a simple coincidence---almost a pun---but it turns out to be remarkably robust, inspiring the design of the
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
Moonshot for Neurotechnology: The Brain Observatory - M. Roukes - 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
Ising Machines: Non-Von Neumann Computing with Nonlinear Optics - Alireza Marandi - 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 Fu
From playlist Carver Mead New Adventures Fund Symposium
SDS 543: Sparking A.I. Innovation — with Nicole Büttner
#ArtificialIntelligence #Innovation #AIStartup Nicole Büttner (Founder and CEO of Merantix Labs) joins the podcast to discuss driving A.I. innovation, automation, and transformation and building the ideal A.I. start-up founding team. This episode is brought to you by Monte Carlo, the dat
From playlist Super Data Science Podcast
VLSI Synthesis: Silicon Compilation - D. Johannsen - 8/8/2014
This presentation was given at Carver Mead Celebration Symposium: In Honor of Carver's 80th Birthday event held at Caltech's Beckman Institute Auditorium on August 8, 2014, in Pasadena, CA, USA. Produced in association with Caltech Academic Media Technologies. © 2014 California Institute
From playlist Carver Mead Celebration Symposium - August 8, 2014
Babbage's Analytical Engine - Computerphile
Charles Babbage's Analytical Engine was designed as the first Turing complete computer - before Turing was even born. Sadly it was never built. Professor Brailsford explains with the help of Sydney Padua's illustrations. More of Sydney's work: http://bit.ly/1de83fM The Professor's notes:
From playlist Subtitled Films
Historical Talk: Spanning All Eras - D. Lyon - 8/8/2014
This presentation was given at Carver Mead Celebration Symposium: In Honor of Carver's 80th Birthday event held at Caltech's Beckman Institute Auditorium on August 8, 2014, in Pasadena, CA, USA. Produced in association with Caltech Academic Media Technologies. © 2014 California Institute
From playlist Carver Mead Celebration Symposium - August 8, 2014
TEDxCaltech - Don Eigler - Moving Atoms, one-by-one
Don Eigler, an IBM Fellow, is a physicist at IBM's Almaden Research Center in San Jose, California, where he has been a leader of the Low-Temperature Scanning Tunneling Microscopy Project. His research is aimed at understanding the physics of nanometer-scale structures and exploring their
From playlist TEDxCaltech - 1/14/11
Arnaud Durand : A quick and partial survey on the complexity of query answering
CONFERENCE Recording during the thematic meeting : « Discrete mathematics and logic: between mathematics and the computer science » the January 19, 2023 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other
From playlist Logic and Foundations