Author: olivi

29 octobre 2015, 13h-14h, salle Annexe Cafétéria, par Ludovic Henrio.

Dans cet exposé, je vous expliquerai ce qui nous amuse dans l’équipe Scale. Pour cela je vous proposerai de répondre ensemble aux questions:
– A quoi ca sert d’écrire des programmes qui utilisent un grand nombre de machines?
– Pourquoi c’est difficile?
– Comment les chercheurs peuvent aider les programmeurs à avoir moins de bugs?

Cet échange ne demande bien sur aucun pré-requis, et surtout aucune connaissance en programmation … J’essaierai meme de vous montrer que tout le monde sait un peu programmer.

Un petit mot plus scientifique sur Scale:
L’equipe Scale travaille à la conception de modèles de programmation pour les systèmes distribués. Notre approche se base sur les langages de programmation, et particulièrement les langages à acteurs ou à objets actifs. Non seulement nous mettons au point des langages facilitant la programmation, mais aussi nous fournissons des outils pour vérifier la correction des programmes distribués. Mais surtout, l’équipe Scale fournit aussi des outils concrets: implémentation efficace du langage sous forme de librairie, outils de vérification de programmes, outils de placement et d’allocation de machines virtuelles pour le Cloud, plateforme de simulation. Ainsi, la richesse de Scale vient particulièrement de l’interaction forte entre méthodes formelles et réalisations pratiques.

13h : accueil avec café, thé et petits gâteaux.
13h05-13h55 : présentation et discussion.

24 septembre 2015, 13h-14h, salle Euler Bleue, par Christophe Godin

Les plantes font partie des objets les plus familiers qui nous entourent, mais aussi les plus mystérieux. L’arrangement de leurs organes par exemple fait souvent apparaitre des symétries d’une richesse et d’une beauté fascinante, qui ont depuis des siècles attirées l’attention de chercheurs de tous bords. Grâce à ces travaux, nous savons aujourd’hui que cette beauté est en fait le reflet (géométrique) de lois mathématiques qui émergent spontanément du principe de croissance des plantes. Au cours de ce Café’in, nous observerons donc des plantes, rappellerons comment elles poussent, nous ferons un peu de mathématiques avec (mais en nous limitant à des additions!) et nous essaierons de cerner la nature de ce lien curieux entre biologie et mathématique sur lequel tant d’équipes (dont la notre) continuent de travailler actuellement.

13h : accueil avec café, thé et petits gâteaux.
13h05-13h55 : présentation et discussion.

25 juin 2015, 13h-14h, salle Annexe Caféteria, par Pierre Alliez

Le projet collaboratif Culture 3D Cloud  vise à concevoir une plateforme d’informatique en nuage pour la numérisation 3D, la documentation, la conservation et la diffusion du patrimoine culturel. Le scénario d’application est le suivant : en suivant un protocole d’acquisition précis, un photographe professionnel ou amateur peut acquérir des clichés d’un artefact patrimonial et les télécharger sur un serveur via une interface web. La numérisation est automatiquement réalisée par la plateforme qui fournit un modèle 3D téléchargeable ou consultable en ligne.

Dans ce projet notre rôle est de concevoir une méthode de reconstruction de surfaces à partir de nuages de points 3D obtenus par photogrammétrie dense. La reconstruction de surfaces est par essence un problème mal posé, pour lequel trois décennies de recherche ont proposé une grande variété de solutions. Le nouveau défi du projet est de répondre aux exigences des professionnels de la conservation du patrimoine, tout en respectant les nouvelles contraintes de l’informatique en nuage.

13h : accueil avec café, thé et petits gâteaux.
13h05-13h55 : présentation et discussion.