Functions, Proofs, Constructions, 21–23 February (The Reasoner, 2014)