Des logiciels tels que des commandes de vol d'avions doivent être d'une fiabilité totale, dans la mesure où un dysfonctionnement du calculateur de vol pourrait entraîner une catastrophe. En particulier, il serait inacceptable qu'un tel logiciel puisse produire des erreurs à l'exécution. Il est mathématiquement impossible de déterminer de manière automatique et exacte si un logiciel informatique est correct, mais il est possible d'effectuer un calcul automatique dit conservatif, qui détectera tout problème potentiel, mais risque d'échouer à prouver la correction de certains programmes qui sont pourtant justes. Je montrerai comment cela peut être effectué grâce à la théorie mathématique de l'interprétation abstraite, et je présenterai quelques applications de ce cadre de travail à des problèmes simples.  
Mot(s) clés libre(s) : logiciel, sûreté

De nouveaux langages de programmation ainsi que des outils permettant de transformer ou d’analyser les programmes émergent chaque année grâce à la recherche dans ce domaine. Qu'est-ce qu'un bon langage ? Et surtout, pourquoi en crée-t-on toujours plus ?
Mot(s) clés libre(s) : langage programmation, expressivité, sûreté, efficacité, programmation parallèle, programmation concurrente, programmation objets, objets actifs

Les systèmes informatiques, ou plus exactement les Sciences et Technologies de l'Information et de la Communication, pour éviter une interprétation restrictive, ouvrent de nouveaux défis, car à la situation habituelle en matière de risque, qui considère uniquement les risques de nature accidentelle, ou délibérée mais sans intention nuisible (par exemple, action d'un opérateur qui agit en bonne foi, mais dont l'action se trouve avoir des conséquences négatives), s'ajoutent les malveillances. Ceci conduit à revoir considérablement toute la notion de risque. De plus, cette notion renouvelée de risque s'étend non seulement aux infrastructures informatiques (par exemple, Internet), mais également aux systèmes dits " enfouis " (les embbeded systems), qui concernent directement tous les systèmes industriels du fait de la généralisation de leur informatisation, et de leur interconnexion croissante. La conférence proposée a pour objet cette notion renouvelée de risque. Elle dressera d'abord la scène, en situant les différentes sources de risque. Les approches pour la diminution du risque seront ensuite abordées, classées selon prévention, tolérance, élimination et prévision des sources de risque. Des exemples serviront d'illustration, et permettront d'introduire les limites actuelles. La conclusion abordera des problèmes considérés comme ouverts à l'heure actuelle.
Mot(s) clés libre(s) : analyse statique, bug, faute logicielle, gestion du risque, sécurité informatique, sûreté de fonctionnement, système informatique, test, virus

La mondialisation du droit renvoie-t-elle uniquement à la globalisation économique ou à l’universalisation des Droits de l’Homme, et donc à une communauté mondiale de valeurs ?Si la réponse n’appartient pas aux seuls juristes, les pratiques juridiques ont une place nécessaire pour consolider les choix de valeurs, voire pour anticiper et former des valeurs. La notion de « crime contre l’humanité » (Nuremberg) a créé une interdiction pénale à vocation universelle, alors même que l’« humanité » n’était pas conçue et définie comme une valeur à protéger. Si logiquement, l’éthique précède le droit, le chemin se parcourt parfois du droit à l’éthique.
Mot(s) clés libre(s) : droit, droits de l’homme, ENS Lyon, éthique, forces imaginantes, Gérard Wormser, globalisation économique, humanité, Les conférences du Grand Lyon 2006-2007, liberté, libertés, Mireille Delmas-Marty, mondialisation, sureté

La mondialisation du droit renvoie-t-elle uniquement à la globalisation économique ou à l’universalisation des Droits de l’Homme, et donc à une communauté mondiale de valeurs ? Si la réponse n’appartient pas aux seuls juristes, les pratiques juridiques ont une place nécessaire pour consolider les choix de valeurs, voire pour anticiper et former des valeurs. La notion de « crime contre l’humanité » (Nuremberg) a créé une interdiction pénale à vocation universelle, alors même que l’« humanité » n’était pas conçue et définie comme une valeur à protéger. Si logiquement, l’éthique précède le droit, le chemin se parcourt parfois du droit à l’éthique.
Mot(s) clés libre(s) : droit, Mireille Delmas-Marty, libertés, globalisation économique, forces imaginantes, droits de l’homme, Les conférences du Grand Lyon 2006-2007, Gérard Wormser, ENS Lyon, humanité, mondialisation, liberté, éthique, sureté

Dans cette vidéo, François Collombat souligne l'importance de la sûreté hydraulique lors de l'exploitation d'ouvrages de production d'hydroélectricité. Il met en évidence les types d'accidents qui peuvent se produire, les conséquences potentielles sur les personnes, et les mesures de sécurité associées.
Mot(s) clés libre(s) : accidents, sûreté, hydroélectricité, barrages

Une conférence de Nourdine Chikhi et Fabienne Ribeiro, chercheurs à l'Institut de Radioprotection et de Sûreté Nucléaire. Présentation des activités et missions de l'Institut.
Mot(s) clés libre(s) : IRSN, Institut de Radioprotection et de Sûreté Nucléaire, risque nucléaire, risque radiologique, radioprotection, sûreté nucléaire, dosimétrie, contamination, accident nucléaire, réacteur nucléaire, fission

Cette quatrième partie « La démultiplication des domaines de l’ergonomie » représente une partie importante de la Grande Leçon Histoire(s) de l’ergonomie car elle parcourt plus d’une dizaine de domaines où l’ergonomie s’est développée. Elle montre que l’ergonomie gagne tous les secteurs du travail et de la vie sociale, s’intéresse à la fois aux produits et à l’industrie, étudie l’activité et les usages... A partir des travaux ergonomiques initialement menés dans le secteur de l’aviation, cette parie fait un panorama de quelques sous-disciplines de l’ergonomie parmi lesquelles : l’ergonomie dans l’aviation, l’ergonomie des consignes, instructions et documents, l’ergonomie informatique, l’ergonomie du web, l’ergonomie pour les personnes handicapées, l’ergonomie du jeu vidéo, l’ergonomie scolaire, l’ergonomie de la relation de service, l’ergonomie dans la sécurité et la prévention des risques, l’ergonomie dans la fiabilité et la sûreté, l’ergonomie et les accidents majeurs, et l’ergonomie des environnements dynamiques. Sans être pour autant exhaustive, cette partie raconte toute la diversité et la richesse de l’ergonomie.Les auteurs - Eric Brangier (Université de Lorraine) et Annie Drouin (Société d’Ergonomie de Langue Française) - vous proposent d’aborder cette partie avec René Amalberti, Javier Barcenilla, Béatrice Barthe, Christian Bastien, Tahar-Hakim Benchekroun, Eric Brangier, Béatrice Cahour, Jean-Marie Cellier, François Daniellou, Elie Fadier, Pierre Falzon, Irène Gaillard, Jean-Michel Hoc, Bronislaw Kapitaniak, Véronique de Keyser, Jacques Leplat, René Patesson, Jean-Marc Robert, Jean-Claude Sperandio et Gérard Valléry.Présentation des intervenants
Mot(s) clés libre(s) : sécurité, sûreté, erreur, fiabilité technique, fiabilité humaine, prévention des risques, design service, jeu vidéo, personnes handicapées, interaction humain-machine, consignes, services web, accidents, école, NTIC, environnements dynamiques