Giuseppe Primiero will deliver a course on Formal Methods in the Philosophy of Computer Science and Information at the 1st School of Formal Methods in the Philosophy of Sciences, University of Urbino, 2-6 February 2026,