Seminars take place in the seminar room, second floor of the building Le Chablais, on the Bourget-du-lac (Savoy) site.

Next seminar:

Thursday 23rd November 2017 at 12h50 Georges Comte (LAMA),
L'histoire des mathématiques a-t-elle un sens ?

Abstract: (Hide abstracts)
Je donnerai un aperçu très rapide des grandes séquences historiques qui ont vu se développer, mais aussi refluer, la pratique des mathématiques. Ce coup d'oeil rétrospectif sera l'occasion d'interroger ce que disent les mathématiques : ont-elles un objet préétabli, une visée nécessaire, un sens avéré ?

The seminar of the team CMI is under the responsibility of Jacques-Olivier Lachaud.
Settings: See with increasing date . Hide abstracts
Other years: 2016, all years together.

Year 2017

Thursday 23rd November 2017 at 12h50 Georges Comte (LAMA),
L'histoire des mathématiques a-t-elle un sens ?

Abstract: (Hide abstracts)
Je donnerai un aperçu très rapide des grandes séquences historiques qui ont vu se développer, mais aussi refluer, la pratique des mathématiques. Ce coup d'oeil rétrospectif sera l'occasion d'interroger ce que disent les mathématiques : ont-elles un objet préétabli, une visée nécessaire, un sens avéré ?

Thursday 19th October 2017 at 12h50 Sébastien Tavenas (LAMA),
Comment transmettre efficacement un message binaire à travers un canal avec bruit ?

Abstract: (Hide abstracts)
Derrière cette question barbare se pose un des problèmes fondamentaux que l'on rencontre dès lors qu'on s'intéresse à la communication entre ordinateurs (et donc, dès qu'on essaye de créer un réseau mondial, par exemple…). En effet, la transmission d'un message entre un émetteur et un récepteur est loin d'être chose aisée : si vous envoyez un petit paquet de bits à l'autre bout du monde, il est peu probable que ceux-ci arrivent intacts; ils auront sans doute été endommagés durant leur voyage. Un autre exemple du quotidien, qui concerne le stockage cette fois, est l’altération des données lues sur un CD à cause de rayures ou de sauts de la lentille (à l’occasion d’un mouvement brusque). Nous étudierons dans cet exposé les codes correcteurs d'erreurs, des outils qui permettent de résoudre ces problèmes.

Thursday 6th April 2017 at 13h45 Tom Hirschowitz (Laboratoire de Mathématiques, Université Savoie Mont Blanc),
Logique, maths sur ordinateur et certification de logiciel

Abstract: (Hide abstracts)
L'exposé tente de mettre en évidence le lien très fort qui existe depuis les origines entre informatique et logique mathématique. Après un retour aux sources de l'informatique dans la crise des fondements des mathématiques au début du XXème siècle, on montre ce que ce lien est devenu aujourd'hui à travers un exemple simple de démonstration mathématique dans le logiciel Coq et un survol de quelques avancées récentes en matière de mathématiques sur ordinateur et de certification de logiciel.

Thursday 23rd March 2017 at 13h45 Jimmy Garnier (LAMA),
Comment décrire et prédire le comportement d'espèce animale ou végétale avec des mathématiques: modèles mathématiques en dynamique des populations.

Abstract: (Hide abstracts)
Résumé : La propagation d'épidémie, le changement du paysage de montagne ou l'extinction d'espèces dus au changement climatique sont des événements de plus en plus fréquents. La résolution de ces problèmes sanitaires, écologiques ou environnementaux, passe par la compréhension des mécanismes biologiques et écologiques qui caractérisent la dynamique de ces populations microbiennes, alpines ou animales. Au cours de cette exposé nous verrons comment le formalisme mathématique permet de modéliser et décrire ces comportements. Ces modèles mathématiques nous permettrons de quantifier et prédire l'évolution de certains paramètres comme le nombre de patients infectés par une épidémie ou le nombre de manchot empereur en Antarctique d'ici la fin du millénaire.

Thursday 16th February 2017 at 13h45 Céline LABART (LAMA),
Introduction aux mathématiques financières

Abstract: (Hide abstracts)
Les mathématiques financières font parler d'elles depuis une dizaine d'années. Bien que vivement critiquées suite à la crise des subprimes en 2008, les débouchés s'ouvrant aux mathématiciens dans l'industrie bancaire continuent d'attirer de nombreux étudiants. Dans cet exposé, nous allons d'abord présenter le fonctionnement des marchés financiers, puis introduire les modèles mathématiques utilisés sur les marchés. Pour finir, nous parlerons de la limite de ces modèles pour essayer de répondre à la question posée dans le journal Le Monde en 2008 : « Crise financière : la faute aux mathématiques ? »

Thursday 2nd February 2017 at 13h45 Michel Raibaut (LAMA),
Les mathématiques de l'arc en ciel

Abstract: (Hide abstracts)
Lors d’une averse, la lumière du soleil se réfléchit sur les gouttes de pluie qui, telles des prismes, séparent les couleurs et forment ainsi l’image d’un ou deux arcs-en-ciel dans l’œil de l’observateur. Ce joli phénomène est étudié depuis l’Antiquité, notamment par Aristote qui le décrit dans son traité Les météorologiques. Au Moyen-Âge, deux savants, Al Farisi et Friedberg, donnèrent indépendamment I‘explication de ce phénomène, puis Descartes, Newton et Spinoza calculèrent avec précision les angles de réflexions. Dans cet exposé nous présenterons les mathématiques utilisées dans la modélisation de ce phénomène. Cela nous amènera à introduire les notions de singularités et de géométrie projective. Nous terminerons l'exposé par la résolution du problème suivant : ``comment tracer la droite passant par deux points distincts du plan à l'aide d'une règle trop courte ?''.

The seminar of the team CMI is under the responsibility of Jacques-Olivier Lachaud.
Settings: See with increasing date . Hide abstracts
Other years: 2016, all years together.