The event will take place on December 3rd in Aula 113. For more details, see here.
Giuseppe Primiero has published a paper on logics for design in the Journal of Logic and Computation, exz014, https://doi.org/10.1093/logcom/exz014
Jacopo Tagliabue (COVEO) gave a talk on 5th November on
”A Rose by any other Name”.
Exploiting Knowledge Graphs for Lexical Learning in
A new paper by Giuseppe Primiero and Davide Ceolin (CWI Amsterdam) titled “A Granular Approach to Source Trustworthiness for Negative Trust Assessment” has been published in the Proceedings of the XIII Trust Management Conference. Details here.
The Logic Seminar Series at the Department of Philosophy of the University of Milan starts soon again for the 2019-2020 edition!
First talk on November 5th.
For all updates, see our Events page.
Giuseppe Primiero will participate to the Second Autumn Workshop of the PROGRAMme ANR Research project titled “Programming Languages and Notations”.
Marcello D’Agostino and Giuseppe Primiero are invited speakers at the Workshop on Assertion and Proof at the University of Lecce
G.Primiero, F.Raimondi, T.Chen, A theory of change for prioritised resilient and evolvable software systems, Synthese
New paper published: Angius, N. & Primiero, Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions.
Open call for 6 PhD Positions at the Department of Philosophy of the University of Milan. 2 additional positions are made available through the excellence project of our Department. Areas of interest include Logic, among others.
The deadline for applications is 24/06 at 2pm.
The call is available in Italian at
and it should become soon available in English at