Program

Week Thu. 08 Fri. 09 Sat. 10 Sun. 11 List

	Thu. 08	Fri. 09	Sat. 10	Sun. 11
09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00 22:00 23:00	Registration 9:00 - 9:30 (30min) Registration Registration Walter Shewhart and the Philosophical Foundations of Software Engineering 9:30 - 10:30 (1h) Walter Shewhart and the Philosophical Foundations of Software Engineering David Alan Grier, IEEE & George Washington University, USA Interdisciplinary Highlights 10:30 - 11:00 (30min) Interdisciplinary Highlights Fabio Gadducci › Hungary's Early Years in the Ryad - Mate Szabo, Carnegie Mellon University, USA 10:30-11:00 (30min) Coffee break 11:00 - 11:30 (30min) Coffee break Interdisciplinary Highlights 11:30 - 13:00 (1h30) Interdisciplinary Highlights Fabio Gadducci › Computers and Programmed Arts in the Sixties in Italy - Elisabetta Mori, Fondazione Galileo Galilei - Pisa, Italy 11:30-12:00 (30min) › Several types of types in programming languages - Simone Martini, University of Bologna, Italy & INRIA Sophia-Antipolis, France 12:00-12:30 (30min) › Epistemic Opacity, Confirmation Holism and Technical Debt: Computer Simulation in the light of Empirical Software Engineering - Julian Newman, Birkbeck College, University of London, UK 12:30-13:00 (30min) Lunch 13:00 - 14:00 (1h) Lunch The Turn of Object-Oriented Programming in Computerized Models and Simulations 14:00 - 15:00 (1h) The Turn of Object-Oriented Programming in Computerized Models and Simulations Franck Varenne, University of Rouen, France Computing and the modeling of reality 15:00 - 16:00 (1h) Computing and the modeling of reality Teresa Numerico › The contribution of Carl Adam Petri to our understanding of ‘computing' - Giorgio De Michelis, University of Milano-Bicocca, Italy 15:00-15:30 (30min) › Functional or appealing? Traces of a long struggle - Giovanni Cignoni, Fondazione Galileo Galilei 15:30-16:00 (30min) Coffee break 16:00 - 16:30 (30min) Coffee break Computing and the modeling of reality 16:30 - 18:00 (1h30) Computing and the modeling of reality Teresa Numerico › Emerging computer technologies: from information to perception - Nicola Liberati, Chukyo University - Nagoya, Japan - Shoji Nagataki, Chukyo University - Nagoya, Japan 16:30-17:00 (30min) › The brain in silicon: history, and skepticism - Alessio Plebe, University of Messina, Italy - Giorgio Grasso, University of Messina, Italy 17:00-17:30 (30min) › Mechanism, Computational Structure and Representation in Cognitive Science - Dimitri Coelho Mollo, King's College, University of London, UK & Humboldt University, Germany 17:30-18:00 (30min) Sonic Space #05 - An Interactive, Spatial Audio Installation with Found Objects/Materials 18:00 - 19:00 (1h) Sonic Space #05 - An Interactive, Spatial Audio Installation with Found Objects/Materials Elisabetta Senesi	Wherefore thou art... Semantics of Computation? 9:00 - 10:00 (1h) Wherefore thou art... Semantics of Computation? Furio Honsell, University of Udine, Italy Historical antecedents of computing 10:00 - 11:00 (1h) Historical antecedents of computing Helena Durnova › Algorithmic in the 12th Century: the Carmen de Algorismo by Alexander de Villa Dei - Nadia Ambrosetti, University of Milano, Italy 10:00-10:30 (30min) › «Omnia numerorum videntur ratione formata». A ‘computable world' theory in the early medieval philosophy - Luigi Catalani, University of Salerno, Italy 10:30-11:00 (30min) Coffee break 11:00 - 11:30 (30min) Coffee break World history of computing 11:30 - 13:00 (1h30) World history of computing Helena Durnova › Plankalkül: not just a chess playing program - Carla Petrocelli, University of Bari "Aldo Moro", Italy 11:30-12:00 (30min) › 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:00-12:30 (30min) › Playfulness as a key factor to the spread of computer technology in Spain (1980s) - Ignasi Meda Calvet, Autonomous University of Barcelona, Spain 12:30-13:00 (30min) HaPoC General Assembly 17:00 - 18:00 (1h) HaPoC General Assembly National Museum of San Matteo. The assembly is open to all participants to the HaPoC conference. Social event 18:00 - 19:00 (1h) Social event Social event - Dinner at Restaurant "Lo Schiaccianoci" 20:30 - 23:30 (3h) Social event - Dinner at Restaurant "Lo Schiaccianoci" "Lo Schiaccianoci", Restaurant	Alan Turing and the Other Theory of Computation 9:00 - 10:00 (1h) Alan Turing and the Other Theory of Computation Lenore Blum, Carnagie Mellon University, USA Logics and computability 10:00 - 11:00 (1h) Logics and computability Felice Cardone › Names - Vincenzo Ciancia, Istituto di Scienza e Tecnologie dell'Informazione “Alessandro Faedo'', CNR - Pisa, Italy 10:00-10:30 (30min) › Frege's Habilitationsschrift and the functional approach to magnitude. A neglected precursor of computability - Juan Luis Gastaldi, University of Paris Ouest - Nanterre, France 10:30-11:00 (30min) Coffee break 11:00 - 11:30 (30min) Coffee break Logics and computability 11:30 - 12:30 (1h) Logics and computability Felice Cardone › The Informal Side of Computability: Church-Turing Thesis, in Practice - Luca San Mauro, Scuola Normale Superiore - Pisa, Italy 11:30-12:00 (30min) › 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:00-12:30 (30min) Words for machines, machines for words: A brief history of computational linguistics and digital humanities in Pisa 12:30 - 13:00 (30min) 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 Lunch 13:00 - 14:00 (1h) Lunch Logic and Computing in France: A Progressive Convergence 14:00 - 15:00 (1h) Logic and Computing in France: A Progressive Convergence Pierre Mounier-Kuhn, CNRS & University of Paris-Sorbonne, France Humanities, design and the arts 15:00 - 16:00 (1h) Humanities, design and the arts Mirko Tavosanis › Computing, Design, Art: reflections on an innovative moment in history - Stephen Boyd Davis, Royal College of Arts, UK - Simone Gristwood, Middlesex University, UK 15:00-15:30 (30min) › Clouds and Clocks: some historical thoughts about time in computer-assisted music composition - Jean-Marc Wolff, Paris Sciences et Lettres, France 15:30-16:00 (30min) Coffee break 16:00 - 16:30 (30min) Coffee break Humanities, design and the arts 16:30 - 18:00 (1h30) Humanities, design and the arts Mirko Tavosanis › From Close to Distant and Back: how to read with the help of machines - Rudi Bonfiglioli, Textkernel, Netherlands - Federico Nanni, University of Bologna, Italy 16:30-17:00 (30min) › The role of computers in Art - Mario Verdicchio, University of Bergamo, Italy 17:00-17:30 (30min) › 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 17:30-18:00 (30min) Social Event 18:00 - 19:00 (1h) Social Event	Functions, Abstractions, and Idealizations in the Explanation of Computing System’s Behaviours 9:00 - 10:00 (1h) Functions, Abstractions, and Idealizations in the Explanation of Computing System’s Behaviours Nicola Angius, University of Sassari, Italy Foundational questions 10:00 - 11:00 (1h) Foundational questions Giuseppe Primiero › The Methodology of Computing Utilization in Philosophy - Andrej Gogora, Constantine the Philosopher University - Nitra, Slovakia 10:00-10:30 (30min) › What is the epistemology of wayward web search? - Robin Hill, University of Wyoming, USA 10:30-11:00 (30min) Coffee break 11:00 - 11:30 (30min) Coffee break Foundational questions 11:30 - 13:00 (1h30) Foundational questions Giuseppe Primiero › The science in computer science: In search of new frameworks - Viola Schiaffonati, Politecnico di Milano, Italy - Mario Verdicchio, University of Bergamo, Italy 11:30-12:00 (30min) › Miscomputation in software development: Learning to live with errors - Tomas Petricek, University of Cambridge, UK 12:00-12:30 (30min) › Impact of informatics on mathematics and its teaching. On the importance of epistemological analysis to feed didactical research - Simon Modeste, University of Montpellier, France 12:30-13:00 (30min)

Online user: 1