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. […]