abstract: Kim has given a new proof of Siegel's theorem about integral points on the projective line minus three points. The first lecture gives background material (fundamental groups, Galois-cohomology, unipotent local systems) while the second covers the proof itself.