The study of 3-manifolds is founded on the strong connection between algebra and topology in dimension three. In particular, the sine qua non of much of the theory is the Loop Theorem, stating that for any embedding of a surface into a 3-manifold, a failure to be injective on the fundamental group is realised by some genuine embedding of a disc. I will discuss this theorem and give a proof of it.

Regenerative medicine offers great hope in curing many currently untreatable diseases. Tissue engineering and stem cell therapy are the two main components of regenerative medicine. In this talk, I will discuss how engineering can make contributions to this highly interdisciplinary field, including biomaterials as 3D scaffolds, bioreactor design, and stem cell bioprocessing.

Hash Proof Systems or Smooth Projective Hash Functions (SPHFs) are a
form of implicit arguments introduced by Cramer and Shoup at
Eurocrypt’02. They have found many applications since then, in
particular for authenticated key exchange or honest-verifier
zero-knowledge proofs. While they are relatively well understood in
group settings, they seem painful to construct directly in the lattice
setting.
Only one construction of an SPHF over lattices has been proposed, by
Katz and Vaikuntanathan at Asiacrypt’09. But this construction has an
important drawback: it only works for an ad-hoc language of ciphertexts.
Concretely, the corresponding decryption procedure needs to be tweaked,
now requiring q many trapdoor inversion attempts, where q is the modulus
of the underlying Learning With Error (LWE) problem.
Using harmonic analysis, we explain the source of this limitation, and
propose a way around it. We show how to construct SPHFs for standard
languages of LWE ciphertexts, and explicit our construction over a
tag-CCA2 encryption scheme à la Micciancio-Peikert (Eurocrypt’12).

If there is enough time, we will conclude with applications of these
SPHFs to password-authenticated key exchange, honest-verifier
zero-knowledge and a variant of witness encryption.

We will consider the following deceptively simple question, formulated recently by Po Shen Loh who connected it to an open problem in Ramsey Theory. Define the '2-less than' relation on the set of triples of integers by saying that a triple x is 2-less than a triple y if x is less than y in at least two coordinates. What is the maximal length of a sequence of triples taking values in {1,...,n} which is totally ordered by the '2-less than' relation?

In his paper, Loh uses the triangle removal lemma to improve slightly on the trivial upper bound of n^2, and conjectures that the truth should be of order n^(3/2). The gap between these bounds has proved to be surprisingly resistant. We shall discuss joint work with Tim Gowers, giving some developments towards this conjecture and a wide array of natural extensions of the problem. Many of these extensions remain open.
 

Many northern hemisphere climate records show a series of rapid climate changes - Dansgaard-Oesgher (D-O) cycles - that recurred on centennial to millennial timescales throughout most of the last glacial period.  They consist of sudden warming jumps of order 10°C, followed generally by a slow cooling lasting a few centuries, and then a rapid temperature drop into a cold period of similar length.  Most explanations for D-O events call on changes in the strength of the Atlantic meridional overturning circulation (AMOC), but the mechanism for triggering and pacing such changes is uncertain. Changes in freshwater delivery to the ocean are assumed to be important. 

Here, we investigate whether the proposed AMOC changes could have occurred as part of a natural relaxation oscillation, in which runoff from the northern hemisphere ice sheets varies in response to each warming and cooling event, and in turn provides the freshwater delivery that controls the ocean circulation.  In this mechanism the changes are buffered and paced by slow changes in salnity of the Arctic ocean.  We construct a simple model to investigate whether the timescales and magnitudes make this a viable mechanism.