Thanks!
]]>@Urs There are two papers, one by Giansiracusa and Salvatore, the other by Severa. I have made some changes to the entry but please check that they are what you want. I do not know if they are planning to combine them.
]]>Urs, at a guess try: J. Giansiracusa and P. Salvatore, Cyclic formality of the framed 2-discs operad and genus zero stable curves, Submitted. ArXiv:0911.4430.
Jeff’s home page is at: http://people.maths.ox.ac.uk/giansira/papers.shtml
although he is based in Swansea and works in Bath! (He will be speaking at the Cardiff meeting in May). Ask him.
]]>I have added the statement of the theorem that the framed little disk operad is formal. Supposedly this has been proven in “Giansiracusa-Salvatore-Severa 09”. But I have trouble identifying this publication. Does anyone have the details?
]]>added to framed little disks operad the characterization by ribbon operads
]]>created framed little disk operad
]]>