## The Hopf Fibration via Higher Inductive Types

Peter Lumsdaine

Dalhousie University; Member, School of Mathematics

February 13, 2013

Peter Lumsdaine

Dalhousie University; Member, School of Mathematics

February 13, 2013

Alex Lubotzky

Hebrew University

February 12, 2013

Liu Yang

School of Computer Science, Carnegie Mellon University

February 11, 2013

With the notion of interaction with oracles as a unifying theme of much of my dissertation work, I discuss novel models and results for property testing and computational learning, with the use of Fourier analytic and probabilistic methods.

Nicholas Sheridan

Massachusetts Institute of Technology; Member, School of Mathematics

February 11, 2013

Peter Aczel

The Unviersity of Manchester; Member,School of Mathematics

February 7, 2013

Peter LeFanu Lumsdaine

Dalhousie University; Member, School of Mathematics

February 6, 2013

Manor Mendel

The Open University of Israel; Member, School of Mathematics

February 5, 2013

Gil Kalai

Hebrew University; Yale University

February 4, 2013

Wilhelm Schlag

University of Chicago

February 1, 2013

We will discuss recent work on wave evolutions for large data. Particular emphasis will be placed on concentration compactness ideas. Amongst others, we will describe a result for wave equations from R^3 minus the unit ball into the sphere S^3 where we can show that any solution approaches the unique harmonic map in its degree class.

Joint work with Cote, Kenig, Lawrie, Nakanishi -- in various combinations.

Eric Finster

Ecole Polyechnique Federal de Lausanne; Member, School of Mathematics

January 31, 2013