Le monde de l'informatique et les consommateurs-utilisateurs...

"Un nouvel « entretien autour de l'informatique ». Serge Abiteboul et Claire Mathieu interviewent Gérard Huet , Directeur de recherche émérite à Inria. Gérard Huet a apporté des contributions fondamentales à de nombreux sujets de l’informatique, démonstration automatique, unification, édition structurée, réécriture algébrique, calcul fonctionnel, langages de programmation applicatifs, théorie des types, assistants de preuve, programmation relationnelle, linguistique computationnelle, traitement informatique du sanskrit, lexicologie, humanités numériques, etc. Ses travaux sur CAML et Coq (voir encadrés en fin d’article) ont notamment transformé de manière essentielle l’informatique." in: http://binaire.blog.lemonde.fr/2015/03/27/gerard-huet-la-poesie-du-logiciel

P.s: On pourrait aussi organiser quelque chose à Sophia-Antipolis avec l'Inria. L'idée est-elle bonne? Et le bonjour à monsieur Abramatic de l'Inria, ce blog garde un très bon souvenir de cet échange (un peu court vue la question posée). C'était au Conseil de l'Europe, les blogs peuvent se déplacer et contribuer. C'est pas compliqué, il suffit de le savoir. Pas toujours les mêmes auX postes clés dans une société multiculturelle. Et pensons aussi auX minorités, à ceuX qu'on n'a pas l'habitude d'entendre. Dans tous les genres. On pourrait organiser quelque chose cet été dans les Alpes-Maritimes. C'est une idée un peu fiXe.