Topology Seminar: Heegaard-Floer Homology and applications