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  
28 résultats › Tri  › Par 
collection_x
Source : Hypotheses.org

Séance de 18 mai, Lille

Mol, Liesbeth De (10 mai 2016)

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

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

Source : Hypotheses.org

Séance du 9 juin

Mol, Liesbeth De (6 juin 2016)

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

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

Source : Hypotheses.org

Séance 27 Avril 2016

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

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

Source : Hypotheses.org

Quatrième séance de 22 Avril, 2015

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

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

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

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

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

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

Mol, Liesbeth De (18 janv. 2016)

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

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