1024 – Bulletin de la Société informatique de France
numéro 3 – Mai 2014
Les articles de 1024 sont mis à disposition sous licence Attribution
– Pas de Modification 4.0 France : http://creativecommons.org/licenses/by-nd/4.0/deed.fr
La version papier de 1024 est adressée à chaque adhérent.e (pour adhérer à la SIF, suivre ce lien).
SIF
- Le mot du président, Colin de la Higuera
- Actualité de la SIF, Sylvie Alayrangues
- Le congrès 2014, comme si vous étiez…, Sylvie Alayrangues
Articles scientifiques
- Le test de logiciel : pourquoi et comment, Marie-Claude Gaudel
- Comment produire du hasard, Jean-Paul Delahaye
Entretiens
- Paul Braffort, un pied dans la littérature, un pied dans la science, Entretien avec Paul Braffort, Jean-Louis Giavitto et Valérie Schafer
Histoire
- L’informatique universitaire à Nancy : un demi-siècle de développement, Marion Créhange et Marie-Christine Haton
Enseignement
- Concours Castor informatique, un succès grandissant. Entretien avec Françoise Tort, Philippe Marquet
Prix et distinctions
- Le logiciel Coq distingué deux fois par des prix internationaux prestigieux, Christine Paulin-Mohring
- Entretien avec Mireille Bousquet-Mélou, médaille d’argent CNRS 2014, Olivier Baudon
- Leslie Lamport : prix Turing 2013, Michel Raynal
- Bilan du prix de thèse Gilles Kahn 2013, Michel Riveill
- Fondements sémantiques des représentations intermédiaires de programmes, Delphine Demange
- Contributions à l’apprentissage et l’inférence adaptatifs – Applications à l’ajustement d’hyperparamètres et à la physique des astroparticules, Rémi Bardenet
- Ordre et désordre dans l’algorithmique du génome, Laurent Bulteau
- Prix de thèse Gilles Kahn 2014, Michel Riveill
Hommage
- Jacques Arsac, astronome et informaticien, Maurice Nivat
Récréation
- À la recherche du polynôme perdu…, Jean-Paul Delahaye