For the last two halfdays of the conference, I managed to take a break in skiing precisely when the conditions were at their very worst; with sight down to a few meters and angry winds. Miles Gould and Arne Weiner, however, managed to sit in a chair lift that kept stopping every 5 meters  AND they managed to break a Tbar lift. Suddenly the rope broke, they told me, and they had to ski down to the warden with the Tbar in the hand.
First out in this mathematical expose, though, is AndrĂ© Henriques, talking about
An operad coming from representation theory
There is a way to connect to a finite Lie algebra [tex]\mathfrac g[/tex] first it's universal enveloping algebra [tex]U\mathfrac g[/tex] and quantum groups [tex]U_q\mathfrac g[/tex]. From representations of [tex]U_q\mathfrac g[/tex], one path leads on over braided tensor products to braided tensor categories. Such categories are described by [tex]E_2[/tex] operads, which occur in the study of Gerstenhaber algebras and their homology.
By instead of studying representation, studying crystals, Henriques finds an interesting operad as the result of an analogous chain of associations. A crystal is built up in analogy to a representation; as follows:
Representation  Crystal 

V a vector space with direct sum decomposition to weight spaces  B a finite set with disjoint union decomposition 


Would it be possible to find bases for the representation that gets mapped to "itself" under the operators, then the work would be done here, and crystals would be the same as representations. This is, however, not possible.
Which isn't to say that they don't have anything to do with each other. There is a bijection of isomorphism classes between representations and crystals over a Lie algebra [tex]\mathfrac g[/tex]
The analogy to the braid group, when studying the categorical properties of the crystals, is the cactus group  which also is the fundamental group of the manifold whose points correspond to isomorphism classes of real algebraic curves such that
 each component is homeomorphic to [tex]\mathbb{RP}^1[/tex]
 the components are glued together along a tree
 all singularities are at gluepoints between components
 each component has at least three points  either crossing points or marked points
These end up being governed by an operad; which in turn has 2Gerstenhaber algebras as their homology.
Scherer, later, held a talk on
Relative homotopy cyclic homology
in which he seems to want to recast the +construction of Quillen in operadic terms.
Next morning, the funky stuff starts. First out is Eugenia Cheng
Operads and multicategories
The talk was expository, early, brilliant and very lucid. In my humble opinion the best of the whole conference.
Cheng set out to illustrate the theory and current state of research of multicategories; and did this by displaying multicategories as a simultaneous generalisation of operads and categories. Operads describe operations with several inputs and one input. This will be generalized to encompass both many different objects and inputs in some interesting configuration. (This requires nifty pictures which I don't really have any decent way of reproducing here. Poke me if you want the pictures that go with the text...)
Categorically, we're motivated by the possibility of getting composition of higher cells (0cells = objects, 1cells = morphisms/arrows, 2cells = natural transformations, .... an arrow between two n1cells is an ncell)
Topologically, this gives us a way to deal with composition in loop spaces; or to even deal with "path spaces" with many possible objects, but compatibility requirements on compositions of paths.
A multicategory C, as defined by Lambek in 1969, is a collection of objects ob C, for any sequence of inputs [tex]a_1,\dots,a_n[/tex] and an output, b, a set [tex]C(a_1,\dots,a_n;b)[/tex] of arrows, with a canonical arrow in C(a;a) and a composition of arrows.
A nonsymmetric operad in the category of sets is a multicategory with one object. The homsets can be indexed by their number of inputs, and compotision needs no source/target matching.
This way of looking at categories with a single object is quite useful:
Many  One 

category  monoid 
groupoid  group 
bicategory  monoidal category 
multicategory  operad 
abelian category  ring 
topological category  topological monoid 
topologial multicategory  topological operad 
The topological varieties go on beyond the pair listed here, but the idea is clear.
In some terminology, multicategories are called "coloured operads". Cheng points out that in that case, it would be consistent to call categories "coloured monoids" and groupoids "coloured groups" et.c.; which would be ... poetic.
Some examples
A category is a multicategory where every arrow is unary.
A monoidal category has an underlying multicategory; with arrows in [tex]C(a_1,\dots,a_n;b)[/tex] given by the arrows [tex]a_1\otimes\dots\otimes a_n\to b[/tex] for [tex]\otimes[/tex] the monoidal operation.
For many monoidal thingies, the monoidality is not needed, but merely a multicategory conditions. As the categorists like to hunt down minimal required conditions, this is a very relevant observation.
Now, this multicategory game could just as well be seen as using a monad to capture the input. More specifically, the "free monoid"monad [tex]\mathcal F[/tex] (i.e. the composition of the adjoint pair of a forgetful and a free functor) gives rise to these strings of inputs that occured up previously. By replacing [tex]\mathcal F[/tex] by any other monad T, and expanding the obvious (for some value of obvious) axioms and propositions, you get a sane theory for Tmulticategories.
By expanding on this idea, various combinations of base categories and monads in these give rise to a new, cool and exciting sequence of new categories.
Tom Leinster in Glasgow has expanded on the idea of PROPs by introducing monads in a similar manner.
After this talk, Mark Weber gave a highly technical talk on
Applications of 2categorical algebra to the theory of operads
This talk tried, it seems, to generalize operads to higher category levels. I didn't really understand much. At all.
Finally, Peter May gave
An oldfashioned elementary talk
Peter May started by lamenting that:
I had good results in topology to talk about  but not all here are topologists.I had nice category theory to talk about  but not all here are categorists.I knew some nice things about operads in algebraic geometry  but definitely not all here are algebraic geometers
So he ended up talking about constructions of Steenrod operations in various situations, based on a construction through the EilenbergZilber operad. Among other things, it seems that for good algebras A, [tex]\operator{Ext}_A^{*,*}(\mathbb F_p,\mathbb F_p)[/tex] has Steenrod operations. What this means, and whether it's of any use outside of topology, is unknown to me and quite interesting. Or so it seems.