3rd International CONFERENCE on the HISTORY and PHILOSOPHY of COMPUTING

Alan Turing and the Other Theory of Computation

Lenore Blum, Carnagie Mellon University, USA

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

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

Simonetta Montemagni, Istituto di Linguistica Computazionale, CNR - Pisa, Italy - Alessandro Lenci, University of Pisa, Italy

Lunch

Logic and Computing in France: A Progressive Convergence

Pierre Mounier-Kuhn, CNRS & University of Paris-Sorbonne, France

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

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