[POPL 2021] PLMW: "Numbers, Logic, and Decidability for Cyber-Physical Systems" by Rupak Majumdar

Whole-channel inclusion: ACM SIGPLAN is an honest teaching channel (title sample + 3 transcripts read: All three samples lack transcripts, so the channel verdict relies on the prior title-sample assessment indicating near-entirely academic conference talks and tutorials.); this title passed a strict title check (sonnet) after a labelling pass.

A 52-minute video from ACM SIGPLAN: “[POPL 2021] PLMW: "Numbers, Logic, and Decidability for Cyber-Physical Systems" by Rupak Majumdar”.

Video by ACM SIGPLAN, played through YouTube's embedded player.