Dec 6 4PM - 5PM Frontiers of Mathematical Sciences Colloquium - Kevin Mark Buzzard KEVIN MARK BUZZARD Will computers prove theorems? In Person Learning Hall, Doherty Hall A302
Oct 10 10AM - 6PM AI Institutes Exposition and Engagement Showcase National AI Research Institutes In Person Simmons Auditorium, Tepper Building
Sep 5 4:30pm - 5:30pm Carnegie Mellon Graphics Colloquium - Ravi Ramamoorthi RAVI RAMAMOORTHI Sampling and Signal-Processing for High-Dimensional Visual Appearance in Computer Graphics and Vision In Person Rashid Auditorium, Gates Hillman 4401
Feb 15 5PM - 6PM Carnegie Mellon Graphics Colloquium C. KAREN LIU Building Large Models for Human Motion In Person Rashid Auditorium, Gates Hillman 4401
Nov 30 4:30pm - 5:30pm Carnegie Mellon Graphics Colloquium WOJCIECH MATUSIK Can Computers Beat Humans at Design? In Person ASA Conference Room, Gates Hillman 6115
May 4 10AM - 6PM Meeting of the Minds Showcasing CMU Students! In Person and Virtual - ET Cohon University Center
Feb 6 3PM - 5PM Department of Computer Science Colloqium - University of Pittsburgh DEEPAK MAJETI and ANATOLI SHEIN Separating Compute and Storage for Modern Big Data Analytics 5317 Sennott Square
Nov 29 10AM - 11AM Colloquium on Computer Science Pedagogy MIRANDA C. PARKER Barriers to Computing: What Prevents CS for All ASA Conference Room 6115 Gates Hillman Centers
Nov 1 4:30pm - 5:45pm Philosophy Colloquium LARRY S. MOSS Natural Logic Steinberg Auditorium A53 Baker Hall
Oct 25 4:30pm - 5:45pm Pure and Applied Logic Colloquium LIRON COHEN Enhancing the Proofs-as-Programs Paradigm with Modern Notions of Computation and Reasoning Techniques Steinberg Auditorium A53 Baker Hall
