Philosophy of Computing

Distributed computation and epistemic logic.- 1. "You will never know": The topology of surprise, Alexandru Baltag.- 2. Distributed computing, epistemic logic and topology, Sergio Rajsbaum.- 3. Distributed Computing with Bounded Rational Agents, Armando Castañeda.- 4. Topological Models of Group Knowledge, Aldo Iván Ramírez-Abarca.- 5. Logic and Computation of Social Behavior, Sonja Smets.- 6. Stratified evidence logic, David Fernández-Duque.- 7. Reliability-based preference dynamics, Fernando Velázquez-Quesada.- 8. A Dynamic Logic for Learning Theory, Ana Lucia Vargas-Sandoval.- 9. Engineering distributed systems: how efficient is a computational model?, Alice.- Martin and Mathieu Magnaudet.- 10. Some phenomenological considerations in computational modeling of analogy,.- Eduardo García-Mendiola.- 11. Underdetermination after Computation, Don Berkich.- Philosophy of science and computation.- 1. Epistemology of Computer Simulations, Juan M. Duran.- 2. Inappropriate Notions of 'Theory' and their Practical Consequences in the Discipline.- of Software 'Engineering', Stefan Gruner.- 3. Mathematical Explanation and the Problem of Counterpossibles, Erlantz Etxeberria.- 4. Meta-Abduction. Inference to the Best Prediction, Christian J. Feldbacher Escamilla.- 5. Causal judgments and model implementation, Tomasz Wysocki.- 6. The Epiphenomenal Puzzle and the Formal Conception of Computational Dynamics,.- Mauricio Eduardo Bieletto Bueno.- 7. On the Conciliation of Traditional and Computer-Assisted Proofs, Lourdes Del.- Carmen González Huesca and Favio Ezequiel Miranda Perea.- 8. How Artificial is Data?, Robin Hill.- 9. On Computer Simulations, with particular Regard to their Application in.- Contemporary Astrophysics: some SciencePhilosophical Considerations, Stefan.- Gruner and Matthias Bartelmann.- 10. Lighthill's Anti Formalist Falsification of AI in Philosophical Context, Steven Meyer.- 11. Implementing algorithmic and computational design in philosophical

Björn Lundgren obtained a doctoral degree in philosophy in 2018, at the Royal Institute of Technology (Sweden). He is currently working as a researcher at the Institute for Futures Studies (Sweden), where he is leading a project on ethical and societal aspects of the implementation of autonomous vehicles. He is also performing tasks for the University of Twente in two EU-projects (SHERPA and SIENNA), with a focus on ethical guidelines for AI and robotics. Lundgren has published in journals such as Philosophia, Philosophy & Technology, Science & Engineering Ethics , Synthese, and Theoria . Nancy Abigail Nuñez Hernández obtained a doctoral degree in philosophy in 2017, at the National Autonomous University of Mexico (UNAM, Mexico). She is a member of the National System of Researchers of Mexico (CONACYT). She has worked as a researcher for the UNAM, the University of Turin (Italy), and the University of Hamburg (Germany). She was also a member of the local organizing committee of the 2019 IACAP Conference.