Temporal Logic Courses
USENIX via YouTube Introducing PyReason: Open World Temporal Logic Software Package
Neuro Symbolic via YouTube Sonic Pi - Live Coding as a Tool for Next-Gen Education
The Julia Programming Language via YouTube Which Time Is It? - A Graphical Tour of Time Concepts and Operations
Confreaks via YouTube A Direct ASP Encoding for Declare
ACM SIGPLAN via YouTube The Essence of Reactivity
ACM SIGPLAN via YouTube Solving Infinite-State Games via Acceleration
ACM SIGPLAN via YouTube Deciding Asynchronous Hyperproperties for Recursive Programs
ACM SIGPLAN via YouTube Historia: Refuting Callback Reachability with Message-History Logics
ACM SIGPLAN via YouTube Algorithmic Verification - Session Preview at POPL 2023
ACM SIGPLAN via YouTube