Previous Conferences & Workshops

A randomness extractor is an efficient algorithm which extracts high-quality randomness from a low-quality random source. Randomness extractors have important applications in a wide variety of areas, including pseudorandomness, cryptography...

Enumerative geometry is a classical subject often concerned with enumeration of complex curves of various types in projective manifolds under suitable regularity conditions. However, these conditions rarely hold. On the other hand, Gromov-Witten...

To examine the limiting behavior of graph sequences, many discrete methods meet their continuous counterparts, leading to numerous theoretical and applicable advancements. For dense graph sequences, the graph limits have recently been well developed...

This will be a survey talk on equivariant topology methods and how to use them in discrete geometry and combinatorics, based on examples.

Topological defects pervade a wide range of physical systems, from superconductors to smectic liquid crystals. The behavior and interactions of such singularities impart many materials with a wealth of rich behavior. Just as flux vortices in the...

In this talk we discuss the recent area of topological data analysis (TDA) from a probabilistic perspective. The talk falls under two parts. The first part of the talk considers a classic object in topology and geometry, a (Whitney) stratified space...

The Resolution proof system is among the most basic and popular for proving propositional tautologies, and underlies many of the automated theorem proving systems in use today. I'll start by defining the Resolution system, and its place in the proof...

A classical theorem of Dirichlet establishes the existence of infinitely many primes in arithmetic progressions, so long as there are no local obstructions. In 2006 Green and Tao set up a program for proving a vast generalization of this theorem...

Milman's ellipsoids play an important role in modern convex geometry. Here we show that their proofs of existence can be turned into efficient algorithms, and these in turn lead to improved deterministic algorithms for volume estimation of convex...