An international autumn school "Proof and Computation" will be held from 15th to 21st September 2024 at Aurachhof in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.