Exposés de Cardone et Lassègue

La troisième séance de l’axe 1 donnera deux points de vue différents sur l’aspect « formel » de l’informatique. Felice Cardone discutera des influences moins évidents des travaux de Haskell B. Curry sur le développement des langages de programmation. Les slides de son exposé sont disponible ici. Jean Lassègue, commencant d’une citation de Turing (« mécansime et écriture sont […] presque synonymes ») posais la question d’un écriture d’informatique dans le contexte  plus large des cultures d’écriture, c’est à dire l’écriture iconique, graphique et phonologique. Il proposait l’écriture d’informatique comme écriture graphique et alphabétique qui ne dépend (plus) de l’oralité des langues. Voir son article avec Giuseppe Longo pour plus de détails.

Troisième séance de 16 mars 2016

Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661)

Nous avons le plaisir de vous annoncer la troisième séance de l’axe « Interactions entre logique, calcul et linguistique » du séminaire « Réflexions sur les processus de calcul, d’information et de programmation”, mercredi 16 mars 2016 à 14h, UMR 8163 STL, Université de Lille 3, Salle D. Corbin (Bât. B, salle B1 661) avec la participation de Felice Cardone et Jean Lassègue.

Continuer la lecture de Troisième séance de 16 mars 2016

Deuxième séance 25 Février

Nous avons le plaisir de vous annoncer la deuxième séance de l’axe « Interactions entre logique, calcul et linguistique » du séminaire « Réflexions sur les processus de calcul, d’information et de programmation”, le jeudi 25 Février à 14h, Auditorium Ircica, 50 avenue Halley, Parc scientifique de la Haute Borne, Villeneuve d’Ascq, avec la participation de Philip Wadler.

Cette séance est co-organisé avec  CRIStAL et INRIA Lille.

Continuer la lecture de Deuxième séance 25 Février

Première séance 27 Janvier 14h – 17h

Nous avons le plaisir de vous annoncer la première séance de l’axe 1 « Interactions entre logique, calcul et linguistique » du séminaire « Réflexions sur les processus de calcul, d’information et de programmation”, mercredi 27 Janvier à 14h, IHPST, 13 rue du Four (2ème étage), Université Paris 1 Panthéon-Sorbonne, ENS, avec la participation de David Nofre et Alain Lecomte.

Continuer la lecture de Première séance 27 Janvier 14h – 17h

Annonce séminaire « Réflexions sur les processus de calcul, d’information et de programmation »

C’est avec plaisir que nous annoncons  le séminaire: « Réflexions sur les processus de calcul, d’information et de programmation ». Ce séminaire est né d’un projet commun entre différentes équipes de recherche. Il a pour objet l’étude historico-philosophique de l’informatique et de ses pratiques.

Le séminaire est centré autour de deux axes de recherche, chacun d’entre eux donnant lieu à une série de séances spécifiques. Le premier axe, intitulé “Interactions entre logique, calcul et linguistique: histoire et philosophie”, analyse l’informatique comme lieu de connexion entre différentes disciplines, particulièrement la logique, les mathématiques et la linguistique. Le deuxième axe, intitulé “Pratique de l’informatique: histoire et philosophie”, étudie l’informatique comme discipline à part entière, essayant notamment d’identifier son domaine d’étude propre par l’analyse de ses pratiques.

Responsables: Liesbeth De Mol (CNRS/STL, Université de Lille 3), Pierre Mounier-Kuhn (CNRS, Centre Roland Mousnier, Université Paris Sorbonne), Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne, CNRS, ENS), Maël Pegny (IHPST, Université Paris 1 Panthéon-Sorbonne, CNRS, ENS), Shahid Rahman (STL, Université de Lille 3), Mark van Atten (CNRS/SND, Université Paris-Sorbonne)

Les équipes impliquées dans le séminaire sont:

CRIStAL (UMR 9189)
IHPST(UMR 8590)
SND (FRE 3593)
STL(UMR 8163)

Les programmes des deux axes sont disponsible ici et ici.

Sixième séance de 17 juin, 2015

Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661)

Nous avons le plaisir de vous annoncer la quatrième séance du séminaire « Interactions entre informatique, logique et langage: histoire et philosophie », Mercredi 17 Juin 2015 à 14h, STL, Lille 3, Salle D. Corbin (Bât. B, salle B1 661) avec la participation de Mark Priestley (University College London) et Maarten Bullynck (Sphère, Université Paris Diderot/Université de Paris 8 )

Continuer la lecture de Sixième séance de 17 juin, 2015

Cinquième séance de 15 mai, 2015

Lieu: SND, Université Paris-Sorbonne, Maison de la Recherche, 28 rue Serpente, salle D223

Nous avons le plaisir de vous annoncer la cinquième séance du séminaire « Interactions entre informatique, logique et langage: histoire et philosophie », Vendredi 15 Mai à 14.30h, SND, Université Paris-Sorbonne, Maison de la Recherche, 28 rue Serpente, salle D223, avec la participation de Per Martin-Löf (Stockholm University) et Göran Sundholm (Leiden University)

Continuer la lecture de Cinquième séance de 15 mai, 2015

Quatrième séance de 22 Avril, 2015

Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661)

Nous avons le plaisir de vous annoncer la quatrième séance du séminaire « Interactions entre informatique, logique et langage: histoire et philosophie », Mercredi 22 Avril 2015 à 14h, STL, Lille 3, Salle D. Corbin (Bât. B, salle B1 661) avec la participation de Jacqueline Léon (UMR7597, Histoire des Théories Linguistiques, Université Paris Diderot, Université Sorbonne Nouvelle, Sorbonne Paris Cité) et Edgar Daylight (Universiteit Utrecht)

Continuer la lecture de Quatrième séance de 22 Avril, 2015

Troisième Séance 9 Mars 2015

Nous avons le plaisir de vous annoncer la troisième séance du séminaire « Interactions entre informatique, logique et langage: histoire et philosophie », Lundi 9 Mars 2015 à 14h, IHPST, 13 rue du Four (2ème étage), Université Paris 1 Panthéon-Sorbonne, ENS, avec la participation de Jean-Baptiste Joinet (Université Jean Moulin, Lyon 3) et Baptiste Mélès (CNRS/Archives Poincaré).

La séance sera retransmise en direct à l’adresse : http://live.univ-paris1.fr:8080/IHPST.

Merci de noter que la séance sera suivi par un exposé de Mauro Carbone (Université Jean Moulin – Lyon 3 & Institut Universitaire de France), Vivre et philosopher par(mi) les écrans, à 18h, salle de séminaire du Centre Cavaillès, 29 Rue d’Ulm, dans le cadre du séminaire « Philosophie de l’informatique, de la logique et de leurs interfaces », organisé par Jean-Baptiste Joinet.

Continuer la lecture de Troisième Séance 9 Mars 2015

Deuxième séance 25 Février 2015

Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661)

Nous avons le plaisir de vous annoncer la deuxième séance du séminaire « Interactions entre informatique, logique et langage: histoire et philosophie », 25 Février 2014, à 14h, STL, Lille 3, Salle D. Corbin (Bât. B, salle B1 661) avec la participation d’Amirouche Moktefi (Tallin University of Technology) et Pierre-Eric Mounier-Kuhn (CNRS, Paris 1 et Centre Koyré) Continuer la lecture de Deuxième séance 25 Février 2015

Première séance 21 Janvier, 2015

Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661)

Nous avons le plaisir de vous annoncer la première séance du séminaire « Interactions entre informatique, logique et langage: histoire et philosophie », 21 Janvier 2014, à 14h, STL, Lille 3, Salle D. Corbin (Bât. B, salle B1 661) avec des interventions de Giuseppe Primiero (Middlesex University) et Yonathan Ginzburg (Université de Paris VII) Continuer la lecture de Première séance 21 Janvier, 2015