The topic of the summer school is F. Morel's ``Stable A^1-connectivity theorem" published in K-theory in 2005.
Main references:
A preprint version of the paper: ``The stable A^1-connectivity theorem"
F. Morel's ``Introduction to A^1-homotopy theory"; the published version can be downloaded [here].
Supplementary references:
F. Morel and V. Voevodsky's foundational paper: ``A^1-homotopy theory of schemes"
An important ingredient is the Gersten conjecture: ``The Bloch-Ogus-Gabber theorem"
Y. Nisnevich's paper introducing his eponymous topology: ``The completely decomposed topology on schemes and associated descent spectral sequences in algebraic K-theory"
F. Deglise's notes on the Nisnevich topology (in French): ``Introduction Ă la topologie de Nisnevich"
Other helpful sources can be found at [here].
The organization of the summer school:
We (the organizers) will attempt to divide the proof into manageable chunks on which you (the participants) will lecture. The number of lectures to be given is still to be decided.
Ideally, each lecture will have a designated note-taker, and we will attempt to assemble a transcription of the proof by the end of the summer school.