REU Seminar

Information
REU Seminars

Theoretical Computer Science Seminar

Information
Current Seminars

The primary website for the Theoretical Computer Science Seminar is here.

Rutgers EconCS Seminar

Information
Current Seminars

DIMACS-MSIS Joint Seminar

Information
Current Seminars

AI and Mathematics Seminar

Information
Current Seminars

Weekly research seminar at Rutgers on the use of Lean and other AI methods in Mathematics research held Wednesdays, 2–3 PM. The primary website for the Rutgers AI and Mathematics Seminar is https://ai-math-seminar.github.io/seminar/

Rutgers Discrete Mathematics Seminar

Information
Current Seminars

This seminar runs every Monday during the semester at 2pm in Hill 705

Experimental Math Seminar

Information
Current Seminars

Graduate Combinatorics Seminar

Information
Current Seminars

The Graduate Combinatorics Seminar is organized by graduate students in the Mathematics Department to share knowledge and build community among those with interests in combinatorics at Rutgers. It has been running since 2008 and is sponsored by DIMACS.

DATA-INSPIRE TRIPODS Seminars

Information
Limited Run Seminars

DIMACS Matching Reading Group

Information
Limited Run Seminars

Online Event

Each meeting centers on a presentation of recent work related to strategic matchings followed by informal discussion. The topics range from theoretical results to modelling papers to real-world experiments (e.g., school choice, NMRP, etc). To receive email notifications about upcoming

Mini-course on Quantum Recursive Programs

Information
Limited Run Seminars

DIMACS visitor Zhicheng Zhang from University of Technology, Sydney kindly agreed to give a mini course on quantum recursive programs. The mini course will run Tuesdays and Thursdays, from Thursday, April 10 through Thursday, April 24, 2025 from 11 am

Rutgers LEAN (Mathematics) Seminar

Information
Limited Run Seminars

The Lean Theorem Prover is an interactive proof assistant, which is a software tool for formally writing and verifying mathematical proofs. Machine learning and Lean have been used together to automatically generate mathematical proofs in a process known as neural