athena AT services.cnrs.fr
Subject: Histoire des techniques
List archive
[Athena] séminaire "Interactions entre informatique, logique et langage: histoire et philosophie"
Chronological Thread
- From: Liesbeth De Mol <liesbeth.demol AT univ-lille3.fr>
- To: "theuth AT listes.univ-rennes1.fr" <theuth AT listes.univ-rennes1.fr>, "athena AT services.cnrs.fr" <athena AT services.cnrs.fr>
- Subject: [Athena] séminaire "Interactions entre informatique, logique et langage: histoire et philosophie"
- Date: Thu, 18 Dec 2014 08:38:56 +0100
- Authentication-results: t2gpsmtp1.dsi.cnrs.fr (amavisd-new); dkim=pass header.i= AT univ-lille3.fr
Cher.es collègues, c'est avec plaisir que je vous annonce le séminaire: "Interactions entre informatique, logique et langage: histoire et philosophie". Ce séminaire est le résultat d'une collaboration entre l'IHPST (CNRS, Université Paris 1 Panthéon-Sorbonne, ENS), SND (CNRS, Université Paris-Sorbonne) et STL (CNRS, Université de Lille 3). Ce séminaire est en partenariat avec le séminaire "Histoire et Philosophie de l'Informatique : pratiques, concepts, méthodes" organisé à l'IHPST (Université Paris 1 Panthéon-Sorbonne, CNRS, ENS), responsables: Baptiste Mélès (CNRS/Archives Poincaré, Université de Lorraine), Pierre Mounier-Kuhn (CNRS/Université Paris-Sorbonne et Centre Koyré) et Maël Pegny (IHPST, Université Paris 1 Panthéon-Sorbonne, CNRS, ENS) (annonce suivra) Séminaire: Interactions entre informatique, logique et langage: histoire et philosophie" Le but de ce séminaire est de penser les relations diverses entre la logique, l'informatique et la linguistique. Pourqoui est-ce qu'on a besoin de la logique pour l'avancement de l'informatique et qu'est ce qu'est le rôle de la linguistique ici? Pourquoi un informaticien s'occupe t'il de la conformité des programmes? Qu'est qu'est la nature de la communication entre humains et machines? Est-elle nécessairement formelle? Comment penser l'interface entre sémantique et forme logique dans l'informatique? Ce sont telles questions que nous voudrions attaquer avec ce séminaire. Responsables: Liesbeth De Mol (CNRS/STL, Université de Lille 3), Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne, ENS), Shahid Rahman (STL, Université de Lille 3) et Mark van Atten (CNRS/SND, Université Paris-Sorbonne) Programme:
Mercredi 21 Janvier 2015, 14h-17h Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661) Giuseppe Primiero (Middlesex University), Software Theory Change Yonathan Ginzburg (Université de Paris VII), Quotation, Diagonalization, and Dialogue Mercredi 25 Février 2015, 14h-17h Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661) Pierre Mounier-Kuhn (CNRS, Paris 1 et Centre Koyré), Logique et informatique: filiation ou rencontre? Amirouche Moktefi (Tallinn University of Technology), A Boolean legacy: the problem of elimination in the algebra of logic Lundi 9 Mars, 2015, 14h-17h Lieu: IHPST, Université Paris 1 Panthéon-Sorbonne, ENS Jean-Baptiste Joinet (Université Jean Moulin Lyon 3), A déterminer Baptiste Mélès (CNRS, Archives Henri Poincaré), Réseaux informatiques et logique dialogique Mercredi 22 Avril, 2015, 14h-17h Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661) Jacqueline Léon (CNRS, HTL, Laboratoire d'histoire des théories linguistiques, Université de Paris VII), Controverse entre Yehoshua Bar-Hillel et Margaret Masterman sur la formalisation du langage et la traduction automatique (1958-1960) Edgar Daylight (Utrecht University), Towards a Dutch Perspective on the Beginnings of Machine-Independent Programming Vendredi 15 mai, 2015, 14h-18h Lieu: SND, Université Paris-Sorbonne, Maison de la Recherche, 28 rue Serpente, salle D223 Göran Sundholm (Universiteit Leiden), A déterminer Per Martin-Löf (Stockholm University), A déterminer Mercredi 17 Juin, 2015, 14h-17h Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661) Mark Priestley (UCL), "Visualizing computation": from the differential analyzer to the flow diagram, by way of some little known ENIAC drawings. Maarten Bullynck (Université de Paris VIII), Excavating the roots of the Chomsky-hierarchy: Computational and linguistic practices at MIT before 1963 Pour plus d'informations voir: http://stl.recherche.univ-lille3.fr/seminaires/philosophie/20142015/informatique_logique_langage.pdf |
- [Athena] séminaire "Interactions entre informatique, logique et langage: histoire et philosophie", Liesbeth De Mol, 12/18/2014
Archive powered by MHonArc 2.6.18.