Programme

Week Mon. 28 Tue. 29 Wed. 30 Thu. 31 List

	Mon. 28	Tue. 29	Wed. 30	Thu. 31
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	Registration and Coffee break 9:00 - 9:45 (45min) Registration and Coffee break Registration and Coffee break Welcome and Introduction 9:45 - 9:55 (10min) Welcome and Introduction Maarten Bullynck & Jean-Baptiste Joinet Welcome by the HAPOC DHST-commission 9:55 - 10:00 (05min) Welcome by the HAPOC DHST-commission Liesbeth De Mol Is Computer Science a Science? A Half-Century Debate. 10:00 - 11:00 (1h) Is Computer Science a Science? A Half-Century Debate. Janet Abbate https://hapoc2013.sciencesconf.org/data/program/27047.pdf Computer Science: Fundamental Questions 11:00 - 12:30 (1h30) Computer Science: Fundamental Questions Chair: Gerard Alberts › Computer Science between Science and Technology: A Red Herring? - Marcello Pelillo, Ca'Foscari University of Venice - Teresa Scantamburlo, Ca'Foscari University of Venice - Viola Schiaffonati, Politecnico di Milano [Milan] 11:00-11:30 (30min) › On the Difficulties of Writing about the History of Computing - Edgar Daylight, Eindhoven University of Technology 11:30-12:00 (30min) › Is Networking computing ? - Valérie Schafer, Institut des Sciences de la Communication du CNRS - Francesca Musiani, MinesParis-Tech - Benjamin Thierry, Paris Sorbonne 12:00-12:30 (30min) Lunch 12:30 - 14:30 (2h) Lunch Informatics and the classification of sciences 14:30 - 15:30 (1h) Informatics and the classification of sciences Gilles Dowek https://hapoc2013.sciencesconf.org/data/program/27051.pdf Epistemological, ethical and paedagogical aspects of Computing 15:30 - 16:30 (1h) Epistemological, ethical and paedagogical aspects of Computing Chair: Pierre Mounier-Kuhn › Verification & Validation of Computer Simulations: A Philosophical Analysis - Julie Jebeile, Institut d'Histoire et de Philosophie des Sciences et des Techniques 15:30-16:00 (30min) › We don't want to miss a thing. Objecthood in a digital universe - Luca Gasparri, Vita-Salute San Raffaele University - Jacopo Tagliabue, Vita-Salute San Raffaele University 16:00-16:30 (30min) Coffee break 16:30 - 17:00 (30min) Coffee break Epistemological, ethical and paedagogical aspects of Computing 17:00 - 19:00 (2h) Epistemological, ethical and paedagogical aspects of Computing Chair: Pierre Mounier-Kuhn › The Logical and Philosophical Foundations of the Open World Assumption - Harry Halpin, World Wide Web Consortium/MIT 17:00-17:30 (30min) › Tomás Maldonado and the Sign System for Olivetti ELEA 9003 - Elisabetta Mori, Università degli Studi di Firenze 17:30-18:00 (30min) › A syllabus for the Fifties. Teaching computer science on the first Italian computers. - 18:00-18:30 (30min) › 40 years of computer science PhD in Lille University - Yann Secq, Université Lille I 18:30-19:00 (30min)	Algorithms and ontology 9:00 - 10:00 (1h) Algorithms and ontology Walter Dean https://hapoc2013.sciencesconf.org/data/program/27050.pdf Coffee break 10:00 - 10:30 (30min) Coffee break History and Philosophy of the Computer 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) Lunch 12:30 - 14:30 (2h) Lunch Logic revisited through informatics 14:30 - 15:30 (1h) Logic revisited through informatics Jean-Yves Girard https://hapoc2013.sciencesconf.org/data/program/27053.pdf History and Philosophy of Computability 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) Coffee break 16:30 - 17:00 (30min) Coffee break History and Philosophy of Computability 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)	The multiple meanings of a flowchart: visual representations of complexity in computer programming 9:00 - 10:00 (1h) The multiple meanings of a flowchart: visual representations of complexity in computer programming Nathan Ensmenger https://hapoc2013.sciencesconf.org/data/program/27052.pdf Coffee break 10:00 - 10:30 (30min) Coffee break History and Philosophy of Programming 10:30 - 12:30 (2h) History and Philosophy of Programming Chair: Maarten Bullynck › The epistemology of programming language paradigms - Federico Gobbo, DISIM - University of L'Aquila - Marco Benini, DiSTA - University of Insubria 10:30-11:00 (30min) › Philology of Programming Languages - Baptiste Mélès, Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré 11:00-11:30 (30min) › Towards a Semiotic Framework for Programming Languages - Andrea Valle, Università degli studi di Torino - Alessandro Mazzei, Università degli studi di Torino 11:30-12:00 (30min) › RTFM! Scientific modeling and the generification of software - Alexandre Hocquet, Université de Lorraine 12:00-12:30 (30min) Lunch 12:30 - 14:30 (2h) Lunch Introduction and Welcome 14:30 - 15:00 (30min) Introduction and Welcome ENSAD-Labo A Technological Difference, Not a Difference Of Method. On the Notion of Programming in the Arts of the 1960s 15:00 - 16:00 (1h) A Technological Difference, Not a Difference Of Method. On the Notion of Programming in the Arts of the 1960s Margit Rosen https://hapoc2013.sciencesconf.org/data/program/_27056.pdf Computing and the Arts : historical and conceptual issues 16:00 - 17:00 (1h) Computing and the Arts : historical and conceptual issues Chair: Julian Rohrhuber › Can Computing in Art Renew the Debate on Art? - Mario Verdicchio, Università degli Studi di Bergamo 16:00-16:30 (30min) › Computer art or art of computing? Early debates revisited. - Joanna Walewska, Nicolaus Copernicus University 16:30-17:00 (30min) Break 17:00 - 17:15 (15min) Break Computing and the Arts : historical and conceptual issues 17:15 - 17:45 (30min) Computing and the Arts : historical and conceptual issues Chair: Julian Rohrhuber › Informatics language and music composition - Jean-Marc Wolff, Ministère de l'Education Nationale 17:15-17:45 (30min) Talk with demos 17:45 - 18:45 (1h) Talk with demos Moreno Andreata, Gérard Assayag et Jean-Louis Giavitto (STMS, IRCAM/CNRS) Performance "The Great C" and Buffet 19:00 - 22:00 (3h) Performance "The Great C" and Buffet Antoine Schmitt and Jean-Jacques Birgé (curator)	Types of Thinking 9:00 - 10:00 (1h) Types of Thinking Barry Cooper https://hapoc2013.sciencesconf.org/data/program/27049.pdf Coffee break 10:00 - 10:30 (30min) Coffee break History and Philosophy of Networking 10:30 - 11:30 (1h) History and Philosophy of Networking Chair: Janet Abbate › Causality in concurrent systems - Federica Russo, Center Leo Apostel, Vrije Universiteit Brussel - Silvia Crafa, Università di Padova 10:30-11:00 (30min) › Computers as communication machines - Highlights of a forgotten program - Felice Cardone, Università di Torino, Dipartimento di Informatica 11:00-11:30 (30min) Computation as a conceptual tool for modern science 11:30 - 12:30 (1h) Computation as a conceptual tool for modern science Bernard Chazelle https://hapoc2013.sciencesconf.org/data/program/27048.pdf Closing Remarks and Goodbye 12:30 - 13:00 (30min) Closing Remarks and Goodbye Jean-Baptiste Joinet & Maarten Bullynck

Online user: 1