The 43rd Agda Implementors' Meeting will be held in Rzeszów, Poland from October 19–24, 2026, featuring presentations on Agda theory and implementation, collaborative coding sessions, and discussions on language issues. Registration is free but mandatory, with online attendance possible upon request.