Tue, 14 Jun 2016
15:00
L5

Exchanging a key: how hard can it be?

Cas Cremers
(University of Oxford)
Abstract
During the last thirty years, there have been many advances in the development of protocols for
authenticated key exchange. Although signature-based variants of Diffie-Hellman have been
known since the start of this development, dozens of new (two message) protocols are still proposed each
year. In this talk, we present some of the recent history of security definitions for Authenticated Key
Exchange, their many relatives, and discuss strengths and weaknesses. We motivate why there
has been little convergence in terms of protocols or security definitions. I will also present some of our 
recent work in this domain, including new stronger security definitions, and how to achieve them.
Mon, 02 May 2016
14:15
L4

Untwisted and twisted open de Rham spaces

Michael Lennox Wong
(Duisburg-Essen University)
Abstract

 An "open de Rham space" refers to a moduli space of meromorphic connections on the projective line with underlying trivial bundle.  In the case where the connections have simple poles, it is well-known that these spaces exhibit hyperkähler metrics and can be realized as quiver varieties.  This story can in fact be extended to the case of higher order poles, at least in the "untwisted" case.  The "twisted" spaces, introduced by Bremer and Sage, refer to those which have normal forms diagonalizable only after passing to a ramified cover.  These spaces often arise as quotients by unipotent groups and in some low-dimensional examples one finds some well-known hyperkähler manifolds, such as the moduli of magnetic monopoles.  This is a report on ongoing work with Tamás Hausel and Dimitri Wyss.

Design and Performance of the OP2 Library for Unstructured Mesh Applications.
Bertolli, C Betts, A Mudalige, G Giles, M Kelly, P Euro-Par 2011: Parallel Processing Workshops volume 7155 191-200 (01 Jan 2011)
Performance analysis of the OP2 framework on many-core architectures
Giles, M Mudalige, G Sharif, Z Markall, G Kelly, P ACM SIGMETRICS Performance Evaluation Review volume 38 issue 4 9-15 (29 Mar 2011)
Predictive modeling and analysis of OP2 on distributed memory GPU clusters
Mudalige, G Giles, M Bertolli, C Kelly, P ACM SIGMETRICS Performance Evaluation Review volume 40 issue 2 61-67 (08 Oct 2012)
Mon, 23 May 2016
14:15
L4

Poncelet's theorem and Painleve VI

Vasilisa Shramchenko
(Universite de Sherbrooke)
Abstract

In 1995 N. Hitchin constructed explicit algebraic solutions to the Painlevé VI (1/8,-1/8,1/8,3/8) equation starting with any Poncelet trajectory, that is a closed billiard trajectory inscribed in a conic and circumscribed about another conic. In this talk I will show that Hitchin's construction is the Okamoto transformation between Picard's solution and the general solution of the Painlevé VI (1/8,-1/8,1/8,3/8) equation. Moreover, this Okamoto transformation can be written in terms of an Abelian differential of the third kind on the associated elliptic curve, which allows to write down solutions to the corresponding Schlesinger system in terms of this differential as well. This is a joint work with V. Dragovic.

Thu, 15 Dec 2016

17:00 - 18:00
L1

Oxford Mathematics Christmas Public Lecture: The Mathematics of Visual Illusions - Ian Stewart SOLD OUT

Ian Stewart
(University of Warwick)
Abstract

Puzzling things happen in human perception when ambiguous or incomplete information is presented to the eyes. Rivalry occurs when two different images, presented one to each eye, lead to alternating percepts, possibly of neither image separately. Illusions, or multistable figures, occur when a single image can be perceived in several ways. The Necker cube is the most famous example. Impossible objects arise when a single image has locally consistent but globally inconsistent geometry. Famous examples are the Penrose triangle and etchings by Maurits Escher.

In this lecture Ian Stewart will demonstrate how these phenomena provide clues about the workings of the visual system, with reference to recent research in the field which has modelled simplified, systematic methods by which the brain can make decisions. In these models a neural network is designed to interpret incoming sensory data in terms of previously learned patterns. Rivalry occurs when different interpretations are confused, and illusions arise when the same data have several interpretations.

The lecture will be non-technical and highly illustrated, with plenty of examples.

Please email @email to register

Subscribe to