2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/139624In this paper we obtain new effective results on the Halpern iterations of nonexpansive mappings using methods from mathematical logic or, more specifically, proof-theoretic techniques. We give effective rates of asymptotic regularity for the Halpern iterations of nonexpansive self-mappings of nonempty convex sets in normed spaces. The paper presents another case study in the project of {\em proof mining}, which is concerned with the extraction of effective uniform bounds from (prima-facie) ineffective proofs.in C.S. Calude, G. Stefanescu, and M. Zimand (eds.), Combinatorics and Related Areas. A Collection of Papers in Honour of the 65th Birthday of Ioan TomescuFunctional AnalysisLogic47H10, 47H09, 03F10text