Modular forms holomorphic functions on the upper half of the complex plane, H, invariant under certain matrix transformations of H. The have a very rich structure - they form a graded algebra over C and come equipped with a family of linear operators called Hecke operators. We can also view them as functions on a Riemann surface, which we refer to as a modular curve. It transpires that the integral homology of this curve is equipped with such a rich structure that we can use it to compute modular forms in an algorithmic way. The modular symbols are a finite presentation for this homology, and we will explore this a little and their connection to modular symbols.

Finding implementable descriptions of the possible configurations of a knotted DNA molecule has remarkable importance from a biological point of view, and it is a hard and well studied problem in mathematics.
Here we present two newly developed mathematical tools that describe the configuration space of knots and model the action of Type I and II Topoisomerases on a covalently closed circular DNA molecule: the Reidemeister graphs.
We determine some local and global properties of these graphs and prove that in one case the graph-isomorphism type is a complete knot invariant up to mirroring.
Finally, we indicate how the Reidemeister graphs can be used to infer information about the proteins' action.

If $G$ is an irreducible lattice in a semisimple Lie group, every action of $G$ on a tree has a global fixed point. I will give an elementary discussion of Y. Shalom's proof of this result, focussing on the case of $SL_2(\mathbb{R}) \times SL_2(\mathbb{R})$. Emphasis will be placed on the geometric aspects of the proof and on the importance of reduced cohomology, while other representation theoretic/functional analytic tools will be relegated to a couple of black boxes.

This talk will hopefully highlight the general framework in which Penrose tilings are proved to be aperiodic and in fact a tiling. 

In the game 'Set', players compete to pick out groups of three cards sharing common attributes. But how many cards must be dealt before such a group must appear? 
This is an example of a "cap set problem", a problem in Ramsey theory: how big can a set of objects get before some form of order appears? We will translate the cap set problem into a problem of geometry over finite fields, discussing the current best upper bounds and running through an elementary proof. We will also (very) briefly discuss one or two implications of the cap set problem over F_3 to other questions in Ramsey theory and computational complexity
 

We provide the rate of convergence of general monotone numerical schemes for parabolic Hamilton-Jacobi-Bellman equations in bounded domains with Dirichlet boundary conditions. The so-called "shaking coefficients" technique introduced by Krylov is used. This technique is based on a perturbation of the dynamics followed by a regularization step by convolution. When restricting the equation to a domain, the perturbed problem may not satisfy such a restriction, so that a special treatment near the boundary is necessary.