Les séminaires ont lieu en salle TLR, premier étage du bâtiment Le Chablais, sur le site du Bourget du Lac.

Prochain séminaire :

Jeudi 23 novembre 2017 à 12h50 Georges Comte (LAMA),
L'histoire des mathématiques a-t-elle un sens ?

Résumé : (Masquer les résumés)
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é ?

Le séminaire de l’équipe CMI est sous la responsabilité de Jacques Olivier Lachaud.
Options : Voir par date croissante . Masquer les résumés.
Autres années : 2016, toutes ensemble.

Année 2017

Jeudi 23 novembre 2017 à 12h50 Georges Comte (LAMA),
L'histoire des mathématiques a-t-elle un sens ?

Résumé : (Masquer les résumés)
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é ?

Jeudi 19 octobre 2017 à 12h50, Salle TLR Sébastien Tavenas (LAMA),
Comment transmettre efficacement un message binaire à travers un canal avec bruit ?

Résumé : (Masquer les résumés)
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.

Jeudi 06 avril 2017 à 13h45, Pôle montagne (amphi, salle 030) Tom Hirschowitz (Laboratoire de Mathématiques, Université Savoie Mont Blanc),
Logique, maths sur ordinateur et certification de logiciel

Résumé : (Masquer les résumés)
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.

Jeudi 23 mars 2017 à 13h45, Salle TLR 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.

Résumé : (Masquer les résumés)
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.

Jeudi 16 février 2017 à 13h45, Salle TLR Céline LABART (LAMA),
Introduction aux mathématiques financières

Résumé : (Masquer les résumés)
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 ? »

Jeudi 02 février 2017 à 13h45 Michel Raibaut (LAMA),
Les mathématiques de l'arc en ciel

Résumé : (Masquer les résumés)
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 ?''.

Le séminaire de l’équipe CMI est sous la responsabilité de Jacques Olivier Lachaud.
Options : Voir par date croissante . Masquer les résumés.
Autres années : 2016, toutes ensemble.