HaPoC

Publications

volume 487, 2016

History and Philosophy of Computing - Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers HaPoC 487 (2016)

2015

Andrea Bracciali, Enrico Cataldo, Luisa Damiano, Claudio Felicioli, Roberto Marangoni, Pasquale Stano
From Cells as Computation to Cells as Apps. HaPoC (2015)
Vincenzo Ciancia
From urelements to Computation - A Journey Through Applications of Fraenkel's Permutation Model in Computer Science. HaPoC (2015)
Rudi Bonfiglioli, Federico Nanni
From Close to Distant and Back: How to Read with the Help of Machines. HaPoC (2015)
Giorgio De Michelis
The Contribution of Carl Adam Petri to Our Understanding of 'Computing'. HaPoC (2015)
Mario Verdicchio
The Role of Computers in Visual Art. HaPoC (2015)
Jan von Plato
In Search of the Roots of Formal Computation. HaPoC (2015)
Alessio Plebe, Giorgio M. Grasso
The Brain in Silicon: History, and Skepticism. HaPoC (2015)
Elisabetta Senesi
Interactive Spatial Sound Intervention: A Case Study. HaPoC (2015)
Simone Martini
Several Types of Types in Programming Languages. HaPoC (2015)
Nadia Ambrosetti
Algorithmic in the 12th Century: The Carmen de Algorismo by Alexander de Villa Dei. HaPoC (2015)
Juan Luis Gastaldi
Frege's Habilitationsschrift: Magnitude, Number and the Problems of Computability. HaPoC (2015)
Pierre E. Mounier-Kuhn
Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence. HaPoC (2015)
Furio Honsell
Wherefore Art Thou... Semantics of Computation? HaPoC (2015)
Simon Modeste
Impact of Informatics on Mathematics and Its Teaching - On the Importance of Epistemological Analysis to Feed Didactical Research. HaPoC (2015)
Nicola Liberati
From Information to Perception - The New Design of the Emerging Computer Technologies and Its Effects. HaPoC (2015)
Alessandro Aldini, Vincenzo Fano, Pierluigi Graziani
Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis. HaPoC (2015)
Luigi Catalani
«Omnia Numerorum Videntur Ratione Formata». A 'Computable World' Theory in Early Medieval Philosophy. HaPoC (2015)
Julian Newman
Epistemic Opacity, Confirmation Holism and Technical Debt: Computer Simulation in the Light of Empirical Software Engineering. HaPoC (2015)
Stephen Boyd Davis, Simone Gristwood
Computing, Design, Art: Reflections on an Innovative Moment in History. HaPoC (2015)
Vladimir A. Kitov, Valery V. Shilov, Sergey A. Silantiev
Trente ans ou la Vie d′un scientifique. HaPoC (2015)
Ignasi Meda-Calvet
Playfulness and the Advent of Computerization in Spain: The National Club of ZX81 Users. HaPoC (2015)