Upcoming event: School of Formal Methods in the Philosophy of Sciences, at the University of Urbino, 2-6 February, 2025.