Formal Methods Courses
USENIX via YouTube Why Loops End in C++
CppCon via YouTube Why C++ Loops End - Midnote
cpponsea via YouTube Tutorial on Deductive Program Synthesis - Part 2: Hands-on Derivation and Advanced Techniques
Neurosymbolic Programming for Science via YouTube Facing Uncertainty in AI - From Verification to Synthesis
RWTH Center for Artificial Intelligence via YouTube Declarative Programming via a Relational Algebra - PhD Defense
Center for Language & Speech Processing(CLSP), JHU via YouTube Model Theory and Differential Equations
Banach Center via YouTube Formal XAI - Explainable Artificial Intelligence
ANITI Toulouse via YouTube Function Extraction: Mapping Programs into Mathematica Equations
Wolfram via YouTube Predicting and Preventing Chaos with Formal Methods in TLA+ - Lambda Days 2022
Code Sync via YouTube