IMPRS seminar on Heegaard-Floer theory