HAPOC11 History and Philosophy of Computing 07 10 November 2011 Ghent, Belgium Het Pand Organised by Centre for Logic and Philosophy of Science Ghent University
Schedule MONDAY 07 NOVEMBER 08:30 09:30 Registration and Coffee 09:30 10:00 Opening: Liesbeth de Mol & Giuseppe Primiero 10:00 11:00 Invited Lecture William Aspray Three topics in the History of Computing chair: Gerard Alberts 11:00 11:30 Coffee break chair: Maarten Bullynck 11:30 12:00 Valery Shilov & Vladimir Kitov Mechanical brain in the XIX century: Logical machines of Alfred Smee 12:00 12:30 Izabela Bondecka-Krzykowska First calculating machines in Poland 12:30 13:00 Marie D Udekem-Gevers A long history of automation : from its origins to the computer 13:00 14:30 Lunch chair: Teresa Numerico 14:30 15:00 Julian Wilson The Max Newman Collection of Alan Turing s Offprints: a bibliographical enquiry. 15:00 15:30 Guido Gherardi Alan Turing and the foundations of computable analysis 15:30 16:00 Ofra Rechter & Eli Dresner From Symbol to Symbol : Turing, Hilbert and the Quasi-concreteness of Signs 16:00 16:30 Coffee Break 1
chair: Erik Myin 16:30 17:00 Rogier De Langhe Simulation and theory choice 17:00 17:30 Philip Nickel Artificial Testimony 17:30 18:00 Coffee Break 18:30 19:30 Invited Lecture Stephen Wolfram Making the World Computable chair: Martin Davis 19:30 20:30 Reception 2
TUESDAY 08 NOVEMBER 09:00 10:00 Invited Lecture Martin Davis Universality is Ubiquitous chair: Liesbeth De Mol 10:00 10:30 Coffee Break chair: Marie D Udekem-Gevers 10:30 11:00 Sten Henriksson A History of the Stack 11:00 11:30 Helena Durnova Language for algorithms, or algorithmic language? 11:30 12:00 Maarten Bullynck Computation/Communication. A parallel glance on the transformations of the computer. 12:00 13:30 Lunch 13:30 14:30 Invited Lecture Fairouz Kamareddine From the Foundation of Mathematics to the Birth of Computation chair: Raymond Turner 14:30 15:00 Coffee Break chair: Jean-Paul van Bendegem 15:00 15:30 Sam Sanders Computing the Infinite 15:30 16:00 Anthony Moore & Kevin Kirby Reimagining Time in Computing: Reservoirs and Aural Arithmetics 16:00 16:30 Duilio D Alfonso Kolmogorov Complexity and Information Theory: The meaning of being minimal 16:30 17:00 Coffee Break 3
chair: Dagmar Provijn 17:00 17:30 Teresa Numerico The computer between Computationalism and Cybernetics: the crucial role of Turing and von Neumann, and why they were ignored 17:30 18:00 John Geske From the Church-Turing Thesis to the Triumph of the Von-Neumann Architecture: The Serialization of Philosophic Thought in Computer Science 19:00 20:00 Lecture/Performance Co-organised with IPEM 4
WEDNESDAY 09 NOVEMBER 09:30 10:30 Invited Lecture Sybille Krämer Mathematizing power, formalization and the diagrammatical mind, or: What does Computation mean? chair: Benedikt Löwe 10:30 11:00 Coffee Break chair: Maarten van Dyck 11:00 11:30 Wolfgang Brand Models, Experiments and Computing: A Historical Case Study of the Design of the Membrane Roof of the Munich Olympic Stadium using the first Supercomputers 11:30 12:00 Giuditta Parolini Making and Remaking the Statistical Tables for Biological, Agricultural and Medical Research 12:00 13:30 Lunch 13:30 14:30 Invited Lecture Giovanni Sambin Computability without Turing Machines chair: Fairouz Kamareddine 14:30 15:00 Coffee Break chair: Liesbeth de Mol 15:00 15:30 Pierre Mounier-Kuhn Computer science in France: a controversial emergence 15:30 16:00 Viola Schiaffonati and Mario Verdicchio Is Computer Science Made Scientific by its Experiments? 16:00 16:30 Raffaele Mascella Programming languages as a revealing enterprise in computer science 16:30 17:00 Coffee Break 5
chair: Peter Verdée 17:00 17:30 Francisco Hernández-Quiroz Logics of programs as a fuelling force for semantics 17:30 18:00 Walter Dean On models of computation and the analysis of feasibility 19:00 22:00 Conference Dinner 6
THURSDAY 10 NOVEMBER 10:00 11:00 Invited Lecture Raymond Turner Towards a Philosophy of Computing Science chair: Giovanni Sambin 11:00 11:30 Coffee Break chair: Giuseppe Primiero 11:30 12:00 Joscha Bach No Room for the Mind: Enactivism in Artificial Intelligence 12:00 12:30 Giovanni Camardi Computation, Information and Computer Simulations 12:30 13:00 Federico Gobbo & Marco Benini From Computing Machineries to Cloud Computing: The Minimal Levels of Abstraction of Inforgs through History 13:00 13:30 Closing 7