ACM SIGPLAN — GeistHaus

[FARM'25] How to Score in the Art Racket

ACM SIGPLAN Feb 6, 2026 Updated Apr 22, 2026

https://www.youtube.com/v/RS89mEOBLSk?version=3 (application/x-shockwave-flash)

yt:video:RS89mEOBLSk

Extensions

[HPCA CGO PPoPP CC'26] Pyrmont (Feb 4th)

ACM SIGPLAN Feb 4, 2026 Updated Apr 30, 2026

https://www.youtube.com/v/nUlqF3fC8GU?version=3 (application/x-shockwave-flash)

yt:video:nUlqF3fC8GU

Extensions

[HPCA CGO PPoPP CC'26] Pyrmont (Feb 3rd)

ACM SIGPLAN Feb 3, 2026 Updated Feb 19, 2026

https://www.youtube.com/v/ZLsm8X5SYwM?version=3 (application/x-shockwave-flash)

yt:video:ZLsm8X5SYwM

Extensions

[HPCA CGO PPoPP CC'26] Pyrmont (Feb 2nd)

ACM SIGPLAN Feb 2, 2026 Updated Apr 29, 2026

https://www.youtube.com/v/ULchnAzYcH8?version=3 (application/x-shockwave-flash)

yt:video:ULchnAzYcH8

Extensions

[CPP'26] Verified VCG and Verified Compiler for Dafny

ACM SIGPLAN Jan 27, 2026 Updated May 4, 2026

https://www.youtube.com/v/v_hL8RB4tnE?version=3 (application/x-shockwave-flash)

yt:video:v_hL8RB4tnE

Extensions

[CPP'26] Higher order differential calculus in Mathlib

ACM SIGPLAN Jan 27, 2026 Updated May 5, 2026

https://www.youtube.com/v/spR9AjLI5Eg?version=3 (application/x-shockwave-flash)

yt:video:spR9AjLI5Eg

Extensions

[CPP'26] Computing Solutions for Systems of Multivariate Ordinary Differential Equations in Rocq

ACM SIGPLAN Jan 27, 2026 Updated Apr 13, 2026

https://www.youtube.com/v/pKMgMZUx8LQ?version=3 (application/x-shockwave-flash)

yt:video:pKMgMZUx8LQ

Extensions

[CPP'26] A Lambda-Superposition Tactic for Isabelle/HOL

ACM SIGPLAN Jan 27, 2026 Updated May 5, 2026

https://www.youtube.com/v/VlN4034k2wc?version=3 (application/x-shockwave-flash)

yt:video:VlN4034k2wc

Extensions

[CPP'26] Adhesive Category Theory for Graph Rewriting in Rocq

ACM SIGPLAN Jan 27, 2026 Updated Feb 25, 2026

https://www.youtube.com/v/Sssz_QMk1iQ?version=3 (application/x-shockwave-flash)

yt:video:Sssz_QMk1iQ

Extensions

[CPP'26] Cylindrical Algebraic Decomposition in Coq/Rocq

ACM SIGPLAN Jan 27, 2026 Updated May 4, 2026

https://www.youtube.com/v/K_W0T2kVIqk?version=3 (application/x-shockwave-flash)

yt:video:K_W0T2kVIqk

Extensions

[CPP'26] How can Machine Learning Help Formal Proving ?

ACM SIGPLAN Jan 27, 2026 Updated Apr 28, 2026

https://www.youtube.com/v/CRQSx4rBNeA?version=3 (application/x-shockwave-flash)

yt:video:CRQSx4rBNeA

Extensions

[CPP'26] Specification, Semantics, and Verification of Quantum Programs

ACM SIGPLAN Jan 27, 2026 Updated Apr 29, 2026

https://www.youtube.com/v/BeDG46EAgjE?version=3 (application/x-shockwave-flash)

yt:video:BeDG46EAgjE

Extensions

[CPP'26] Enhancing Symbolic Execution with Machine-Checked Safety Proofs

ACM SIGPLAN Jan 27, 2026 Updated May 4, 2026

https://www.youtube.com/v/5O6eSztbk4o?version=3 (application/x-shockwave-flash)

yt:video:5O6eSztbk4o

Extensions

[CPP'26] Mechanizing Synthetic Tait Computability in Istari

ACM SIGPLAN Jan 27, 2026 Updated May 5, 2026

https://www.youtube.com/v/HGa6a1zXAcA?version=3 (application/x-shockwave-flash)

yt:video:HGa6a1zXAcA

Extensions

[CPP'26] Formalization of a Proof Calculus for Incremental Linearization for Satisfiability(…)

ACM SIGPLAN Jan 27, 2026 Updated Apr 21, 2026

https://www.youtube.com/v/21sJ19OZ3yM?version=3 (application/x-shockwave-flash)

yt:video:21sJ19OZ3yM

Extensions