2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/114259The purpose of this survey is to explain an approach to the Atiyah-Floer conjecture via a new instanton Floer homology with Lagrangian boundary conditions. This is a joint project with Dietmar Salamon. This paper also provides a rough guide to the analysis of anti-self-dual instantons with Lagrangian boundary conditions (in earlier papers), which is the crucial ingredient of our approach.surveySymplectic GeometryGeneral Topologytext