11.11.2017 – 17.11.2017 Dr. Silvio Ghilardi

Saturday, 11 November 2017

Dr. Silvio Ghilardi, Dipartimento di Matematica, Università degli Studi di Milano, Italy
 

Research Interests: 

Mathematical logic, category theory, automated reasoning