Formal methods publications | Logic in computer science
The Journal of Logic and Computation is a peer-reviewed academic journal focused on logic and computing. It was established in 1990 and is published by Oxford University Press under licence from Professor Dov Gabbay as owner of the journal. (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
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
Presentation of the T3 2018 : "Analytics, Inference, and Computation in Cosmology"
Analytics, Inference, and Computation in Cosmology Méthodes analytiques, statistiques et numériques en cosmologie Du 3 septembre au 14 décembre 2018 Organisé par : Patrick PETER, Institut d'astrophysique de Paris, CNRS Benjamin WANDELT, Institut d'astrophysique de Paris, Sorbonne Univ
From playlist 2018 - T3 - Analytics, Inference, and Computation in Cosmology
IMS Public Lecture: Logic and Computation
Ted Slaman, University of California, Berkeley, USA
From playlist Public Lectures
Maths for Programmers: Logic (What Is Logic?)
We're busy people who learn to code, then practice by building projects for nonprofits. Learn Full-stack JavaScript, build a portfolio, and get great references with our open source community. Join our community at https://freecodecamp.com Follow us on twitter: https://twitter.com/freecod
From playlist Maths for Programmers
Wolfram Physics Project: Working Session Tuesday, Mar. 16, 2021 [Bibliographying Combinators]
This is a Wolfram Physics Project working session on bibliographying combinators. Begins at 4:33 Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the announcement post: http://wolfr.am
From playlist Wolfram Physics Project Livestream Archive
The problem with `functions' | Arithmetic and Geometry Math Foundations 42a
[First of two parts] Here we address a core logical problem with modern mathematics--the usual definition of a `function' does not contain precise enough bounds on the nature of the rules or procedures (or computer programs) allowed. Here we discuss the difficulty in the context of funct
From playlist Math Foundations
EEVblog #867 - The Search For The First TTL Chip
Can Dave find the first mention of TTL chips, on the 50th anniversary of TTL? Some old resurrected footage and a segment idea from July 2014, Welcome to Wayback Wednesday, were Dave looks though his old Electronics Australia magazine collection. Forum: http://www.eevblog.com/forum/blog/ee
From playlist Magazines
Compositionality Journal: A quick look at the first papers
In this video I take a first look at the papers of the newly announced Compositionality Journal that relates to the "Applied Category Theory" crowd. Here's all the links shown in this video: https://gist.github.com/Nikolaj-K/7ea620559982c99618dd1032e1e8389f The papers are * Network models
From playlist Algebra
0071 - [ Talk ] Brief stream to talk about the break and the planning for work going forward
This is #71 in my series of live (Twitch) coding streams. This stream was just a short talk about why I took about a month off from streaming. Short story: I'm transitioning from just making web server components to making a full-blown online game! Notebook page: https://tinyurl.com/
From playlist Excalibur
Fabian Immler, Carnegie Mellon University Formal mathematics and a proof of chaos Formal proof has been successfully applied to the verification of hardware and software systems. But formal proof is also applicable to mathematics: proofs can be checked with ultimate rigor and one can bui
From playlist Fall 2019 Kolchin Seminar in Differential Algebra
Furio Honsell - Tribute to Ennio De Giorgi - 20 September 2016
Honsell, Furio "Implementing Cantor’s paradise in constructive type theory"
From playlist A Mathematical Tribute to Ennio De Giorgi
Social Justice in an Age of Datafication, Lina Dencik
Turning away from a ‘big picture’ view, Lina Dencik will speak about the use of data and algorithmic processes for decision-making affecting individuals and social life. Digitally monitoring, tracking, profiling and predicting human behaviour and social activities is what underpins the inf
From playlist Driving data futures
Des MacHale - The Humour Of Mathematics - CoM Mar 2022
We look at the role that humour plays in the teaching and understanding of mathematics, with hilariously funny illustrations and examples. The aim is to show how humour humanises the subject, makes it more enjoyable, and show that mathematicians are prepared to laugh at themselves and the
From playlist Celebration of Mind
Did Google Just Achieve 'Quantum Supremacy'?
A leaked paper from Google claimed that a quantum computer demonstrated "quantum supremacy." But what does that mean? » Subscribe to Seeker!http://bit.ly/subscribeseeker » Watch more Elements! http://bit.ly/ElementsPlaylist Quantum computers’ potential and the advantages they promise ove
From playlist Elements | Season 4 | Seeker
Nicole Schweikardt: Databases and descriptive complexity – lecture 2
Recording during the meeting "Spring school on Theoretical Computer Science (EPIT) - Databases, Logic and Automata " the April 11, 2019 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by wor
From playlist Numerical Analysis and Scientific Computing
Statistical Rethinking 2022 Lecture 20 - Horoscopes
Slides and other course materials: https://github.com/rmcelreath/stat_rethinking_2022 Music: https://www.youtube.com/watch?v=g2GbpXqL5P8 Pause: https://www.youtube.com/watch?v=pxPdsqrQByM Chapters: 00:00 Introduction 08:26 Subjective responsibilities 14:36 Planning 34:34 Working 58:28 Re
From playlist Statistical Rethinking 2022