recherche
Enseignement
Sciences mathématiques
Analyse et géométrie
Equations différentielles et systèmes dynamiques
Théorie des nombres
Equations aux dérivées partielles et applications
Sciences physiques
Physique quantique
Astrophysique observationnelle
Particules élémentaires, gravitation et cosmologie
Physique mésoscopique
Physique de la matière condensée
Sciences naturelles
Evolution du climat et de l'océan
Chimie des interactions moléculaires
Génétique et physiologie cellulaire
Biologie et génétique du développement
Processus morphogénétiques
Immunologie moléculaire
Physiologie de la perception et de l'action
Médecine expérimentale
Biologie historique et évolutionnisme
Génétique humaine
Psychologie cognitive expérimentale
Paléontologie humaine
Chimie des processus biologiques
Microbiologie et maladies infectieuses
Sciences philosophiques et sociologiques
Philosophie du langage et de la connaissance
Anthropologie de la nature
Théorie économique et organisation sociale
Histoire moderne et contemporaine du politique
Histoire contemporaine du monde arabe
Etudes juridiques comparatives et internationalisation du droit
Rationalité et sciences sociales
Ecrit et cultures dans l'Europe moderne
Historiques, philologiques et archéologiques
Littératures modernes de l'Europe néolatine
Histoire du monde indien
Histoire de la Chine moderne
Antiquités nationales
Histoire turque et ottomane
Civilisation pharaonique : Archéologie, Philologie, Histoire
Histoire et civilisation du monde achéménide et de l'empire d'Alexandre
Religion, institutions et société de la Rome antique
Langues et religions indo-iraniennes
Littératures de la France médiévale
Histoire de l'art européen médiéval et moderne
Assyriologie
Epigraphie et histoire des cités grecques
Littérature française moderne et contemporaine : Histoire, critique, théorie
Milieux Bibliques
Histoire intellectuelle de la Chine
Chaires annuelles
Savoirs contre pauvreté
Développement durable-Environnement, Energie et Société
Création artistique
Innovation technologique Liliane Bettencourt
Informatique et sciences numériques
Conférenciers invités
Accueil Ecoles Doctorales
Recherche
Laboratoires
Equipes accueillies
Instituts
CIRB
Actualité
Agenda
Actualité et événements
Anciens événements
Colloque de rentrée 2009
Colloque de rentrée 2008
Conférences à Aubervilliers
Journées Jean Dausset
Colloque Claude Lévi-Strauss, un parcours dans le siècle
Presse
France Culture
Audio/Vidéo
Institution
Le Collège
Chaires et professeurs
Professeurs honoraires
Professeurs disparus
Professeurs depuis 1530
Architecture
Histoire et Archéologie
Bibliothèques et Archives
COSS
Relations internationales
Marchés Publics
Publications
Nouveautés
Leçons inaugurales
Cours et travaux
Livres
Lettre du Collège de France
DVD / CD
Podcast
Infos pratiques
Adresses et contacts
Recrutement
Mentions légales
English
Gérard Berry
Chaire d'Innovation technologique Liliane Bettencourt - 2007
cours séminaires
Colloque du 23 mai
Biographie et travaux
Résumé
Audio / Vidéo
Machines abstraites, vérification formelle et biochimie cellulaire
François Fages, INRIA - Paris - Rocquencourt (Vidéo)
Flash Player nécessaire
Voir aussi
colloque du 23 mai
ouverture par le pr gérard berry
Le système immunitaire, un grand système d'informations - Pr Philippe Kourilsky
L'approche calculatoire des neurosciences - Alexandre Pouget
Embedded Everywhere, the Physical Web - Alberto Sangiovanni-Vincentelli
Sécurité informatique - Pr Martin Abadi
haut de page
© Collège de France
- 30 mai 2008
English