Previous Conferences & Workshops
George Deligiannidis
I will talk about an approach to proving exponential mixing for
some kinetic, non-diffusive stochastic processes, that have
recently become popular in computational statistics community.
Compositional inductive biases in human function learning
Samuel J. Gershman
This talk presents evidence that humans learn complex functions
by harnessing compositionality: complex structure is decomposed
into simpler building blocks. I formalize this idea in the
framework of Bayesian nonparametric regression using a
grammar...
Weak solutions to the Navier--Stokes inequality with arbitrary energy profiles
Wojciech Ożański
In the talk we will focus on certain constructions of weak
solutions to the Navier--Stokes inequality (NSI), \[ u \cdot \left(
u_t - \nu \Delta + (u\cdot \nabla ) u+ \nabla p \right) \leq 0\] on
$\mathbb R^3$. Such vector fields satisfy both the...
Faster and Simpler Algorithms for Robust Statistics
In this talk, we will discuss some of the recent advances in
high-dimensional robust statistics. In particular, we will focus on
designing faster and simpler robust algorithms for fundamental
statistical and machine learning problems.
Online Learning in Reactive Environments
Online learning is a popular framework for sequential prediction
problems. The standard approach to analyzing an algorithm's
(learner's) performance in online learning is in terms of its
empirical regret defined to be the excess loss suffered by
the...
How will we do mathematics in 2030 ?
Michael R. Douglas
We make the case that over the coming decade, computer assisted
reasoning will become far more widely used in the mathematical
sciences. This includes interactive and automatic theorem
verification, symbolic algebra, and emerging technologies
such...
Permutation property testing
The importance of analyzing big data and in particular very
large networks has shown that the traditional notion of a fast
algorithm, one that runs in polynomial time, is often insufficient.
This is where property testing comes in, whose goal is
to...