First-Order Logic Courses
Centre International de Rencontres Mathématiques via YouTube On A Finitary Formal Meta-theory of Meta-mathematics - ICBS 2024
BIMSA via YouTube Infinitary Combinatorics and Finitary Arithmetic
BIMSA via YouTube Model Theory over Groups
Centre de recherches mathématiques - CRM via YouTube Knowledge Graph Reasoning with Graph Neural Networks
GERAD Research Center via YouTube On the Power of Temporal Prophecy
ACM SIGPLAN via YouTube Automated Datastructure Verification Using Unfoldings and SMT Solving - Foundations and FO-Completeness
ACM SIGPLAN via YouTube A Formalization of Core Why3 in Coq
ACM SIGPLAN via YouTube Finding Infinite Counter-Models in Deductive Verification
ACM SIGPLAN via YouTube Complete First-Order Reasoning for Properties of Functional Programs - OOPSLA 2023
ACM SIGPLAN via YouTube