I've put the slides from my talk in Cambridge on http://www.pps.univ-paris-diderot.fr/~jch/software/babel/babel-20140311.pdf Most of it is a rehash of previous talks, the more recent work starts at slide 23. -- Juliusz