The Logic Group Seminar will be hosting Davide Ciucci (Università di Milano Bicocca) for a talk on the 3rd of April 2019. Details here.
The Logic Group Seminar will be hosting Daniele Porello (CNR) for a talk on the 20th of March 2019. Details here.
From Monday 11th to Friday 15th of March, dr. Michele Bottone (Middlesex University London) will be visiting the Logic Group at the Department of Philosophy, University of Milan. Michele is a long-standing collaborator of Giuseppe Primiero and the visit will be an occasion to further their research on formal methods and trust in cyber-physical systems. The visit is sponsored under the Erasmus+ Teaching and Training Scheme.
New paper published: M. D’Agostino, D. Gabbay and S. Modgil “Normality, Non-contamination and Logical Depth in Classical Natural Deduction” , in Studia Logica rdcu.be/bntPl