Deduction, Computation, Experiment. Exploring the Effectiveness of Proof (Bologna, Italy)