BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Laboratoire de Mathématiques de Versailles - ECPv6.16.3//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://lmv.math.cnrs.fr
X-WR-CALDESC:Évènements pour Laboratoire de Mathématiques de Versailles
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230207T133000
DTEND;TZID=Europe/Paris:20230207T143000
DTSTAMP:20260608T065208
CREATED:20221028T072446Z
LAST-MODIFIED:20230207T151253Z
UID:11016-1675776600-1675780200@lmv.math.cnrs.fr
SUMMARY:AG : Riccardo Brasca (IMJ-PRG) : Formalisation des mathématiques et l'assistant de preuve Lean
DESCRIPTION:Résumé : Je vais parler dans cet exposé de formalisation des mathématiques\, le processus « d’expliquer » des théorèmes à un ordinateur. J’expliquerais comment fonctionnent les assistants de preuve et pourquoi ils peuvent être utiles pour les mathématiciens. Je raconterai aussi l’histoire du\, un projet dont le but était la formalisation d’un résultat très récent de Clausen et Scholze. Je terminerais en montrant en pratique Lean\, un des assistants de preuve le plus utilisé aujourd’hui. Cet exposé n’est pas à propos des fondements des mathématiques\, en particulier aucune connaissance autour de la formalisation est requise.
URL:https://lmv.math.cnrs.fr/evenenement/ag-riccardo-brasca-imj-prg/
LOCATION:Bâtiment Fermat\, salle 4205
CATEGORIES:Séminaire AG
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230214T113000
DTEND;TZID=Europe/Paris:20230214T123000
DTSTAMP:20260608T065208
CREATED:20230104T102810Z
LAST-MODIFIED:20230214T135602Z
UID:11419-1676374200-1676377800@lmv.math.cnrs.fr
SUMMARY:PS : Emmanuelle Clément (UGE) : Estimation d'un processus de Cox-Ingersoll-Ross stable à partir de données haute-fréquence
DESCRIPTION:Résumé. Dans un premier temps\, nous présenterons une revue de littérature des résultats d’estimation de ce processus selon différents schémas d’observations. Nous nous intéresserons ensuite à l’estimation jointe des paramètres de tendance\, d’échelle et d’activité des sauts\, lorsque l’on dispose d’observations haute-fréquence du processus. En approchant la fonction de vraisemblance\, nous établirons des résultats d’existence et d’unicité d’estimateurs convergents et asymptotiquement conditionnellement gaussiens. Nous proposerons enfin des estimateurs préliminaires faciles à mettre en oeuvre numériquement.\n(travail en collaboration avec Elise Bayraktar)
URL:https://lmv.math.cnrs.fr/evenenement/ps-emmanuelle-clement-uge-titre-a-venir/
LOCATION:Bâtiment Fermat\, salle 4205
CATEGORIES:Séminaire PS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230221T133000
DTEND;TZID=Europe/Paris:20230221T143000
DTSTAMP:20260608T065208
CREATED:20230206T122309Z
LAST-MODIFIED:20230224T084319Z
UID:11593-1676986200-1676989800@lmv.math.cnrs.fr
SUMMARY:AG : Léa Bittmann (Edimburgh) : Des applications arithmétiques de la dualité de Schur-Weyl affine quantique
DESCRIPTION:Résumé : La dualité de Schur-Weyl affine quantique donne une équivalence de catégories entre certaines représentations des algèbres affines quantiques de type A et celles des algèbres de Hecke affines\, et donc des représentations p-adiques de GLn. A travers cette équivalence\, certains résultats peuvent être directement traduits entre les deux domaines. Plus en détails\, quand l’algèbre affine est de bas rang\, l’équivalence peut se rompre et la traduction doit être adaptée. Dans cet exposé\, nous verrons plusieurs exemples de transcriptions de résultats sur les représentations p-adiques vers les représentations affines quantiques. Une des motivations provient des structures d’algèbres amassées sur ces dernières.
URL:https://lmv.math.cnrs.fr/evenenement/ag-lea-bittmann-edimburgh/
CATEGORIES:Séminaire AG
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230223T112000
DTEND;TZID=Europe/Paris:20230223T122000
DTSTAMP:20260608T065208
CREATED:20230112T075914Z
LAST-MODIFIED:20230224T084328Z
UID:11470-1677151200-1677154800@lmv.math.cnrs.fr
SUMMARY:CRYPTO : Alain Couvreur (Inria Saclay) : On a recent attack on SIKE
DESCRIPTION:In this talk\, after recalling some general results on elliptic curves and isogenies\, I will present\, the various key exchange techniques based on isogenies between\, namely Couveignes-Rostovtsev-Stolbunov\, SIKE and CSIDH.\nThen\, I give a description of the main ideas that led Decru and Castryck to a devastating attack on SIKE. This talk is *not* the presentation of personal results.
URL:https://lmv.math.cnrs.fr/evenenement/crypto-alain-couvreur-inria-saclay-on-a-recent-attack-on-sike/
LOCATION:Bâtiment Fermat\, salle 4205
CATEGORIES:Séminaire CRYPTO
END:VEVENT
END:VCALENDAR