Collection
Book Symposium on foundations of computation
This Book Symposium aims at fostering a fruitful discussion on the foundations of computer science by critically reviewing Giuseppe Primiero's book "On the Foundation of Computing" (2020).
Submissions are welcome focusing on one or more of the logical and epistemological issues addressed in the book, including the history of computing the formal verification debate, program correctness, the ontology of computing systems, physical computations, specifications and implementations, simulations and experiments.
Editors
-
Nicola Angius
NicolaAngius holds a PhD in Philosophy and is assistant professor of Logic and Philosophy of Science at the Cognitive Science Department of the University of Messina, Italy. His research interests focus on the philosophy of computer science, computational logic, epistemology of computer simulations, epistemology of AI.
