Documents to download
- PJ Archives.pdf (PDF, 1160 kB)
To read as well
Programme
October 16, 2018
9.00-9.15: Introduction9.15-10.15: Giuseppe Primiero, From Formal Correctness to Engineering Validity
Respondant: Franck Varenne
10.45-11.45: Liesbeth De Mol and Edgar G. Daylight, Halting problems: a historical reading of a paradigmatic computer science problem
Respondant: TBC
11.45-12.45: Julian Rohrhuber, What is abstract?
Respondant: Jean Lassègue
13.45u-14.45: Jean-Baptiste Joinet, Towards a computational foundation for logic
Respondant: Giuseppe Primiero
15.15-16.15: Baptiste Mélès, Unix Ontology: Time and Prime Mover in Unix v6
Respondant: : Tomas Petricek
16.15-17.15: Felice Cardone (read by Simone Martini), From Curry to Haskell: the logical syntax of programming languages
Respondant: TBC
17.30-19.00: roundtable: The introduction of mathematical logic in computing: Comparing local / national processes. Moderator: Pierre Mounier-Kuhn. Participants: Edgar Daylight, Liesbeth De Mol, Cliff Jones (TBC), Simone Martini, Pierre Mounier-Kuhn
October 17, 2018
10.00-11.00: Gerardo Con Diaz (talk by Skype), Machines and Algorithms in American Patent Law
Respondant: Pierre Mounier-Kuhn
11.30-12.30: Selmer Bringsjord, Introducing Pure General Logic Programming (PGLP), a Leibnizian Paradigm
Respondant: Ray Turner
13.30.14.30: Marie-José Durand-Richard, Towards programming before flowcharts : diagrams from Babbage to Wilkes
Respondant: Mark Priestley
15.00-16.00: Wendy Hammache, Back to origins : philosophical aspects of early lambda-formalism
Respondant: Simone Martini
16:00-17.00: Pierre Mounier-Kuhn, Couffignal’s computer: Baroque architecture and inept management
Respondant: Elisabetta Mori