Nos tutelles

CNRS

Rechercher




Accueil du site > Colloques > Colloques du GHPS (archives 2003-2012) > Année 2011

Workshop du GHPS : Epistemological aspects of computing

Epistemological aspects of computing
Workshop organisé par le GHPS dans le cadre des activités du programme CAPES-COFECUB "Théories contemporaines de la logique et philosophie du langage: enjeux épistémologiques et sémantiques"

Samedi 10 Décembre 2011, ENS, 45 rue d'Ulm, Salle Weil (13h-19h30)

  • Gisele Secco (PhD, PUC-Rio), The Four-Colour theorem : remarks on its history, proof and some of its philosophical consequences
     
  • Maël Pégny (PhD, Paris 1 & Philosophies contemporaines), Computing with machines, simulating with machines
     
  • Florent Franchette (PhD, Paris 1 & IHPST), L’hyper-calcul face au problème de la vérification
     
  • Jean-Baptiste Joinet (Paris 1 et Cirphles-GHPS), On the epistemological status of programming languages
     
  • Gilles Dowek (DR INRIA, chargé de cours en Master Lophisc à Paris 1), Outils de calcul et jugements analytiques

Plus d'informations