See lots of material from the Newton Institute programme, fall of 2009. In particular, the presentation of Kim.
Jardine weird quote, I think: Grothendieck fundamental groupoid, leads to anabelian geometry in simplicial (pre?)sheaves
nLab page on Anabelian geometry