dimacs logo color

Events

Past Events

Sep 17 2025

Locally Sampleable (Uniform) Symmetric Distributions

Information
Wednesday, September 17, 2025
11:00 AM - 12:00 PM
Type: Seminars | Theoretical Computer Science Seminar
Presenter(s): Kewen Wu - Institute for Advanced Study
We characterize the power of constant-depth Boolean circuits in generating uniform symmetric distributions. Let f be a Boolean function where each output bit of f depends only on O(1) input
Sep 17 2025

IMO 2025 Problem 6

Information
Wednesday, September 17, 2025
12:15 PM - 1:15 PM
Type: Seminars | Graduate Combinatorics Seminar
Presenter(s): Milan Haiman - Rutgers University
This year's international mathematics olympiad had an interesting combinatorics problem. I will state the problem and discuss one or more solutions.
Sep 15 2025

Random Combinatorial Billiards and Stoned Exclusion Processes

Information
Monday, September 15, 2025
2:00 PM - 3:00 PM
Type: Seminars | Rutgers Discrete Mathematics Seminar
Presenter(s): Colin Defant - Harvard University
Combinatorial billiards concerns rigid and discretized billiard systems that can be modeled combinatorially or algebraically. I will introduce a random combinatorial billiard trajectory depending on some fixed probability p; when
Sep 11 2025

Cutting a Pancake Using an Exotic Knife

Information
Thursday, September 11, 2025
5:00 PM - 6:00 PM
Type: Seminars | Experimental Math Seminar
Presenter(s): Neil Sloane - OEIS Foundation
In the first chapter of their classic book "Concrete Mathematics", Graham, Knuth, and Potashnik consider the maximum number of pieces that can be obtained from a pancake by making n
Sep 10 2025

Complexity of Tarski Fixed Points

Information
Wednesday, September 10, 2025
11:00 AM - 12:00 PM
Type: Seminars | Theoretical Computer Science Seminar
Presenter(s): Yuhao Li - Columbia University
Tarski's fixed point theorem has extensive applications across many fields, including verification, semantics, game theory, and economics. Recently, the complexity of finding a Tarski fixed point has attracted significant attention.
Sep 03 2025

The Versatile Forman-Ricci Curvature and its Networks Applications

Information
Wednesday, September 3, 2025
11:00 AM - 12:00 PM
Type: Seminars | Theoretical Computer Science Seminar
Presenter(s): Emil Saucan - Braude College of Engineering
We present the adaptations of Forman's discretization of Ricci curvature to the setting of networks and their higher dimensional generalizations and we explore their applications to a variety of real-life
Aug 02 2025

Rutgers Young Scholars Program in Discrete Mathematics - Ends

Information
Saturday, August 2, 2025 - Saturday, August 2, 2025
4:00 PM - 4:05 PM
Type: Workshops
Jul 22 2025

DIMACS Workshop on Hardness of Approximation in P

Information
Tuesday, July 22, 2025 - Thursday, July 24, 2025
3:00 AM - 5:00 PM
Type: Workshops
Organizer(s): Karthik C.S.
Many important optimization problems are not tractable A typical way to cope with such in tractability is to design algorithms that find solutions whose cost or value is close to the optimum In several interesting cases it is possible to prove that even finding good approximate solutions is as hard
Jul 14 2025

Bridging ML and Formal Methods for Trustworthy Network Management

Information
Monday, July 14, 2025
12:00 PM - 1:00 PM
Type: Seminars | REU Seminar
Presenter(s): Maria Apostolaki - Princeton University
Organizer(s): Lazaros Gallos
As computer networks support increasingly advanced applications and grow faster and more complex, managing them demands automated solutions that surpass human capability. While Machine Learning ML offers promise, its fragility,
Jul 01 2025

Formalizing mathematics with Lean and Mathlib

Information
Tuesday, July 1, 2025
12:00 PM - 1:00 PM
Type: Seminars | REU Seminar
Presenter(s): Ian Jauslin - Rutgers University
Organizer(s): Lazaros Gallos
Math is hard. And mathematicians are human. This has led to various high profile instances of published theorems being found to be incorrect, or incomplete. But even beyond such rare
Jun 24 2025

In the footsteps of Heraclitus

Information
Tuesday, June 24, 2025
12:00 PM - 1:00 PM
Type: Seminars | REU Seminar
Presenter(s): Neil Sloane - The OEIS Foundation
Organizer(s): Lazaros Gallos
Around 500 BCE Heraclitus famously said that no man can step in the same river twice. This talk will discuss what happens when you cannot step on the same number
Jun 17 2025

Towards accurate, scalable, and efficient quantum chemistry simulation

Information
Tuesday, June 17, 2025
12:00 PM - 1:00 PM
Type: Seminars | REU Seminar
Presenter(s): Yipeng Huang - Rutgers University
Organizer(s): Lazaros Gallos
There is significant excitement about when quantum computing will first become useful. Quantum computer simulation of quantum mechanical systems such as molecules is a leading use case. The mapping of
Jun 10 2025

Mechanism Design in the Real World

Information
Tuesday, June 10, 2025
12:00 PM - 1:00 PM
Type: Seminars | REU Seminar
Presenter(s): Daniel Schoepflin - Rutgers University
Organizer(s): Lazaros Gallos
How should we design algorithms which interact with human agents, and how can we make these algorithms robust to potential human manipulation Algorithmic mechanism design, which sits at the intersection
May 17 2025

SAMPLE - DIMACS Workshop on Quantum Software Systems and Theory

Information
Saturday, May 17, 2025
8:00 AM - 6:00 PM
Type: Workshops

The DIMACS Workshop on Quantum Software Theory and Systems brings together researchers from quantum computing, formal methods, and computer science to advance the theory and practice of quantum software. The workshop fosters collaborations across quantum algorithms, programming languages, software architectures, verification, and system design.  Through the exchange of ideas and research, it seeks to identify key challenges, explore potential solutions, and lay the groundwork for developing scalable tools, frameworks, and robust foundations for future quantum technologies.

May 17 2025

DIMACS Workshop on Quantum Software Systems and Theory

Information
Saturday, May 17, 2025 - Saturday, May 17, 2025
8:00 AM - 6:15 PM
Type: Workshops
Organizer(s): Zheng Zhang | Nengkun Yu | Lirong Xia
The DIMACS Workshop on Quantum Software Theory and Systems brings together researchers from quantum computing formal methods and computer science to advance the theory and practice of quantum software The workshop fosters collaborations across quantum algorithms programming languages software architectures verification and system design Through the exchange of ideas and
May 12 2025

Complexity in the Era of AI and Data-Driven Computing

Information
Monday, May 12, 2025
10:30 AM - 12:00 PM
Type: Seminars | Computer Science/DIMACS Joint Seminar
Presenter(s): Lance Fortnow - Illinois Institute of Technology
Organizer(s): David Pennock
We live in a new age of computing, driven by faster distributed computation, strong optimization, data-driven algorithms, and of course dramatic advances in artificial intelligence. We’ve made dramatic progress on
May 12 2025

Distinguished Lecture Series, Lance Fortnow (Illinois Institute of Technology): Complexity in the Era of AI and Data-Driven Computing

Information
Monday, May 12, 2025
10:30 AM - 12:00 PM
Type: Seminars | Theoretical Computer Science Seminar
We live in a new age of computing, driven by faster distributed computation, strong optimization, data-driven algorithms, and of course dramatic advances in artificial intelligence. We’ve made dramatic progress on
May 09 2025

Supply Chain Intelligence - Uniting the Silos of Excellence

Information
Friday, May 9, 2025
1:00 PM - 2:00 PM
Type: Seminars | CCICADA Seminar Series in Homeland Security
Presenter(s): John Caton - FEMA
John Caton, MPA, MA, CEM, will present in his personal capacity on the findings and development of his Naval Postgraduate School thesis, Uniting Silos of Excellence: Evaluating Alternate Policy Solutions
May 08 2025

The Mathematics and Physics of Joel Lebowitz

Information
Thursday, May 8, 2025
5:00 PM - 6:00 PM
Type: Seminars | Experimental Math Seminar
Presenter(s): Sheldon Goldstein - Rutgers University
Joel Lebowitz (b. May 10, 1930) has made many important contributions to both mathematics and physics, some of them will be outlined in this talk.
May 07 2025

Fully Packed and Ready to Go: Eliminating Rearrangement in High-Density, Grid-based Storage

Information
Wednesday, May 7, 2025
11:00 AM - 12:00 PM
Type: Seminars | Theoretical Computer Science Seminar
Presenter(s): Tzvika Geft - Rutgers University
Grid-based storage systems with uniformly shaped loads (e.g., containers,pallets, or totes) are prevalent in logistics, industrial, and transportation domains. They are increasingly optimized and automated via the incorporation of robotics