Abstracts
Andy BakerI will survey the basic notions of Topological Andr\'e Quillen (co)homology for commutative $S$algebras and in particular discuss some sample calculations related to Thom spectra.Eugenia ChengThe universal loop space operad and generalisations
Jeffrey GiansiracusaFormality of the framed little discs operad Tamarkin and Kontsevich proved that the little ndiscs operad is formal in the following sense: the operad formed by taking its real chains is quasiisomorphic as an operad to its real homology. This theorem had important applications in deformation quantization and also in computing the homology of spaces of knots. The framed little discs operad is an interesting relative  it actually forms a cyclic operad, meaning that inputs and outputs can be interchanged. Paolo Salvatore and I prove that the framed little 2discs is formal as a *cyclic* operad. The proof introduces a new and interesting graph complex in which the differential is a combination of edge contractions and deletions. 
Ian GrojnowskiAlmost local differential operators One of the most fundamental theorems in representation theory 
Jelena Grbic 
The homotopy theory of moment angle complexes In recent years, toric topology has been recognised as an area of topology which has deep connections with combinatorics, algebraic and symplectic geometry, and homological algebra. The momentangle complex, an object initially studied in algebraic geometry, has become one of the central objects of toric topology. Thus its homotopy type, stable and unstable, is of great interest. In this talk I'll explain a relation between simplicial complexes and momentangle complexes and determine the unstable homotopy type of momentangle complexes related to shifted complexes. In addition, I'll describe how higher Whitehead products arise in the homotopy theory of momentangle complexes and their relations with the loop homology of DavisJanuszkiewicz spaces. 
Ib MadsenModuli spaces and topology 
Martin Markl 
Homotopy invariant structures in algebra and transfers We discuss the concept of homotopy invariance in algebra and recall some basic examples of structures having this property. We also explain that each "reasonable" algebraic structure has its homotopy invariant version. We prove that homotopy invariant structures can be transferred over maps having a onesided homotopy inverse. We will then recall the notion of strong homotopy equivalence and show how it explains the relation between the above transfer property and the classical perturbation lemmas. 
Constanze RoitzheimHochschild cohomology of Ainfinity algebras. In the 1960s, Ainfinity algebras were introduced to study the cohomology of topological spaces with products and are now known to arise widely in various areas of mathematics. Roughly speaking, Ainfinity algebras are generalisations of associative algebras. We are going to explain how to extend the definition of Hochschild cohomology from associative algebras to Ainfinity algebras and how this will help solving realizability problems in topology and present some new results concerning derived Ainfinity algebras. Shoham SamirA noncommutative analog of a localcohomology spectral sequence for chains on loops of certain spaces. I will present a spectral sequence which is analogous to the local cohomology spectral sequence of Dwyer, Greenlees and Iyengar for the cochains of a space. This spectral sequence can be applied, in some cases, to the dga which is the chains on the loops of a space (with coefficients in a field). As with the local cohomology spectral sequence, when this dga is Gorenstein the spectral sequence converges to the cochains of the loop space.

Ron Umble
On the Transfer of Multiplicative Structure.
Kadeishvili, Markl, and others have studied the transfer of multiplicative structure from an $A_\infty$algebra $A$ to a DG module $B$ along a map $f : B \to A$. Kadeishvili assumes that $A$ and $B$ are free modules and $f$ is an inclusion; Markl assumes that $f$ has a lefthomotopy inverse. To set the stage for our more general result, we discuss an example in which $A$ and $B$ have torsion and $f$ has a left but no righthomotopy inverse. Theorem. Let $\bar{f} : Hom(B^{\otimes n},B) \to Hom(B^{\otimes n},A)$ be the induced map. The $A_\infty$algebra structure on $A$ pulls back along $f$ to an $A_\infty$algebra structure on $B$ whenever $\bar{f}$ is a quasiisomorphism. In fact, if $\bar{f}$ is a quasiisomorphism, so is $f$, but not conversely. This result extends immediately to $A_\infty$bialgebras and gives the Corollary: If $F$ is a field, $H_*(\Omega(X);F)$ is an $A_\infty$bialgebra. We conclude with a discussion of the $A_\infty$bialgebra operations on $H_*(\Omega(X);F)$ and the structure relations among them.