The jury of the Amílcar Sernadas Logic Prize unanimously decided to confer ex aequo the prize to the papers k-Provability in PA by CMA members Paulo Guilherme Santos and Reinhard Kahle.