Past Events

It is often convenient or useful in mathematics to treat isomorphic structures as the same. The Univalence Axiom for the foundations of mathematics elevates this idea to a foundational principle in the setting of Homotopy Type Theory. It states...

One sometimes hears that the indigenous peoples of the Americas are for some reason not predisposed to be able to do mathematics. This belief is surprising, since the mathematical traditions of the Western Hemisphere prior to European contact were...

A variety of measurements may illuminate the reservoir with varying coverage and resolution such as: electromagnetic (EM); controlled-source EM (CSEM); magnetotelluric (MT), surface-to-borehole EM (STB-EM); crosswell EM; seismic (surface seismic...

At the interface of Mathematics, Computer Science, and Philosophy, Set Theory is both a fascinating subject and the victim of several misunderstandings: after the great successes in the first half of the XXth century, Set Theory was (mistakenly)...

In the last 30 years representations of (infinite) Galois groups have played an increasingly important role in number theory. Indeed, arithmetic objects such as the Diophantine equation y2=x3+x2+1 or xn+yn=zn often have attached Galois...

Hilbert’s Tenth Problem asked for an algorithm that, given a multivariable polynomial equation with integer coefficients, would decide whether there exists a solution in integers. Around 1970, Matiyasevich, building on earlier work of Davis, Putnam...

Representation theory of finite groups seeks to understand functions on the group known as irreducible characters. A group like GL(n,F_q), the group of invertible square matrices with entries in a finite field F_q, originates in algebraic geometry...

Cryptography is the mathematical science of keeping secrets and maintaining trust. Once an arcane study of primarily military significance, over the past several decades the advent of the internet has invigorated this science. There are now results...

We introduce a nonparametric method for estimating non-gaussian graphical models based on a new statistical relation called additive conditional independence, which is a three-way relation among random vectors that resembles the logical structure of...