Functions, Proofs, Constructions, 21–23 February