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 |
|
| 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. |
|
| 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 |
|
|
