Program

Thursday, October 8, 2015

Time Event  
09:00 - 09:30 Registration - Registration  
09:30 - 10:30 Walter Shewhart and the Philosophical Foundations of Software Engineering - David Alan Grier, IEEE & George Washington University, USA  
10:30 - 11:00 Interdisciplinary Highlights - Fabio Gadducci  
10:30 - 11:00 › Hungary's Early Years in the Ryad - Mate Szabo, Carnegie Mellon University, USA  
11:00 - 11:30 Coffee break  
11:30 - 13:00 Interdisciplinary Highlights - Fabio Gadducci  
11:30 - 12:00 › Computers and Programmed Arts in the Sixties in Italy - Elisabetta Mori, Fondazione Galileo Galilei - Pisa, Italy  
12:00 - 12:30 › Several types of types in programming languages - Simone Martini, University of Bologna, Italy & INRIA Sophia-Antipolis, France  
12:30 - 13:00 › Epistemic Opacity, Confirmation Holism and Technical Debt: Computer Simulation in the light of Empirical Software Engineering - Julian Newman, Birkbeck College, University of London, UK  
13:00 - 14:00 Lunch  
14:00 - 15:00 The Turn of Object-Oriented Programming in Computerized Models and Simulations - Franck Varenne, University of Rouen, France  
15:00 - 16:00 Computing and the modeling of reality - Teresa Numerico  
15:00 - 15:30 › The contribution of Carl Adam Petri to our understanding of ‘computing' - Giorgio De Michelis, University of Milano-Bicocca, Italy  
15:30 - 16:00 › Functional or appealing? Traces of a long struggle - Giovanni Cignoni, Fondazione Galileo Galilei  
16:00 - 16:30 Coffee break  
16:30 - 18:00 Computing and the modeling of reality - Teresa Numerico  
16:30 - 17:00 › Emerging computer technologies: from information to perception - Nicola Liberati, Chukyo University - Nagoya, Japan - Shoji Nagataki, Chukyo University - Nagoya, Japan  
17:00 - 17:30 › The brain in silicon: history, and skepticism - Alessio Plebe, University of Messina, Italy - Giorgio Grasso, University of Messina, Italy  
17:30 - 18:00 › Mechanism, Computational Structure and Representation in Cognitive Science - Dimitri Coelho Mollo, King's College, University of London, UK & Humboldt University, Germany  
18:00 - 19:00 Sonic Space #05 - An Interactive, Spatial Audio Installation with Found Objects/Materials - Elisabetta Senesi  

Friday, October 9, 2015

Time Event  
09:00 - 10:00 Wherefore thou art... Semantics of Computation? - Furio Honsell, University of Udine, Italy  
10:00 - 11:00 Historical antecedents of computing - Helena Durnova  
10:00 - 10:30 › Algorithmic in the 12th Century: the Carmen de Algorismo by Alexander de Villa Dei - Nadia Ambrosetti, University of Milano, Italy  
10:30 - 11:00 › «Omnia numerorum videntur ratione formata». A ‘computable world' theory in the early medieval philosophy - Luigi Catalani, University of Salerno, Italy  
11:00 - 11:30 Coffee break  
11:30 - 13:00 World history of computing - Helena Durnova  
11:30 - 12:00 › Plankalkül: not just a chess playing program - Carla Petrocelli, University of Bari "Aldo Moro", Italy  
12:00 - 12:30 › Anatoly Kitov: Monologue with Soviet Sachems - Vladimir Kitov, Plekhanov Russian University of Economics, Russia - Valery Shilov, National Research University Higher School of Economics, Russia - Sergey Silantiev, Plekhanov Russian University of Economics, Russia  
12:30 - 13:00 › Playfulness as a key factor to the spread of computer technology in Spain (1980s) - Ignasi Meda Calvet, Autonomous University of Barcelona, Spain  
17:00 - 18:00 HaPoC General Assembly - National Museum of San Matteo. The assembly is open to all participants to the HaPoC conference.  
18:00 - 19:00 Social event - Guided tour of the National Museum of San Matteo  
20:30 - 23:30 Social event - Dinner at Restaurant "Lo Schiaccianoci" ("Lo Schiaccianoci", Restaurant)  

Saturday, October 10, 2015

Time Event  
09:00 - 10:00 Alan Turing and the Other Theory of Computation - Lenore Blum, Carnagie Mellon University, USA  
10:00 - 11:00 Logics and computability - Felice Cardone  
10:00 - 10:30 › Names - Vincenzo Ciancia, Istituto di Scienza e Tecnologie dell'Informazione “Alessandro Faedo'', CNR - Pisa, Italy  
10:30 - 11:00 › Frege's Habilitationsschrift and the functional approach to magnitude. A neglected precursor of computability - Juan Luis Gastaldi, University of Paris Ouest - Nanterre, France  
11:00 - 11:30 Coffee break  
11:30 - 12:30 Logics and computability - Felice Cardone  
11:30 - 12:00 › The Informal Side of Computability: Church-Turing Thesis, in Practice - Luca San Mauro, Scuola Normale Superiore - Pisa, Italy  
12:00 - 12:30 › A note on knowing machines - Alessandro Aldini, University of Urbino ”Carlo Bo”, Italy - Pierluigi Graziani, University of Chieti-Pescara, Italy - Vincenzo Fano, University of Urbino ”Carlo Bo”, Italy  
12:30 - 13:00 Words for machines, machines for words: A brief history of computational linguistics and digital humanities in Pisa - Simonetta Montemagni, Istituto di Linguistica Computazionale, CNR - Pisa, Italy - Alessandro Lenci, University of Pisa, Italy  
13:00 - 14:00 Lunch  
14:00 - 15:00 Logic and Computing in France: A Progressive Convergence - Pierre Mounier-Kuhn, CNRS & University of Paris-Sorbonne, France  
15:00 - 16:00 Humanities, design and the arts - Mirko Tavosanis  
15:00 - 15:30 › Computing, Design, Art: reflections on an innovative moment in history - Stephen Boyd Davis, Royal College of Arts, UK - Simone Gristwood, Middlesex University, UK  
15:30 - 16:00 › Clouds and Clocks: some historical thoughts about time in computer-assisted music composition - Jean-Marc Wolff, Paris Sciences et Lettres, France  
16:00 - 16:30 Coffee break  
16:30 - 18:00 Humanities, design and the arts - Mirko Tavosanis  
16:30 - 17:00 › From Close to Distant and Back: how to read with the help of machines - Rudi Bonfiglioli, Textkernel, Netherlands - Federico Nanni, University of Bologna, Italy  
17:00 - 17:30 › The role of computers in Art - Mario Verdicchio, University of Bergamo, Italy  
17:30 - 18:00 › From “cells as computation” to “cells as apps” - Andrea Bracciali, Stirling University, UK - Enrico Cataldo, University of Pisa, Italy - Claudio Felicioli, Fabnami, Switzerland - Roberto Marangoni, University of Pisa, Italy - Pasquale Stano, University of Roma Tre, Italy  
18:00 - 19:00 Social Event - Guided tour of the Museum of Computing Machinery and cocktail offered by UPI Toscana.  

Sunday, October 11, 2015

Time Event  
09:00 - 10:00 Functions, Abstractions, and Idealizations in the Explanation of Computing System’s Behaviours - Nicola Angius, University of Sassari, Italy  
10:00 - 11:00 Foundational questions - Giuseppe Primiero  
10:00 - 10:30 › The Methodology of Computing Utilization in Philosophy - Andrej Gogora, Constantine the Philosopher University - Nitra, Slovakia  
10:30 - 11:00 › What is the epistemology of wayward web search? - Robin Hill, University of Wyoming, USA  
11:00 - 11:30 Coffee break  
11:30 - 13:00 Foundational questions - Giuseppe Primiero  
11:30 - 12:00 › The science in computer science: In search of new frameworks - Viola Schiaffonati, Politecnico di Milano, Italy - Mario Verdicchio, University of Bergamo, Italy  
12:00 - 12:30 › Miscomputation in software development: Learning to live with errors - Tomas Petricek, University of Cambridge, UK  
12:30 - 13:00 › Impact of informatics on mathematics and its teaching. On the importance of epistemological analysis to feed didactical research - Simon Modeste, University of Montpellier, France  
  
Online user: 1