Accepted Abstracts

Ramon Alvarado and John SymonsEpistemic Injustice in the Deployment and Development of Data Science

Sabine Ammon/ Artefact Knowledge. How AI challenges validation, robustness, and trust

Troy Astarte/ On the Difficulty of Describing Difficult Things

Eleonora BarelliArtificial neural networks as complex systems: an educational activity for showing the epistemological change introduced by machine learning

Ethan BrauerThe Dependence of Computability on Numerical Notation

Davide CeolinTowards an Ethics for Online Information Quality

Paolo CoppolaRedistribution in the Age of Datalism

Martin CunneenChanging the Culture of AI Ethics: Engineering Ethics for AI researchers

Andre Curtis-TrudelPluralism and Computational Individuation

Fabio FossaLiterally speaking or in inverted commas? Reflections on the use of language in Robotics and AI

Juan Luis Gastaldi and Luc PellissierThe Logic of Language: An alternative logical approach to machine learning based on the case of Natural Language Processing

Davor Lauc and Ines SkelacVectorizing Begriffsschrift: On the relevance of recent forays into the deep learning of word meanings to some traditional philosophical problems and vice versa

Corey MaleyAnalog Computation and Representation

Dale MillerFormal proof and trust

Simon ModesteCorrespondence between proofs and programs. An epistemological reading for a didactical perspective

Carlo Montangero, Roberto Di Cosmo, Laura Bussi and Guido ScatenaSaving the Software Heritage: the process

Elisabetta Mori“Check Everything”: Validity and Correctness in LEO III

Philippos Papayannopoulos, Nir Fresco and Oron ShagrirThe Indeterminacy of Computation versus the Underdetermination of Theory

Ivo Pezlar/ Meaning as Algorithm

Alessio Plebe, Pietro Perconti and Giorgio Mario GrassoDeep Learning and Philosophical Debates

Sébastien PlutniakAssyrian merchants meet nuclear physics: an history of early contributions from social sciences to automatic pattern detection in graphs (late 1950s-1970s)

Helen RobertsonMachine learning as a source of epistemic justification

Henri StephanouThe two faces of modeling and implementation

R.X. SchwartzUlysses’ ropes and the inherent limits of digital self-control tools

Mate SzaboMiklós Havass and Computerized Folk Music in 1960s Hungary

Leonello Tarabella, Carlo Montangero and Laura BussiA Case Study of Legacy Source Code: The Computer Music System TAU2-TAUMUS

Adam TrybusPhilosophical Foundations of Qualitative Spatial Reasoning: A Case for Bertrand Russell

Marcelo ViannaCoordinating users to develop Brazilian Computing – CAPRE's role in controlling imports of computers and peripherals (1976-1979)

Krzysztof WojtowiczNon-Standard Models of Computation and Philosophy of Mathematics

Online user: 1