Bouleau Nicolas:
  Ecole Nationale des Ponts et Chaussées
  Paris / France

Résumé :

   En partant des probabilités philosophiques de Cournot, et en étudiant l'accueil dans le monde scientifique de la notion de hasard chez Jacques Monod, ainsi que quelques cas de l'histoire de l'astronomie, nous nous sensibiliserons à la nature des risques que prend la construction de connaissance.
Ceci nous permettra de pousser la réflexion épistémologique dans la ligne mais au delà de Thomas Kuhn et de Paul Feyerabend, dans le but premièrement d'un fonctionnement plus ouvert de la communauté scientifique, deuxièmement de prise en compte de problèmes environnementaux et écologiques mal appréhendés par la pensée économique.
Références
• "On excessive mathematization, Symptoms, Diagnosis and Philosophical bases for Real World knowledge"Real World Economics. n 57, 6 September 2011, 90-105. • Risk and Meaning, Adversaries in Art, Science and Philosophy, Springer 2011

   

Cortier Véronique:
  Loria
  Vandoeuvre-lès-Nancy / France

Résumé :

   De nombreux dispositifs électroniques visent à améliorer la sécurité des échanges sur des réseaux ouverts comme Internet. Ces dispositifs, tels que les protocoles cryptographiques, reposent souvent sur le chiffrement des données et plus généralement sur des fonctions cryptographiques. Chiffrer les données sensibles est cependant loin d'être suffisant pour assurer la sécurité des communications. Ainsi, les protocoles cryptographiques peuvent comporter des failles subtiles, qui ne sont révélées que plusieurs années après. Il est donc nécessaire de concevoir des techniques rigoureuses pour analyser la sécurité de systèmes électroniques comme les protocoles.
Est-il possible d'aller plus loin et de prouver la sécurité d'un système, quelque soit le comportement d'adversaires malicieux ? Nous verrons dans quels cadres (ou modèles) des preuves de sécurité sont possibles. Nous évoquerons ainsi les modèles symboliques, où les protocoles sont représentés par des objets abstraits (comme la logique du premier ordre) et les modèles cryptographiques, où les messages et les protocoles sont représentés beaucoup plus fidèlement. Les premiers offrent un cadre simplifié, plus accessible à la preuve tandis que les seconds offrent des garanties de sécurité plus fortes.
Nous illustrerons nos propos avec un exemple important et controversé : les protocoles de vote électronique.

   

PAYAN Frédéric (organisateur local):
  Laboratoire I3S
  Sophia Antipolis

Résumé :

   Le GRETSI et le GdR ISIS organisent depuis 2006 une École d'Été annuelle en traitement du signal et des images. Ouverte à toute personne intéressée (académiques ou industriels), elle s'adresse prioritairement à des doctorants ou chercheurs en début de carrière, et a pour but de présenter une synthèse ainsi que les avancées les plus récentes dans un thème de recherche d'actualité. Cette École d'Été a lieu tous les ans et a pour cadre le magnifique village de Peyresq. Motivations scientifiques Les développements technologiques récents concernant l’imagerie tridimensionnelle (outils d’acquisition comme les scanners 3D, modeleurs, cartes graphiques dédiées, etc.) rendent possibles la création et le stockage de modèles tridimensionnels à grande échelle. C'est pourquoi, l’utilisation des modèles tridimensionnels se retrouve aujourd'hui dans de nombreuses applications telles que le patrimoine culturel, les simulations médicales, l’industrie mécanique, les jeux, la réalité virtuelle, et, de manière générale, tout ce qui touche au multimédia. Ces modèles , lorsqu'une représentation discrète est utilisée, sont souvent appelés maillages 3D dynamiques, puisqu'ils vont évoluer avec le temps. L'exploitation de cette masse d'information tridimensionnelle statique ou dynamique pose de nouveaux problèmes aux communautés qui jusqu’à récemment étaient plus habituées à travailler sur des signaux unidimensionnels ou bidimensionnels. Le traitement du «signal géométrique» puise ses fondements scientifiques dans de nombreuses disciplines. On peut citer les méthodes spectrales et l’analyse multi-résolutions par les ondelettes, les géométries différentielle/Riemannienne, l’analyse fonctionnelle, les statistiques sur des variétés non-linéaires, et enfin l’informatique graphique. C'est la raison pour laquelle l’étude des modèles tridimensionnels statiques et dynamiques est pluridisciplinaire par nature. Objectif L'objectif de cette école est de donner une couverture de l'état de l'art des étapes présentes dans une chaîne de numérisation d’objets 3D : acquisition, reconstruction/modélisation, traitement/analyse, et compression. Plus précisément, ces cours veilleront à: - donner les fondements théoriques nécessaires à l’analyse du maillage 3D statique et dynamiques. - présenter les algorithmes de compression 3D. - décliner les différentes facettes d'applications en particulier la TV3D. Ces cours seront donnés par des experts du domaine. L'école a pour ambition d'attirer un large public pluri-disciplinaire pour le faire profiter de cours donnés par des experts du domaine, permettant ainsi aux auditeurs de se former à ses avancées méthodologiques à la pointe en traitement des données tridimensionnelles. plus d'informations sur le site Web.