Logic Seminar Series 2019-2020
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.
Author: gprimiero
PROGRAMme Autumn workshop II: Programming Languages and Notations
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
Workshop: Assertion and Proof 2019
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
New Paper
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
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
PhD Positions Available
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) […]
Visit to the Logic Group
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.
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