Past Events

Mathematical texts can be computerised in many ways. At one end there is document imaging, at the other there are proof assistants (Mizar, Isabelle, Coq, etc.).In between, there are typesetting (e.g., LaTeX and MathML) and semantically oriented (e.g...

Historically functions have been treated as a kind of meta-object. This all changed with the work of Frege, Russell and Church. Furthermore, the challenges of the paradoxes led to the formalisation of type theory by Russell. Since, functions and...

In 1887, Hoelder proved that the Gamma Function, defined by the difference equation y(x+1) = x y(x), satisfies no nonzero polynomial differential equation with complex coefficients. In the last several years Galois theories have been developed that...

Hugh C. Morris Lecture: Cedric Villani

In 2003, Bose proposed the idea of using a network of interacting spins as a quantum wire to transfer information within a quantum computer. Associated with the network is a matrix M whose rows and columns are indexed by the spins, and whose entries...

The talk is concerned with the application of sensor array imaging in complex environments. The goal of imaging is to estimate the support of remote sources or strong reflectors using time resolved measurements of waves at a collection of sensors...

We consider the problem whether small perturbations of integable mechanical systems can have very large effects. It is known that in many cases, the effects of the perturbations average out, but there are exceptional cases (resonances) where the...