Formal Modeling of Ignorance, Urbino 7-8 September (The Reasoner, 2023)