Logic Seminar on 3rd of April
The Logic Group Seminar will be hosting Davide Ciucci (Università di Milano Bicocca) for a talk on the 3rd of April 2019. Details here.
Month: March 2019
Logic Seminar on 20th of March
The Logic Group Seminar will be hosting Daniele Porello (CNR) for a talk on the 20th of March 2019. Details here.
New visit to the Logic Group
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. […]
New Paper
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