Monday, October 28, 2013

Time Event  
09:00 - 09:45 Registration and Coffee break - Registration and Coffee break  
09:45 - 09:55 Welcome and Introduction - Maarten Bullynck & Jean-Baptiste Joinet  
09:55 - 10:00 Welcome by the HAPOC DHST-commission - Liesbeth De Mol  
10:00 - 11:00 Is Computer Science a Science? A Half-Century Debate. - Janet Abbate
 
11:00 - 12:30 Computer Science: Fundamental Questions - Chair: Gerard Alberts  
11:00 - 11:30 › 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:30 - 12:00 › On the Difficulties of Writing about the History of Computing - Edgar Daylight, Eindhoven University of Technology  
12:00 - 12:30 › Is Networking computing ? - Valérie Schafer, Institut des Sciences de la Communication du CNRS - Francesca Musiani, MinesParis-Tech - Benjamin Thierry, Paris Sorbonne  
12:30 - 14:30 Lunch  
14:30 - 15:30 Informatics and the classification of sciences - Gilles Dowek
 
15:30 - 16:30 Epistemological, ethical and paedagogical aspects of Computing - Chair: Pierre Mounier-Kuhn  
15:30 - 16:00 › Verification & Validation of Computer Simulations: A Philosophical Analysis - Julie Jebeile, Institut d'Histoire et de Philosophie des Sciences et des Techniques  
16:00 - 16:30 › 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:30 - 17:00 Coffee break  
17:00 - 19:00 Epistemological, ethical and paedagogical aspects of Computing - Chair: Pierre Mounier-Kuhn  
17:00 - 17:30 › The Logical and Philosophical Foundations of the Open World Assumption - Harry Halpin, World Wide Web Consortium/MIT  
17:30 - 18:00 › Tomás Maldonado and the Sign System for Olivetti ELEA 9003 - Elisabetta Mori, Università degli Studi di Firenze  
18:00 - 18:30 › A syllabus for the Fifties. Teaching computer science on the first Italian computers. - Fabio Gadducci - Department of Informatics & Museum of the Computing Instruments of the University of Pisa, Giovanni Cignoni - Department of Informatics & Museum of the Computing Instruments of the University of Pisa  
18:30 - 19:00 › 40 years of computer science PhD in Lille University - Yann Secq, Université Lille I  

Tuesday, October 29, 2013

Time Event  
09:00 - 10:00 Algorithms and ontology - Walter Dean
 
10:00 - 10:30 Coffee break  
10:30 - 12:30 History and Philosophy of the Computer - Chair: Helena Durnova  
10:30 - 11:00 › The term ‘digital' and ‘Digital Computer' by George Robert Stibitz 1942 - Robert Dennhardt, Platanus School Berlin  
11:00 - 11:30 › Computers and obedience: defining machine autonomy in the 1940s - Mark Priestley, UCL  
11:30 - 12:00 › 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  
12:00 - 12:30 › 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:30 - 14:30 Lunch  
14:30 - 15:30 Logic revisited through informatics - Jean-Yves Girard
 
15:30 - 16:30 History and Philosophy of Computability - Chair: Liesbeth De Mol  
15:30 - 16:00 › The applications of Turing (in)computability to classical mathematics - Guido Gherardi, Inst. 1 Informatik Universität der Bundeswehr München  
16:00 - 16:30 › Cybernetics, control and Big data - Teresa Numerico, University of Rome III  
16:30 - 17:00 Coffee break  
17:00 - 19:00 History and Philosophy of Computability - Chair: Liesbeth De Mol  
17:00 - 17:30 › Kalmár's Argument Against the Plausibility of Church's Thesis - Mate Szabo, Carnegie Mellon University  
17:30 - 18:00 › Exploring Thue's 1914 paper on the transformation of strings according to given rules - James Power, National University of Ireland Maynooth  
18:00 - 18:30 › Von Mises, Church, and the Birth of Algorithmic Randomness - Christopher Porter, Laboratoire d'informatique Algorithmique : Fondements et Applications  
18:30 - 19:00 › Back to the (Libraries of the) Future - Mirko Tavosanis, Università di Pisa - Dipartimento di Filologia, lett. e l.  

Wednesday, October 30, 2013

Time Event  
09:00 - 10:00 The multiple meanings of a flowchart: visual representations of complexity in computer programming - Nathan Ensmenger
 
10:00 - 10:30 Coffee break  
10:30 - 12:30 History and Philosophy of Programming - Chair: Maarten Bullynck  
10:30 - 11:00 › The epistemology of programming language paradigms - Federico Gobbo, DISIM - University of L'Aquila - Marco Benini, DiSTA - University of Insubria  
11:00 - 11:30 › Philology of Programming Languages - Baptiste Mélès, Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré  
11:30 - 12:00 › Towards a Semiotic Framework for Programming Languages - Andrea Valle, Università degli studi di Torino - Alessandro Mazzei, Università degli studi di Torino  
12:00 - 12:30 › RTFM! Scientific modeling and the generification of software - Alexandre Hocquet, Université de Lorraine  
12:30 - 14:30 Lunch  
14:30 - 15:00 Introduction and Welcome - ENSAD-Labo  
15:00 - 16:00 A Technological Difference, Not a Difference Of Method. On the Notion of Programming in the Arts of the 1960s - Margit Rosen
 
16:00 - 17:00 Computing and the Arts : historical and conceptual issues - Chair: Julian Rohrhuber  
16:00 - 16:30 › Can Computing in Art Renew the Debate on Art? - Mario Verdicchio, Università degli Studi di Bergamo  
16:30 - 17:00 › Computer art or art of computing? Early debates revisited. - Joanna Walewska, Nicolaus Copernicus University  
17:00 - 17:15 Break  
17:15 - 17:45 Computing and the Arts : historical and conceptual issues - Chair: Julian Rohrhuber  
17:15 - 17:45 › Informatics language and music composition - Jean-Marc Wolff, Ministère de l'Education Nationale  
17:45 - 18:45 Talk with demos - Moreno Andreata, Gérard Assayag et Jean-Louis Giavitto (STMS, IRCAM/CNRS)  
19:00 - 22:00 Performance "The Great C" and Buffet - Antoine Schmitt and Jean-Jacques Birgé (curator)  

Thursday, October 31, 2013

Time Event  
09:00 - 10:00 Types of Thinking - Barry Cooper
 
10:00 - 10:30 Coffee break  
10:30 - 11:30 History and Philosophy of Networking - Chair: Janet Abbate  
10:30 - 11:00 › Causality in concurrent systems - Federica Russo, Center Leo Apostel, Vrije Universiteit Brussel - Silvia Crafa, Università di Padova  
11:00 - 11:30 › Computers as communication machines - Highlights of a forgotten program - Felice Cardone, Università di Torino, Dipartimento di Informatica  
11:30 - 12:30 Computation as a conceptual tool for modern science - Bernard Chazelle
 
12:30 - 13:00 Closing Remarks and Goodbye - Jean-Baptiste Joinet & Maarten Bullynck