ACM Transactions on Computational Logic (ACM TOCL) is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery, a premier scientific and educational society on computer science and computational technology in the United States. The editor-in-chief is Anuj Dawar (University of Cambridge). According to the Journal Citation Reports, the journal had a 2020 impact factor of 0.625. (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

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 Ultimate Guide to Propositional Logic for Discrete Mathematics

This is the ultimate guide to propositional logic in discrete mathematics. We cover propositions, truth tables, connectives, syntax, semantics, logical equivalence, translating english to logic, and even logic inferences and logical deductions. 00:00 Propositions 02:47 Connectives 05:13 W

From playlist Discrete Math 1

Optimal transport for machine learning - Gabriel Peyre, Ecole Normale Superieure

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 - Computation with Motile Biological Agents

"Computation with Motile Biological Agents" - Dan Nicolau of McGill University Support for the Stanford Colloquium on Computer Systems Seminar Series provided by the Stanford Computer Forum. Speaker Abstract and Bio can be found here: http://ee380.stanford.edu/Abstracts/160525.html Coll

From playlist Engineering

Proof synthesis and differential linear logic

Linear logic is a refinement of intuitionistic logic which, viewed as a functional programming language in the sense of the Curry-Howard correspondence, has an explicit mechanism for copying and discarding information. It turns out that, due to these mechanisms, linear logic is naturally r

From playlist Talks

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

ElixirConf 2016 - Building Umbrella Project by Wojtek Mach

Building Umbrella Project by Wojtek Mach One of the many goals that both Elixir & Phoenix share is developer’s productivity. There can be two aspects of productivity: short-term and long-term. In this talk we’ll explore how using Elixir’s umbrella project feature can help with long-term p

From playlist ElixirConf 2016

Stanford Seminar - Mind Your State for Your State of Mind

EE380: Computer Systems Colloquium Seminar "Mind Your State for Your State of Mind" Speaker: Pat Helland, Salesforce About the talk: Applications have had an interesting evolution as we've moved into the distributed and scalable world. Similarly, storage and its cousin databases have cha

From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series

If Your Robot Commits Murder, Should You Go to Jail? | Big Think

If Your Robot Commits Murder, Should You Go to Jail? Watch the newest video from Big Think: https://bigth.ink/NewVideo Join Big Think Edge for exclusive videos: https://bigth.ink/Edge ---------------------------------------------------------------------------------- Just like automated ve

From playlist Best Videos | Big Think

Stanford Lecture: Mathematical Writing - Refereeing (1)

The class notes are available as a Stanford report, Mathematical Writing (http://www-cs-faculty.stanford.edu/~knuth/papers/cs1193.pdf), and a published book (http://www-cs-faculty.stanford.edu/~knuth/klr.html). October 30, 1987 Professor Knuth is the Professor Emeritus at Stanford Univer

From playlist Donald Knuth Lectures

Harvesting and making sense of mobile and wearables data: Challenges and opportunities

Cecilia Mascolo (Turing Fellow and University of Cambridge, UK) Cecilia Mascolo is a mother of a teenage daughter. She is also Full Professor of Mobile Systems in the Computer Laboratory, University of Cambridge, UK, a Fellow of Jesus College Cambridge and a Fellow at the Alan Turing Inst

From playlist Women in data science conference

Hands on learning of computational theory for software developers from all walks of life. Using semantics and the barebones of the Ruby programming language, learn the meaning of programs and why specific algorithms do their job.

From playlist Programming Podcast

Stanford Seminar: Time Traveling Hardware and Software Systems

EE380: Computer Systems Colloquium Time Traveling Hardware and Software Systems Srini Devadas , MIT With the imminent demise of Moore's Law, the importance of parallel computing is only increasing. However, efficient parallel computing with ease of programmability still remains elusive. S

From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series

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

Stanford Lecture: Mathematical Writing - Scientific American Saga (2)

The class notes are available as a Stanford report, Mathematical Writing (http://www-cs-faculty.stanford.edu/~knuth/papers/cs1193.pdf), and a published book (http://www-cs-faculty.stanford.edu/~knuth/klr.html). November 13, 1987 Professor Knuth is the Professor Emeritus at Stanford Unive

From playlist Donald Knuth Lectures

CERIAS Security: Automatic Debugging and Verification of RTL-Specified Real-Time Systems 4/6

Clip 4/6 Full title: Automatic Debugging and Verification of RTL-Specified Real-Time Systems via Incremental Satisfiability Counting and On-Time and Scalable Intrusion Detection in Embedded Systems Speaker: Dr. Albert M. K. Cheng · University of Houston Real-time logic (RTL) is use

From playlist The CERIAS Security Seminars 2007

HC30-T1-X: Blockchains and Distributed Ledgers

Tutorial 1, Hot Chips 30 (2018), Sunday, August 19, 2018. Organizer: Geoffrey Burr, IBM A New Era in Distributed Computing with Blockchains and Databases Dr. C. Mohan, IBM Fellow, IBM Research–Almaden A new era is emerging in the world of distributed computing with the growing popularit

From playlist Center for Applied Cybersecurity Research (CACR)

Hajime Ishihara: Constructive reverse mathematics an introduction and recent results

The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: This talk presents an introduction to constructive reverse mathematics (CRM) with some recent results. The aim of CRM is to classify various theorems in intuitionistic, c

From playlist Workshop: "Proof, Computation, Complexity"