Past Events

I will discuss several recent results on the Turán density of long cycle-like hypergraphs. These results (due to Kamčev–Letzter–Pokrovskiy, Balogh–Luo, and myself) all follow a similar framework, and I will

Integer partition and q-series sum-to-product identities, such as the Rogers-Ramanujan identities, lie at the intersection of combinatorics, number theory, and the representation theory of affine Lie algebras. This talk will

Can we encode data in a way that is recoverable even when 1) most data becomes corrupted, and 2) we can only read a sub-constant fraction of the database? This

We will discuss how to count the number of domino tilings of a rectangle.

We review some basics of "musical physics" from Pythagoras to modern times, and then examine variations on these ideas whereby we can build nonstandard musical scales inspired by the elementary

In this talk, I demonstrate how the interplay between EconCS theory and AI can mitigate misalignment across three stages of the data-to-decision pipeline: data collection, data evaluation, and decision-making. I

The ability to securely share or distribute private information among a group of mutually distrusting parties is essential for enabling secure computation on sensitive data. Traditionally, the emphasis has solely

The notion of robust local testability has played a key role in several developments in classical and quantum coding theory as well as complexity theory, such as constructions of Probabilistically

Automated guessing is a very popular tool in experimental mathematics. Given the first few terms of an infinite sequence, it tries to find a recurrence that the sequence is in

Succinct randomized encodings allow encoding the input $x$ of a time-$t$ uniform computation $M(x)$ in sub-linear time $o(t)$. The resulting encoding $\Tilde{x}$ allows recovering the result of the computation $M(x)$,

Recent progress in LLMs has transformed text and code generation, yet models still falter on PDEs (partial differential equation) where correctness, constraints, and physical consequences are critical. This talk explores

The Co nference on Web and Internet Economics WINE originally known as the Workshop on Internet Network Economics until 2013 is an interdisciplinary platform for exchanging ideas and findings on incentives and computation from these varied fields The WINE conference has been held annually since its inception in 2005 and

We introduce the notion of continuous parking sequences as a continuous analogue of parking functions. We allow the cars to have different lengths and the street to be longer than

Economic theory models equilibrium as the fixed point of price adjustment in markets by individual agents based on well-behaved preferences. But modern social-economic systems—from peer-to-peer BitTorrent bandwidth sharing to blockchains

List colorings are a natural generalization of classical graph colorings. Rather than coloring our graph using the same set of colors at each vertex, we assign a list of colors

Large language models (LLMs) are increasingly integrated in software development, but ensuring correctness in LLM-generated code remains challenging and often requires costly manual review. Verifiable code generation—jointly generating code, specifications,

What is the smallest subset of the hypercube {0, 1}^n that intersects every two-dimensional face? What is the largest subgraph of the hypercube graph Q_n that doesn't contain an 8-cycle?

Society faces increasing property damage and casualties from both man-made and natural disasters. Developing societal resilience to these threats is both critical and challenging. This resilience depends on multiple stakeholders,

Factor-revealing and policy-revealing linear programs (LPs) are widely used to analyze approximation and online algorithms when direct performance evaluation is difficult. These LPs characterize worst-case performance as a family of