We're in beta. Stay tuned for updates.x
Loading...
PODCAST

Iowa Type Theory Commute

Aaron Stump
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
technology mathematics

All Episodes

15:34
Mi-Cho-Coq: Michelson formalized and applied, in Coq
Iowa Type Theory Commute ·
2022/12/02
en-us
14:24
Verification of Tezos smart contracts with K-Michelson
Iowa Type Theory Commute ·
2022/11/11
en-us
10:58
Start of Season 4: Formal Methods for Blockchain
Iowa Type Theory Commute ·
2022/11/07
en-us
11:52
Separation Logic II: recursive predicates
Iowa Type Theory Commute ·
2022/09/16
en-us
13:26
Separation Logic 1
Iowa Type Theory Commute ·
2022/07/25
en-us
13:47
Let's talk about Rust
Iowa Type Theory Commute ·
2022/07/10
en-us
16:57
Region-Based Memory Management
Iowa Type Theory Commute ·
2022/06/22
en-us
17:08
Introduction to verified memory management
Iowa Type Theory Commute ·
2022/06/05
en-us
17:19
More on Metamath
Iowa Type Theory Commute ·
2022/05/21
en-us
14:32
Metamath
Iowa Type Theory Commute ·
2022/04/23
en-us
10:36
The Seventeen Provers of the World
Iowa Type Theory Commute ·
2022/04/10
en-us
15:17
More on Lean
Iowa Type Theory Commute ·
2022/03/13
en-us
14:52
The Lean Prover
Iowa Type Theory Commute ·
2022/02/28
en-us
16:14
More on Isabelle, and the Complexity of ITPs
Iowa Type Theory Commute ·
2022/02/17
en-us
16:54
Isabelle/HOL
Iowa Type Theory Commute ·
2022/01/28
en-us
13:03
More on Agda
Iowa Type Theory Commute ·
2022/01/13
en-us
15:24
A look at Agda
Iowa Type Theory Commute ·
2022/01/10
en-us
18:28
More reflections on Coq
Iowa Type Theory Commute ·
2021/12/31
en-us
15:03
The Coq Proof Assistant
Iowa Type Theory Commute ·
2021/12/29
en-us
11:58
Introduction to Interactive Theorem Provers
Iowa Type Theory Commute ·
2021/12/17
en-us
183 results

Similar Podcasts
Lead With AI
Tamara Nall
Linux in the Ham Shack
Black Sparrow Media
Data Engineering Podcast
Tobias Macey
Eye On A.I.
Craig S. Smith
Reflections
Livewire Labs