Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

Table of Contents
History and Philosophy of Computing
Fabio Gadducci, Mirko Tavosanis
Front Matter

Invited Talks


Wherefore art thou ... Semantics of Computation?
Furio Honsell
3-23
Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence
Pierre Mounier-Kuhn
24-41
Interactive Spatial Sound Intervention: A Case Study
Elisabetta Senesi
42-53

Regular Submissions


Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis
Alessandro Aldini, Vincenzo Fano, Pierluigi Graziani
57-70
Algorithmic in the 12th Century: The Carmen de Algorismo by Alexander de Villa Dei
Nadia Ambrosetti
71-86
From Close to Distant and Back: How to Read with the Help of Machines
Rudi Bonfiglioli, Federico Nanni
87-100
Computing, Design, Art: Reflections on an Innovative Moment in History
Stephen Boyd Davis, Simone Gristwood
101-115
From Cells as Computation to Cells as Apps
Andrea Bracciali, Enrico Cataldo, Luisa Damiano, Claudio Felicioli, Roberto Marangoni, Pasquale Stano
116-130
«Omnia Numerorum Videntur Ratione Formata». A ‘Computable World’ Theory in Early Medieval Philosophy
Luigi Catalani
131-140
From urelements to Computation
Vincenzo Ciancia
141-155
The Contribution of Carl Adam Petri to Our Understanding of ‘Computing’
Giorgio Michelis
156-167
Frege’s Habilitationsschrift: Magnitude, Number and the Problems of Computability
Juan Gastaldi
168-185
Trente ans ou la Vie d′un scientifique
Vladimir Kitov, Valery Shilov, Sergey Silantiev
186-202
From Information to Perception
Nicola Liberati
203-215
Several Types of Types in Programming Languages
Simone Martini
216-227
Playfulness and the Advent of Computerization in Spain: The National Club of ZX81 Users
Ignasi Meda-Calvet
228-242
Impact of Informatics on Mathematics and Its Teaching
Simon Modeste
243-255
Epistemic Opacity, Confirmation Holism and Technical Debt: Computer Simulation in the Light of Empirical Software Engineering
Julian Newman
256-272
The Brain in Silicon: History, and Skepticism
Alessio Plebe, Giorgio Grasso
273-286
The Role of Computers in Visual Art
Mario Verdicchio
287-299
In Search of the Roots of Formal Computation
Jan Plato
300-320

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/