Vous êtes ici : Accueil › Recherche
› RECHERCHER
Titre
Auteur
Mot-clé
Année avant
Année après
Plus d'options

› AFFINER

› RESULTATS DE LA RECHERCHE  
25 résultats › Tri  › Par 
collection_x
Source : Hypotheses.org

Cinquième séance de 15 mai, 2015

Mol, Liesbeth De (29 avr. 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- ...

Voir plus d'informations | Voir la fiche de la ressource

Source : Hypotheses.org

Sixième séance de 17 juin, 2015

Mol, Liesbeth De (9 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, ...

Voir plus d'informations | Voir la fiche de la ressource

Source : Hypotheses.org

Présentations de Simone Martini et Myriam Quatrini

Mol, Liesbeth De (3 févr. 2017)

Les slides des exposés de la séance du 1 février 2017 sont maintenant disponible: Simone Martini (INRIA/Department of Computer Science, University of Bologna), A Mathematical theory of computation? Myriam Quatrini (Institut des Mathématiques de Luminy, Université de la Méditerrannée ),  L’ ...

Voir plus d'informations | Voir la fiche de la ressource

Source : Hypotheses.org

Séance de 1 février

Mol, Liesbeth De (23 janv. 2017)

Lieu: MESHS, 2 Rue des Canonniers, 59000 Lille Nous avons le plaisir de vous annoncer la prochaîne séance du séminaire "Histoire et Philosophie de l'Informatique”, mercredi 1 Février juin 2016 à 14h-17h, MESHS, Lille avec la participation de Simone Martini and Myriam Quatrini. Simone Martini ...

Voir plus d'informations | Voir la fiche de la ressource

Source : Hypotheses.org

Présentation de Chazal et Miller disponible

Mol, Liesbeth De (20 juin 2016)

Les présentations de Gérard Chazal et Dale Miller de la séance du 15 juin, sont maintenant disponsible: Gerard Chazal (Université de Bourgogne), Informatique et philosophie du langage Dale Miller (Inria and LIX/Ecole polytechnique),  Applications of structural proof theory to computer science

Voir plus d'informations | Voir la fiche de la ressource

Source : Hypotheses.org

Exposés de Cardone et Lassègue

Mol, Liesbeth De (21 mars 2016)

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. ...

Voir plus d'informations | Voir la fiche de la ressource

Source : Hypotheses.org

Séance de 14 Avril

Mol, Liesbeth De (5 avr. 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 14 Avril à 16h dans la salle des conférences de l'IHPST (13 ...

Voir plus d'informations | Voir la fiche de la ressource

Source : Hypotheses.org

Deuxième séance 25 Février

Mol, Liesbeth De (18 févr. 2016)

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 ...

Voir plus d'informations | Voir la fiche de la ressource

Source : Hypotheses.org

Troisième Séance 9 Mars 2015

Mol, Liesbeth De (4 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- ...

Voir plus d'informations | Voir la fiche de la ressource

Source : Hypotheses.org

Présentation de Martin Schüle

Mol, Liesbeth De (18 avr. 2016)

La présentation de Martin Schüle de la séance du 14 avril à l'IHPST est maintenant disponible: Martin Schüle (ZHAW, Zurich University of Applied Sciences), On the nature of computation

Voir plus d'informations | Voir la fiche de la ressource