on May 18, 2016 at 1:00 pm
Venue: STL, University of Lille 3, Salle Corbin (Bât.B, salle B1 661) from 2:00 to 5:00pm
Jean-Paul Delahaye, (University of Lille 1), TBA
Johan Granström, (Google Zürich), Identity in Intuitionistic Type Theory.
It is with pleasure that we announce the seminar: ‘Reflections on the processes of calculation, information and programming’. This seminar is the resultof a joint project between different research teams. Its object is the historico-philosophical study of computer science and its practices.
The seminar is centred around two research axis, each of which gives rise to a series of specific sessions. The first axis, entitled ‘Interactions between logic, calculs and linguistics: history and philosophy’, analysis computer science as a place of connection between different disciplines, particularly logic, mathematics and linguistics. The second axis, entitled ‘Informatics practice: history and philosophy’, studies computer science as a discipline in its own right, trying to identify its own field of study by analysing its practices.
Responsible: Liesbeth De Mol (CNRS/STL, University of Lille 3), Pierre Mounier-Kuhn (CNRS, Centre Roland Mounier, University Paris Sorbonne), Alberto Naibo (IHPST, University Paris 1 Panthéon-Sorbonne, CNRS, ENS), Maël Pegny (IHPST, University Paris1 Panthéon-Sorbonne, CNRS, ENS), Shahid Rahman (STL, Unversity of Lille 3), Mark van Atten (CNRS/SND, University Paris-Sorbonne).
The teams involved in the seminar are :
The two axes are:
Axis 1: INTERACTIONS BETWEEN LOGIC, CALCULUS AND LINGUISTICS
AXIS 2: HISTORY AND PHILOSOPHY (https://calcul.hypotheses.org/224)
français
English