The ergodic theoretical proof of Szemeredi's theorem
Jan Draisma

The aim is to understand, through a sequence of seminar sessions, Furstenberg's 
proof of the existence of arithmetic progressions in sets of integers with 
positive upper density. This first session I will spend on formulating 
Furstenberg's generalisation of that theorem to recurrence in 
measure-preserving systems, and to describe the first (more or less elementary) 
steps in the proof of that generalisation. I will stay close to the Bulletin of 
the AMS text: 
http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0523.28017&format=compl
ete