Academic keynote : A Logician and Lawyer walk into a Classroom
summary
Yale runs a Fall 2022 course "Law, Security, and Logic" that teaches first-order encoding and automated reasoning on real statutes; students formalize 50 USC 1801(f) (FISA’s “electronic surveillance” definition) in first-order logic, run SMT solvers (Z3, CVC variants) and first‑order provers to check scenarios, build a web demo that answers whether a fact pattern counts as surveillance, and then search for loopholes and counterexamples. Class size is ~40, mostly CS but mixed, and future work targets privacy-preserving formal methods.
AI-written summary · about
chapters (9)
- 0:00Start
- 2:24Course Topics
- 3:15Course Assignments
- 11:22What did the Course Instructors Learn?
- 18:11US National Security Law
- 24:51A Sample Project
- 28:41Sample Feedback
- 31:04Computational Jurisprudence
- 35:03Why private programs?
related talks
01h 00mAI Safety through Programming?
21mFormal Methods for Everyone: Practical Tools for Computer-Aided Reasoning
01h 00mMaster Class ICT: A Cyber Case Law Review 2021
01h 29mLLM Safety, Alignment, and Generalization
21mSeparation Logics for Probability, Concurrency, and Security
47mHarnessing LLMs for Next-Level Security Analysis
23mReturn of the Theorem
34mSafety in Foundational Models