Past

To understand the definable sets of a theory, it is helpful to have some invariants, i.e. maps from the definable sets to somewhere else which are invariant under definable bijections. Denef and Loeser constructed a very strong such invariant for the theory of pseudo-finite fields (of characteristic zero): to each definable set, they associate a virtual motive. In this way one gets all the known cohomological invariants of varieties (like the Euler characteristic or the Hodge polynomial) for arbitrary definable sets.

I will first explain this, and then present a generalization to other fields, namely to perfect, pseudo-algebraically closed fields with pro-cyclic Galois group. To this end, we will construct maps between the set of definable sets of different such theories. (More precisely:

between the Grothendieck rings of these theories.) Moreover, I will show how, using these maps, one can extract additional information about definable sets of pseudo-finite fields (information which the map of Denef-Loeser loses).

Model reduction (also called system reduction, order reduction) is an ubiquitous tool in the analysis and simulation of dynamical systems, control design, circuit simulation, structural dynamics, CFD, etc. In the past decades many approaches have been developed for reducing the complexity of a given model. In this introductory talk, we will survey some of the most prominent methods used for linear systems, compare their properties and highlight similarities. In particular, we will emphasize the role of recent developments in numerical linear algebra in the different approaches. Efficiently using these techniques, the range of applicability of some of the methods has considerably widened.

The performance of several approaches will be demonstrated using real-world examples from a variety of engineering disciplines.

Klein's famous lecture proposes that to study geometry we study homogeneous spaces ie study transformation groups acting on a space. E. Cartan found a generalization now known as "Cartan geometries", these are a curved generalization of homogeneous spaces, eg Riemannian manifolds are Cartan geometries modeled on {Euclidean group}/{orthogonal group}.

Topics for my talk will be

Cartan geometries / Cartan connections

Parabolic geometries - a special class of Cartan geometries

Examples - depending on how much time but I will probably explain conformal

geometry as a parabolic geometry

Digital trees is a general structure to manipulate sequences of characters. We propose a novel approach to the structure of digital trees.

It shades some new light on the profile of digital trees, and provides a unified explanation of the relationships between different kinds of digital trees. The idea relies on the distinction of nodes based on their type, i.e., the set of their children. Only two types happen to matter when studying the number of nodes lying at a specified level: the nodes with a full set of children which constitutes the core, and the nodes with a single child producing spaghetti-like trees hanging down the core. We will explain the distinction and its applications on a number of examples related to data structures such as the TST of Bentley and Sedgewick.

This is joint work with Luc Devroye.

The theory of Special Lagrangian (SL) submanifolds is the natural point of intersection between various classical (Lagrangian and volume-minimizing submanifolds) and contemporary (Mirror Symmetry and invariants of Calabi-Yau manifolds) topics. The key problem is how to characterize the compactified moduli space of SLs. Equivalently, to understand which SL singularities admits desingularizations. Our aim is to present some explicit examples, topological results and simple observations which shed some light on the nature and complexity of this problem, and which we expect will be a useful foundation for future progress in the field. This is joint work with M. Haskins (Imperial College), cfr. arXiv:math/0609352.

A central task in conservation biology is measuring, predicting, and preserving biological diversity as species face extinction. Dating back to 1992, phylogenetic diversity is a prominent notion for measuring the biodiversity of a collection of species. This talk gives a flavour of some the combinatorial and algorithmic problems and recent solutions associated with computing this measure. This is joint work with Magnus Bordewich (Durham University, UK) and Andreas Spillner (University of East Anglia, UK).

We show how renormalisation methods similar to the ones used by physicists to make sense of Feynman integrals can be implemented to make sense of sums on infinite cones. On the basis of joint work with D. Manchon, we also discuss multiple zeta functions which can be seen as sums on a specific class of infinite cones.