I am excited to be heading to Warsaw University of Technology and Catholic University of Lublin next week for a series of Lectures on Philosophy of Computing. Here the current schedule:
WUT – 19/11/19, 8.30 – 10.00
Miscomputations and Malware
WUT – 19/11/19, 17.15 – 18.45
On Computational Hypotheses and Computational Experiments
WUT – 20/11/19, 16.15 – 17.45
Information in the Philosophy of Computer Science
WUT – 21/11/19, 12.15 – 13.45
On the Foundations of Computing
Lublin – 22/11/19, 10.15-11.15
Information, Validity and Correctness in Computing
Also a great occasion to promote the book which will have just appeared https://lnkd.in/eP92x9u
The first paper on logics for design is out in the Journal of Logic and Computation, exz014, https://doi.org/10.1093/logcom/exz014
A new paper with 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. Available here.
The Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS-KNAW) will fund a 2020-21 Theme Group fellowship for the project “Accountability in medical autonomous expert systems: ethical and epistemological challenges for explainable AI”. The group comprises Juan M. Durán (PI), Dino Pedreschi, Emily Sullivan, Karin Jongsma and myself.
#fellowship #accountability #explainableai
My book “On the Foundations of Computing”, OUP (2020).
G.Primiero, F.Raimondi, T.Chen, A theory of change for prioritised resilient and evolvable software systems, Synthese
New Paper with N. Angius: “Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions” in Philosophy & Technology
New call for PhD positions @LaStatale — 6 positions available in Philosophy @LaStataleFilo (including Logic). English version available soon. Deadline 2pm on 24 June 2019
L. de Mol, G. Primiero (eds.), Reflections on Programming Systems – Historical and Philosophical Aspects, Philosophical Studies Series, Springer , 2018.
It includes a co-authored Chapter
Arif R., Mori E., Primiero G. (2018) Validity and Correctness Before the OS: the Case of LEO I and LEO II. In: De Mol L., Primiero G. (eds) Reflections on Programming Systems. Philosophical Studies Series, vol 133. Springer, Cham
G. Primiero, A Minimalist Epistemology for Agent‑Based Simulations in the Artificial Sciences, Minds & Machines. (2019).