History and Philosophy of Computing Conference 2013

›9:00 (1h)

Algorithms and ontology
Walter Dean

9:00 - 10:00 (1h)

Algorithms and ontology

Walter Dean

https://hapoc2013.sciencesconf.org/data/program/27050.pdf

›10:00 (30min)

Coffee break

10:00 - 10:30 (30min)

Coffee break

›10:30 (2h)

History and Philosophy of the Computer
Chair: Helena Durnova

10:30 - 12:30 (2h)

History and Philosophy of the Computer

Chair: Helena Durnova

› The term ‘digital' and ‘Digital Computer' by George Robert Stibitz 1942 - Robert Dennhardt, Platanus School Berlin 10:30-11:00 (30min)

› Computers and obedience: defining machine autonomy in the 1940s - Mark Priestley, UCL 11:00-11:30 (30min)

› What network computing does to communication. A retrospective analysis of early debates confronting and inventing online communication ethics - Camille Paloque-Berges, Conservatoire National des Arts et Métiers - Haud Guegen, CNAM, laboratoire DICEN - Claire Scopsi, CNAM, laboratoire DICEN 11:30-12:00 (30min)

› Weaving the Net: Places of Computing and their Political, Social and Technical Interconnections - Wolfgang Brand, Universität Stuttgart, Historisches Institut, Abt. für Geschichte der Naturwissenschaften und Technik 12:00-12:30 (30min)

›12:30 (2h)

Lunch

12:30 - 14:30 (2h)

Lunch

›14:30 (1h)

Logic revisited through informatics
Jean-Yves Girard

14:30 - 15:30 (1h)

Logic revisited through informatics

Jean-Yves Girard

https://hapoc2013.sciencesconf.org/data/program/27053.pdf

›15:30 (1h)

History and Philosophy of Computability
Chair: Liesbeth De Mol

15:30 - 16:30 (1h)

History and Philosophy of Computability

Chair: Liesbeth De Mol

› The applications of Turing (in)computability to classical mathematics - Guido Gherardi, Inst. 1 Informatik Universität der Bundeswehr München 15:30-16:00 (30min)

› Cybernetics, control and Big data - Teresa Numerico, University of Rome III 16:00-16:30 (30min)

›16:30 (30min)

Coffee break

16:30 - 17:00 (30min)

Coffee break

›17:00 (2h)

History and Philosophy of Computability
Chair: Liesbeth De Mol

17:00 - 19:00 (2h)

History and Philosophy of Computability

Chair: Liesbeth De Mol

› Kalmár's Argument Against the Plausibility of Church's Thesis - Mate Szabo, Carnegie Mellon University 17:00-17:30 (30min)

› Exploring Thue's 1914 paper on the transformation of strings according to given rules - James Power, National University of Ireland Maynooth 17:30-18:00 (30min)

› Von Mises, Church, and the Birth of Algorithmic Randomness - Christopher Porter, Laboratoire d'informatique Algorithmique : Fondements et Applications 18:00-18:30 (30min)

› Back to the (Libraries of the) Future - Mirko Tavosanis, Università di Pisa - Dipartimento di Filologia, lett. e l. 18:30-19:00 (30min)