Séance de 18 mai, Lille

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

Nous avons le plaisir de vous annoncer la prochaîne 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 18 mai 2016 à 14h, UMR 8163 STL, Université de Lille 3, Salle D. Corbin (Bât. B, salle B1 661) avec la participation de Jean-Paul Delahaye et Johan G. Granström. Continuer la lecture de Séance de 18 mai, Lille

Séance 27 Avril 2016

Lieu:  SND (CNRS/Paris 4), Maison de la Recherche 28, rue Serpente 75006 Paris (room D 117)

Nous avons le plaisir de vous annoncer la prochaîne 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 27 Avril 2016 à 16h SND (CNRS/Paris 4), Maison de la Recherche, 28, rue Serpente 75006 Paris (room D 117) avec la participation de Paola Cantù et Teresa Numerico.

Continuer la lecture de Séance 27 Avril 2016

Séance de 14 Avril

Nous avons le plaisir de vous annoncer la prochaine séance de l’€™axe « Histoire et pratique de l’informatique » du séminaire « Réflexions sur les processus de calcul, d’€™information et de programmation€ » qui aura lieu jeudi 14 Avril à 16h dans la salle des conférences de l’IHPST (13 rue du Four, Paris; 1er étage).  Nous accueillerions:

Martin Schüle (ZHAW, Zurich University of Applied Sciences), On the  nature of computation

Computational notions abound in the sciences. Especially in the fields of biology and neuroscience computational capacities are often ascribed to entities and processes. Yet it is not clear what kind of « computation » is at work there. Can it be still treated within traditional computational theory or is some other more general or vague notion of computation needed? I discuss and assess diverse models of computation as developed in various fields and the main proposals in the philosophical literature in regard to concepts of « computation ». A case study on cellular automata, a particular computational model, will then reveal, I argue, the conditions a biological or other system should meet in order to agree with a notion of computation both definable in clear terms and amenable to further scientific research.

Séance du 31 mars, 2016

Nous avons le plaisir de vous annoncer la prochaine séance de l’€™axe « Histoire et pratique de l’informatique » du séminaire « Réflexions sur les processus de calcul, d’€™information et de programmation€ » qui aura lieu jeudi 31 mars à 16h dans la salle des conférences de l’IHPST (13 rue du Four, Paris; 1er étage).  Nous accueillerions:

Gérard Chazal (Université de Bourgogne), Les miroirs informatiques  de l’humain – De la cybernétique aux sciences cognitives.

Depuis longtemps, l’homme a tenté de construire des machines à son image puis de se comprendre à travers ces machines. Mais ce double mouvement de reflet a pris une ampleur considérable avec l’informatique depuis le milieu du XXe siècle.

On verra d’abord comment les idées à la fois techniques, scientifiques, philosophiques qui président à la naissance de l?informatique, se mettent en place depuis le XVIIe siècle.

Pendant et tout de suite après la seconde guerre mondiale, ce sont en fait deux types de techniques qui apparaissent et entretiennent dès le départ des liens multiples avec d’autres disciplines (mathématiques, physique, neurosciences, psychologie, anthropologie, philosophie mais aussi les arts). Ces échanges interdisciplinaires (vantés dès 1948 par Wiener) donneront naissance aux sciences cognitives.

Nous examinerons successivement ces deux types de techniques, leurs succès, leurs limites, leurs critiques puis, en conclusion, nous verrons comment elles convergent vers des techniques nouvelles en même temps qu’elles supportent ce qu’il est convenu d’appeler aujourd’hui la Révolution Numérique.

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