The Logic Group successfully started its Seminar Series online on Teams last week. On 19/03 Pere Pardo gave a talk on “Towards a Tractable Epistemic Logic”. We will reschedule guest lectures and add group’s members lectures. The talks will be open to attend with a shared link. Monitor this website or contact us for updates.
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
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. The visit is sponsored under the Erasmus+ Teaching and Training Scheme.
The Logic Group is organising a course on Formal Argumentation for the Doctoral School of the Department of Philosophy. Speakers include Chris Fermüller (TU Wien), Sanjay Modgil (KCL) and Jesse Heyninck (Bochum), along with our members. Details are available here. Research meetings will be held with our guests during the following days.