Functions, Proofs, Constructions, 21–23 February. The Reasoner, v. 8, n. 4, 1 Apr.2014.