The inverse theorem for the Gowers U^{s+1}-norms has a central
place in modern additive combinatorics, but all known proofs of it
are difficult and most do not give effective bounds.
Over this seminar and the next, I will give an outline of a
proof...