DIMACS AI and Mathematics Seminar Series

Schedule subject to change; check https://ai-math-seminar.github.io/seminar/ for speakers, abstracts, and slides.

The seminar explores the fast-growing interface between mathematical reasoning, formal methods, and modern AI systems. It is co-organized by DIMACS and the Mathematics Department at Rutgers University, New Brunswick. Here is the YouTube channel for the talks in this seminar.

Date: Sep 30, 2026

Speaker: Peter Zenz (Brown)

Title/Materials: TBA

Time: 10:00–11:00 AM

Location: Hill 705

Contact: steven.creech@.rutgers.edu

Website: https://ai-math-seminar.github.io/seminar/