Programme
| 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 |
|
|
