Lecture Series in AI: Dr. Byron Cook, Amazon-AWS
Fri, 17 Apr 2026 at 09:30
Free entry
Indoor
About
Columbia hosts a technology lecture by Dr. Byron Cook (Amazon AWS) on AI termination proofs and automatic methods for proving program termination. Part of the Lecture Series in AI, the 11:00–12:00 talk in Davis Auditorium at Schapiro CEPSR explores key techniques and real‑world implications; check‑in begins at 10:30, with registration required for affiliates and non‑affiliates.
More Lecture in New York City
Spring Reflection and Spirituality Discussion at Rose Hill
Tue, 7 Apr 2026Murray-Weigel Hall
FreeMachine Learning at the Flatiron Institute Seminar: Steve Brunton
Tue, 7 Apr 2026Flatiron Institute, 162 Fifth Avenue
FreeLang Craft Talks: Jordy Rosenberg
Tue, 7 Apr 2026The New School
Free“The Complicit Lens:” How Mainstream U.S. Media Covered Gaza
Tue, 7 Apr 2026Pulitzer Hall, 2950 Broadway, New York, NY 10027 3rd FL Lecture Hall
Free