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”. https://programme.hypotheses.org/autumn-workshop-ii-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 https://sites.google.com/view/assertionproof
G.Primiero, F.Raimondi, T.Chen, A theory of change for prioritised resilient and evolvable software systems, Synthese https://doi.org/10.1007/s11229-019-02305-7 https://rdcu.be/bH7cn
New paper published: Angius, N. & Primiero, Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions. https://rdcu.be/bGlxrhttps://doi.org/10.1007/s13347-019-00358-7
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 Dottorati di ricerca (PhD) […]
Dr. Davide Ceolin (CWI/VU Amsterdam) is visiting the Logic Group in Milan from 30 of April to 03 of May. Davide will be working with Giuseppe Primiero on a current joint project on source trustworthiness assessment.
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. […]
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