FSE

FSE is the conference on Foundations of Software Engineering.