abstract: Motivated by the study of smoothings of cyclic quotient singularities as well as symplectic fillings of lens spaces, we consider an analogue problem in a purely topological setting. We look at smooth, definite fillings of lens spaces and consider the question of which intersection forms can be realized by such fillings. We discuss various constructions and an obstruction based on Donaldson’s diagonalization theorem. Finally, we present a complete classification of the lens spaces which bound a unique negative-definite intersection form (up to stabilizations). We discuss consequences for smoothings of singularities as well as embeddings of lens spaces in certain 4-manifolds. This is joint work with Duncan McCoy and JungHwan Park.