Similar Tracks
"Pattern Matching @ Scale Using Finite State Machine" by Ajit Koti and Rashmi Shamprasad
Strange Loop Conference
Zero Knowledge Proofs and Their Future Applications by Elad Verbin at Web3 Summit 2018
Web3 Foundation
"Correctness proofs of distributed systems with Isabelle" by Martin Kleppmann
Strange Loop Conference