Title: Instanton Floer homology for lens space

Abstract: We will define instanton Floer homology for lens space. The difficulty in the construction comes from the fact that 
flat connections on lens space are reducible. Using Floer homology we prove a gluing formula for a variant of Donaldson 
invariant. Lastly we will discuss an application of the gluing formula.