Groupe Arithmétique, Géométrie, Logique et Représentations (AGLR)

Le Groupe Arithmétique, Géométrie, Logique et Représentations fédère 3 équipes de recherche. Les thématiques du groupe ne sont pas homogènes, mais on peut dire que, entre autres, un aspect “algébrique” commun le distingue des autres groupes de l’I2M. Par ailleurs, le point de vue des mathématiques discrètes constitue un lien entre les équipes ATI et LDP, et l’aspect “théorie des nombres” un lien entre les équipes ATI et RGR.
Responsable : David Kohel (suppléant : Olivier Dudas)
Arithmétique et Théorie de l’Information Logique de la Programmation Représentations des Groupes Réductifs
Thèmes de recherche (équipes)

Dernière mise à jour des thématiques (updated) : 4 juin 2020.

Composition du groupe

Annuaire

Effectifs
En mars 2020

A venir.

En juin 2016
18 enseignants-chercheurs
7 chercheurs
1 ingénieur
10 post-docs et doctorants

Permanents
NomFonctionCoordonnées
ANNI SamueleMCF
04 91 26 95 86
ARA DimitriMCF
04 91 26 96 57
AUBRY YvesMCF
04 91 26 95 92
BALAZARD MichelCR
04 91 26 95 84
BALLET StéphaneMCF
04 91 26 95 83
BEUZART-PLESSIS RaphaelCR
BONNECAZE AlexisPR
04 91 26 95 87
DISEGNI DanielPR
DUDAS OlivierDR
HEIERMANN VolkerPR
04 91 26 96 46
KOHEL DavidPR
04 91 26 95 73
LAFONT YvesPR
04 91 26 96 37
LEMAIRE BertrandCR
04 91 26 96 49
MIQUEY EtienneMCF
MURANOV AlexeyMCF
04 91 26 96 56
PUSCHNIGG MichaelPR
04 91 26 95 76
QUATRINI MyriamMCF
04 91 26 96 36
REGNIER LaurentPR
04 91 26 96 42
RODRIGUES JACINTO JoaquinMCF
SOLÉ PatrickDR
04 91 26 95 72
VAUX LionelMCF
04 91 26 96 87
VLADUTS SergePR
04 91 26 95 85
ZEKRI RichardPR
04 91 26 96 50

Legend

AcronymDisplay
CRChargé de Recherche (CR)
DRDirecteur de Recherche (DR)
MCFMaître de Conférences (MCF H)Maître de Conférences (MCF F)
PRProfesseur (PR)
Doctorants et soutenances de thèses
NomIntituléDirectionStatutEDPaysSoutienDate débutSoutenanceLieuDevenirGroupe
Pierre TCHAMITCHIANVariétés Abéliennes, conducteurs et une conjecture de ColemanDavid Kohel, Samuele AnniDoctorant.eED184FranceAMU (ED)01/10/2022AGLR-ATI
Maxime SOMMELLACorrespondance de Langlands pour le groupe p-adique F4 et représentations d'un groupe p-adiqueVolker HeiermannDoctorant.eED184FranceAMU (ED)01/10/2022AGLR-RGR
Mohamed KOUTCHOUKALIEtude des diviseurs non-spéciaux dans les corps de fonctions algébriques définis sur des corps finisStéphane BalletDoctorant.eED184RP01/10/2022AGLR-ATI
Axel GASTALDIInvariants homologiques des produits croisés associés aux groupes linéaires algébriquesMichael PuschniggDoctorant.eED184FranceAMU (ED)01/10/2022AGLR-RGR
Valentin MAESTRACCICubical Type Theory (CTT) in the Dedukti logical frameworkLaurent RegnierDoctorant.eED184FranceAMU (ED)01/09/2022AGLR-LDP
Juliette COUTENSLes théorèmes de Paley-WienerRaphaël Beuzart-Plessis
Bertrand Lemaire
Doctorant.eED184FranceERC RELANTRA01/09/2022AGLR-RGR
Paul BOISSEAUComparaisons de caractères relatifs et applications aux conjectures de Gan-Gross-PrasadBertrand LemaireDoctorant.eED184FranceAMU (Polytechnique)01/09/2022AGLR-RGR
Pascal CIOTEtude de la cohomologie cyclique périodique des produits croisés lisses et continusMichael PuschniggDoctorant.eED184FranceAMU (ENS)01/09/2021AGLR-RGR
Lison BLONDEAU-PATISSIERSémantique des jeux et développements de TaylorLionel Vaux (I2M 50%), Pierre Clairambault (LIS 50%)Doctorant.eED184FranceAMU (ENS)01/09/2021AGLR-LDP
Frédéric BERAHASurfaces orbifoldes de Campana sur les corps globauxNicole Marc-HubertDoctorant.eED184FranceRP01/11/2020Administrateur indépendant, Sté Supor (Groupe SEB). Retraité.AGLR-RGR
Léo HUBERTThéorèmes de Dold-Kan homotopiquesAra Dimitri (dir), Lafont Yves (co-dir)Doctorant.eED184FranceAMU (ED)01/10/2020AGLR-LDP
Luigi BERNARDIFondements interactifs de la logique et apprentissage du raisonnementQuatrini Myriam (dir), Beffara Emmanuel (co-dir)Doctorant.eED184ItalieAMU (ED)01/10/2020AGLR-LDP
Zoé YVONLe problème inverse de Galois et applicationsKohel David (dir), Anni Samuele (co-dir)Doctorant.eED184FranceAMU (ED)01/10/2020AGLR-ATI
Martin FATOUL'induction automorphe pour GLnLemaire BertrandDoctorant.eED184FranceAMU (ED)01/09/2020AGLR-RGR
Rémy CERDADéveloppement de Taylor et λ-calcul infinitaireRegnier Laurent (dir), Vaux Auclair Lionel (co-dir) Doctorant.eED184FranceAMU (ENS)01/09/2020AGLR-LDP
Leonardo COLOCourbes elliptiques supersingulières orientées et actions de groupe de classeKohel DavidDocteurED184ItalieAMU (ED)01/09/201818/11/2022FRUMAM, MarseilleAGLR-ATI
Bastien PACIFICOConstruction polynomiale d’algorithmes de multiplication de type Chudnovsky de complexité bilinéaire linéaireBallet Stéphane, Bonnecaze Alexis (co-directeur)DocteurED184FranceAMU (ED)01/09/201815/12/2022Polytech Marseille LuminyAGLR-ATI
Federico OLIMPIERIIntersection Types and Resource Calculi in the Denotational Semantics of λ-calculusVaux LionelDocteurED184ItalieAMU (ED)01/09/201727/11/2020VirtualPost-doc, LIPN, VilletaneuseAGLR-LDP
Elena BERARDINIAlgebraic geometry codes from surfaces over finite fieldsAubry Yves, Kohel David (co-directeur)DocteureED184ItalieAMU (ED)01/10/201618/06/2020-Post-doc, LIX, Ecole Poytechnique PalaiseauAGLR-ATI
Sarah DIJOLSAutour des représentations distinguées : la conjecture d’injectivité généralisée et modèles symplectiques pour les groupes unitairesHeiermann VolkerDocteureED184FranceANR FAIRPLAY01/09/201406/07/2018I2M, Luminy, MarseillePost-doc, Yau Center, Tsinghua UniversityAGLR-RGR
Annamaria IEZZINombre de points rationnels des courbes singulières sur les corps finisAubry YvesDocteureED184ItalieAMU (LabEx Archimède)01/10/201206/07/2016Polytech, LuminyVisiting assistant professor at the Université de la Polynésie Française, in TahitiAGLR-ATI
Eugénia SIRONITypes in LudicsQuatrini Myriam (co-directrice), Fouqueré Christophe (LIPN, Paris 13)DocteureED184ItalieCD ANR LOCI01/10/201115/01/2015I2M - LuminyEnseignante, Toronto, Canada (SECD ETR)AGLR-LDP
Thanh-Hung DANGComplexité scalaire des algorithmes de type Chudnovsky de multiplication dans les corps finisBonnecaze Alexis, Ballet Stéphane (co-directeur)DocteurED184VietnamETR01/01/201625/05/2020I2M, Luminy, MarseilleAGLR-ATI
Alejandro GIANGRECOVariétés abéliennes cycliques sur des corps finisVladuts SergeDocteurED184ParaguayETR01/12/201520/11/2019Polytech, Luminy, MarseilleAGLR-ATI
Andrea GAGNASur la théorie de l’homotopie des 3-catégories strictesLafont Yves, Ara Dimitri (co-dir)DocteurED184ItalieAMU (ED)01/10/201525/10/2019Polytech, Luminy, MarseillePost-doc, Czech Academy of ScienceAGLR-LDP
Guillaume GEOFFROYRéalisabilité classique : nouveaux outils et applicationsRegnier LaurentDocteurED184FranceENS/AMU01/09/201529/03/2019St Charles, MarseillePost-doc, Univ. BologneAGLR-LDP
Benjamin ANDRYSIAKHomologie cyclique périodique de l'algèbre de Schwartz d'un groupe discret d'isométries d'un espace CAT(0)Puschnigg MichaelDocteurED184FranceAMU (ED)01/10/201402/12/2019Marseille-AGLR-RGR
Jean-Marie CABRERAModules de Fredholm finiment sommables sur les groupes hyperboliquesPuschnigg MichaelDocteurED184FranceSECD01/09/201414/03/2019FRUMAM, St Charles, MarseilleEnseignant, Lycée Antonin Artaud,
Education (SECD)
Nationale
AGLR-RGR
Thomas LEVENTISLambda-théories probabilistesVaux Lionel,DocteurED184FranceCDENSX01/09/201408/12/2016Luminy, MarseilleUFR LCAO Informatique, ENS LyonAGLR-LDP
Marcelo GONÇALVES de MARTINOOn the unramified spherical automorphic spectrumHeiermann Volker (co-directeur), Opdam Eric (Université d’Amsterdam)DocteurED184BrésilEuropean Research Council (ERC)01/09/201321/06/2016-Post-doc, University of Oxford (2016-2018)AGLR-RGR
Paolo PISTONESur les preuves et les types dans la logique du second ordreGirard Jean-Yves, Abrusci Michele (co-directeur, Università Roma Tre)DocteurED184Italie-01/10/201227/03/2015Université Rome 3Chargé de Recherche INRIA, SaclayAGLR-LDP
Matteo ACCLAVIOString diagram rewriting : applications in category and proof theoryLafont YvesDocteurED184ItalieAMU (ED)01/09/201214/12/2016Luminy, MarseillePost-Doc, Université du LuxembourgAGLR-LDP
Florent ROVETTAÉtude arithmétique et algorithmique de courbes de petit genreKohel David (co-directeur), Ritzenthaler Christophe (IRMAR, Rennes)DocteurED184FranceBourse ED01/09/201204/12/2015I2M - Luminy-AGLR-ATI
Van Van THANModélisation d’érosion côtière : application à la partie ouest du tombolo de GiensLiardet Pierre (1er), Lacroix Yves (SeaTech, Toulon, 2ème)DocteurED184VietnamETR01/02/201218/09/2015Univ. ToulonEnseignant, Thuy Loi University (SECD ETR)AGLR-ATI
Michele ALBERTIOn operational properties of quantitative extensions of lambda-calculusBeffara Emmanuel, Vaux Lionel (co-directeur)DocteurED184ItalieBourse MESR01/10/201105/12/2014I2M - Luminy-AGLR-LDP
Marc BAGNOLSur le semi anneau de résolutionGirard Jean-YvesDocteurED184FranceBourse ENS01/01/201104/12/2014I2M - LuminyPost-doc, ENS LyonAGLR-LDP
Jean-Baptiste MIDEZUne étude combinatoire du lambda-calcul avec ressources uniformeRegnier LaurentDocteurED184FranceCD01/10/201015/12/2014I2M - LuminyIngénieur méthodes formelles, Systerel, Aix-en-ProvenceAGLR-LDP
Florian CAULLERYPolynomes sur les corps finis pour la cryptographieRodier FrançoisDocteurED184FranceCOLLTERR01/10/201028/05/2014I2M - LuminyLead Cryptographer, DarkMatter, Abu Dhabi, United Arab EmiratesAGLR-ATI
Yih-Dar SHIEHArithmetic aspects of point counting and Frobenius distributionsKohel David, Lachaud Gilles (co-directeur)DocteurED184TaiwanRP (Ressources personnelles)01/09/200917/12/2015I2M - LuminyData Scientist at Biggerpan, ParisAGLR-ATI
Nicolas DUHAMELFormules de Plancherel et théorèmes de Paley-Wiener à trace pour les espaces sphériquesHeiermann Volker, Beuzart-Plessis Raphaël (co-directeur)-ED184FranceAMU (ED)01/09/2018Abandon le 31/08/2021-AGLR-RGR
Alessandro MURCHIOUnités fondamentales pour les ordres générés par une unitéLouboutin Stéphane-ED184ItalieAMU (ED)01/09/2017Abandon le 23/10/2018--AGLR-ATI
Francesca FERRANTELa modélisation mathématique des dialogues : expérimentation et implémentationQuatrini Myriam (dir),
_ Abrusci Michele (co-dir, Roma Tre, Italie),
_ Tronçon Samuel (co-dir, Résurgences)
-ED184ItalieCIFRE Résurgences01/09/2014Abandon le 24/07/2016-AGLR-LDP
Post-doctorants
Nom prénomOrganisme d’originePaysInvitantDébutFinSoutienSiteGroupe
Simon FORESTLIX, PalaiseauFRANCELionel Vaux01/10/2022
01/09/2021
31/12/2022
31/08/2022
ANR PPSLUMAGLR-LDP
Huajie LIIMJ-PRG JussieuCHINEBeuzart-Plessis Raphaël01/10/202030/09/2021AMIDEX (projet ForReal)LUMAGLR-RGR
Joaquin RODRIGUES JACINTOUCL LondonARGENTINEBeuzart-Plessis Raphael01/03/201929/02/2020AMIDEXLUM 320AGLR-RGR
Laura FONTANELLAEIMITALIE01/10/201730/09/2019CNRSLUM 231AGLR-LDP
Michele BASALDELLAUniversité SienneITALIEQuatrini Myriam01/09/201331/12/2014ANR LOGOILUM 235AGLR-LDP
Samrith RAMIIT Bombay, MumbaiINDERodier François01/03/201330/06/2014LABEX
Archimède
LUM 107AGLR-ATI
ATER
Nom
Prénom
PositionOrganisme d'originePaysResponsableAnnée
universitaire
FinancementSiteGroupe
Florian VIGUIERpost-docIRMA, StrasbourgFRANCE2022-2023LUMAGLR
Ali ISSAdoctorantIMath, ToulonLIBANYves Aubry2022-2023LUMAGLR-ATI
Leonardo COLOdoctorantI2M, MarseilleITALIEDavid Kohel2022-2023LUMAGLR-ATI
Bastien PACIFICOdoctorantI2M, MarseilleFRANCEStéphane Ballet2021-2023LUMAGLR-ATI
Leonardo COLÒdoctorantI2M, MarseilleITALIEDavid Kohel2021-2022LUMAGLR-ATI
Hussein KANSOdoctorantINRAE, AvignonLIBANQuiliot Bénédicte Marie (ED536 Sciences et agrosciences)2020-2021-LUMAGLR
Elena BERARDINIdoctorantI2M, MarseilleITALIE2019-2020AMULUMAGLR-ATI
Andrea GAGNAdoctorantI2M, MarseilleITALIEAra Dimitri2018-2019AMULUM 228AGLR-LDP
Guillaume GEOFFROYdoctorantI2M, MarseilleFRANCERegnier Laurent2018-2019AMULUM 232AGLR-LDP
Sarah DIJOLSdoctoranteI2M, MarseilleFRANCEHeiermann Volker2017-2018AMULUM 330AGLR-RGR
Benjamin ANDRYSIAKdoctorantI2M, MarseilleFRANCEPuschnigg Michael2017-2018AMULUM 314AGLR-RGR
Maxime LUCASdoctorantIRIF, MarseilleFRANCE2017-2018AMULUM 230AGLR-LDP
Damien JAUVARTdoctorantLMV, VersaillesFRANCE2017-2018AMULUM 108AGLR-ATI
Paolo PISTONEpost-docI2M, MarseilleFRANCEJean-Yves Girard2015-2016DMM (Aix), AMULUM 229AGLR-LDP
Fabio PASQUALIpost-docI2M, MarseilleITALIELaurent Regnier2014-2015DMM, AMULUM 235AGLR-LDP
Florian CAULLERYpost-docI2M, MarseilleFRANCE2013-2015DMM (Aix), AMULUM 114AGLR-ATI
Émérites
Nom Prénom Grade Section(s) Date départ retraite Début Eméritat Fin Eméritat Equipe
LOUBOUTIN Stéphane PREM 25 31/08/2022 01/09/2022 31/08/2027 AGLR-ATI
DELORME Patrick PREM 25 01/10/2015 01/10/2015 01/10/2021 AGLR-RGR
RODIER François DREM 41 15/01/2015 16/01/2015 15/01/2025 AGLR-ATI
GIRARD Jean-yves DREM 41 10/09/2012 10/09/2012 11/10/2025 AGLR-LDP
LACHAUD Gilles DREM 41 31/08/2011 01/09/2011 31/08/2016 AGLR-ATI
LABESSE Jean-Pierre PREM 25 30/09/2008 01/10/2008 30/09/2023 AGLR-RGR
ROLLAND Robert MCF HDR 25 01/09/2007 01/09/2015 31/08/2021 AGLR-ATI
Membres associés
NomFonctionCoordonnées

Legend

AcronymDisplay
Stagiaires
StagiaireFormationPaysEncadrantDébutFinDuréeSoutienSiteGroupe
Kéva DJAMBAEM2KOHEL15/04/202215/06/20222 moisI2MLUMAGLR-ATI
Milan BERGER-GUESNEAUM2 Math FondaFRANCEPUSCHNIGG11/04/202230/06/20223 moisArchimèdeLUMAGLR-RGR
Zhiyuan DENGM2 Math FondaBEUZART-PLESSIS06/04/202230/06/20223 moisArchimèdeLUMAGLR-RGR
Karim TIMSITM2 Math FondaARA04/04/202203/06/20222 moisI2MLUMAGLR-LDP
Maxime SOMMELLAM2 Math FondaFRANCEHEIERMANN04/04/202207/07/20223 moisI2M / AGLRLUMAGLR-RGR
Axel GASTALDIM2 Math FondaPUSCHNIGG04/04/202230/06/20223 moisArchimèdeLUMAGLR-RGR
Juliette COUTENSM2 Math FondaBEUZART-PLESSIS04/04/202204/07/20223 moisI2M / AGLRLUMAGLR-RGR
Paul BOISSEAUM2 Paris-SaclayBEUZART- PLESSIS28/03/202201/07/20223 moisSans gratificationLUMAGLR-RGR
Rafaele DI DONNAM2 IMDVAUX28/02/202201/07/20224 moisI2M / AGLRLUMAGLR-LDP
Victor BLANCHI M1VAUX07/02/202208/07/20225 moisAGLR / ANR PPSLUMAGLR-LDP
Maxime SOMMELLAM1 AMUFRANCEVAUX14/06/202130/07/20212 mois -I2MLUMAGLR-LDP
Jean GASNIERM1 ENS RennesFRANCEBONNECAZE21/05/202123/07/20212 mois +Sans gratificationLUMAGLR-ATI
Mohamed EZ-ZARRAQL3 Univ Lyon 1NICOLE17/05/202125/06/20211 mois +Sans gratificationLUMAGLR-RGR
Milan BERGER-GUESNEAUM1 ENS LyonFRANCEHEIERMANN17/05/202116/07/20212 moisI2MLUMAGLR-RGR
David ALEXANDREL3 Univ Lyon 1FRANCEPUSCHNIGG10/05/202120/06/20211 mois +Sans gratificationLUMAGLR-RGR
Lazare LE BORGNEL3 Univ Lyon 1FRANCEPUSCHNIGG10/05/202120/06/20211 mois +Sans gratificationLUMAGLR-RGR
Enzo MARSOTL3 Univ Lyon 1FRANCEPUSCHNIGG10/05/202118/06/20211 mois +Sans gratificationLUMAGLR-RGR
Lucas RETAILLEAUL3 ENS RennesFRANCEPUSCHNIGG10/05/202106/06/20211 mois -Sans gratificationLUMAGLR-RGR
Audric LE CUNM2 MAAP/IMDFRANCEREGNIER22/03/202123/07/20214 moisI2M, AGLRLUM 222AGLR-LDP
Thomas CALDICHOURYM1 PolytechBEUZART-PLESSIS21/03/202109/07/20213 mois 19jSans gratificationLUMAGLR-RGR
Mavambu DIANKATUM2 MAAP/IMDANGOLAKOHEL16/03/202115/06/20213 moisI2M, AGLRLUM 110AGLR-ATI
Hamoydy DIAM2 MAAP/IMDSENEGALKOHEL15/03/202115/06/20213 moisI2M, AGLRLUM 110AGLR-ATI
Guilia MANARAM2 MAAP/IMDITALIEVAUX15/03/202115/07/20214 moisI2M, AGLRLUM 232AGLR-LDP
Jean-Baptiste VIENNEYFRANCEVAUX01/02/202101/08/20216 moisANR, AGLR, IALUMAGLR-LDP
Lison BLONDEAU-PATISSIERFRANCEVAUX11/01/202111/06/20215 moisANR, AGLR, IALUMAGLR-LDP
Rémy CERDA M2 MDFIFRANCEVAUX27/01/202016/06/20204 mois 7 joursENS LyonLUMAGLR-LDP
Léo HUBERT M2ARA15/04/202015/07/20203 moisARCHIMEDELUMAGLR-LDP
Yousra KASBANI M2 MFBALLET01/03/202031/05/20203 moisI2M/AGLRLUMAGLR-ATI
Edoardo RIVETTI M2 IMDVAUX01/03/202030/06/20204 moisI2M/AGLRLUMAGLR-LDP
Luigi BERNARDI M2 IMDBEFFARA01/03/202030/06/20204 moisI2M/AGLRLUMAGLR-LDP
Said COUACHI M2VLADUTS01/03/202004/05/20202 moisI2MLUMAGLR-ATI
Pei-Cheng LEE M2 Saclay Algèbre appliquéeCHINEBARTHELEMY01/03/201931/08/20195CNRS (PEPS AMIES)LUMAGLR-ATI
Fabrice ETIENNE M1FRANCEHEIERMANN03/06/201930/06/20190ENSLUMAGLR-RGR
Baptiste CHANUS FRANCEBEFFARA04/06/201/19/07/2019ENSLUMAGLR-LDP
Emma KERINEC M2 hors AMU VAUX15/04/201928/07/20193I2MLUMAGLR-LDP
Simon AUDOUARD L3FRANCEREGNIER27/05/201921/06/20191I2MLUMAGLR-LDP
Moukaila SOUBOUTOROU M2 IMDKOHEL02/05/201901/07/20191I2MLUMAGLR-ATI
Ernest SPECKA L3 de LyonPUSCHNIGG11/06/201827/07/2018ENSLUMAGLR-RGR
Pascal CIOT L3 de LyonPUSCHNIGG11/06/201829/06/2018ENSLUMAGLR-RGR
Bastien PACIFICO M2 MDFIFRANCEBALLET Stéphane03/04/201803/07/20183I2MLUMAGLR-ATI
Nicolas DUHAMEL M2 MFFRANCER. BEUZART-PLESSIS01/04/201830/06/20183I2MLUMAGLR-RGR
Julien GABET ENSFRANCEBEFFARA26/03/201826/06/2018ENSLUMAGLR-LDP
Diego HERVAULT M2 MDFIVLADUTS Serge22/03/201822/06/20183I2MLUMAGLR-ATI
Davide BARBAROSSA M2 MDFIREGNIER Laurent19/03/201819/06/20183I2MLUMAGLR-LDP
Alexandre CLEMENT M1FRANCEREGNIER-ARA15/05/201707/07/201701 mois 24jENS LyonCG 103AGLR-LDP
Nicolas PIGNARD-FERNANDEZ L3FRANCEKOHEL12/06/201728/07/2017ENSLUMAGLR-ATI
Federico OLIMPIERI M2 MDFIITALIEREGNIER01/04/201730/06/201703 moisI2MLUM 232AGLR-LDP
Mohamed Mahdi KOUTCHOUKALI M2 MDFICANADABALLET01/04/201730/06/201703 moisI2MLUM 110AGLR-ATI
Laura BROUILHET M2 MDFIFRANCEVLADUTS01/04/201730/06/201703 moisI2MLUM 108AGLR-ATI
Ludovic BRIEULLE M2 MDFIFRANCEKOHEL01/04/201730/06/201703 moisI2MLUM 108AGLR-ATI
Julien GABET FRANCEVAUX30/05/201615/07/201601 mois 17jENSLUM 231AGLR-LDP
Niels FELD FRANCEREGNIER30/05/201608/07/201601 mois 10jENSLUM 229AGLR-LDP
Alexandre CLÉMENT FRANCEREGNIER30/05/201609/07/201601 mois 11jENSLUM 232AGLR-LDP
R. LADZOUZE FRANCERegnier Laurent23/05/201623/07/201602 moisLUM 232AGLR-LDP
Matteo DE LEO M2 MDFIITALIEVaux Lionel18/03/201618/06/201603 moisI2MLUMAGLR-LDP
Davide CATTA M2 MDFIITALIEQuatrini Myriam18/03/201618/06/201603 moisI2MLUMAGLR-LDP
Elena BERARDINI M2 MDFIITALIEAubry Yves14/03/201630/06/201603 mois 18jI2MLUMAGLR-ATI
Jules CHOUQUET Université Paris 7 M2 LMFIFRANCEVaux Lionel01/04/201531/07/201502 moisLabEx ArchimèdeLUMAGLR-LDP
Maxime CHEMIN Polytech (ingénieur)FRANCEMuntean Traian16/02/201514/08/201506 moisI2MLUMAGLR-ERISCS
Guillaume GEOFFROY FRANCERegnier Laurent19/01/201526/06/201505 moisENSLUMAGLR-LDP
Nasser GHADBANE LMPA, M’silaALGÉRIELafont Yves26/05/201427/06/201401 mois 2jLUM 233AGLR-LDP
George H. BUTLER REPUBLIQUE DOMINICAINEAubry Yves12/05/201403/08/201402 mois 21jLUM 114AGLR-ATI
Autres non permanents
CDD, PAST, Délégation CNRS

NomFonctionCoordonnées

Legend

AcronymDisplay
Mouvements
ARRIVÉES
Origine
DUDAS Olivier CR CNRS Recrutement 2022 AGLR-RGR
MIQUEY Étienne MCF AMU Recrutement 2021 AGLR-LDP
ANNI Samuele MCF AMU Recrutement 2019 AGLR-ATI
SOLE Patrick DR CNRS Mutation 2019 AGLR-ATI
GARCIA-MARCO Ignacio MCF AMU Recrutement 2017 AGLR-ATI
MURANOV Alexei MCF AMU Mutation Toulouse 2016 AGLR-LDP
BEUZART-PLESSIS Raphaël CR CNRS Recrutement 2016 AGLR-RGR
BALAZARD Michel CR CNRS Retour détach. Moscou 2015 AGLR-ATI
FEVRIER Arnaud MCF AMU Chgt de labo Marseille 2014 AGLR-ERISCS
MUGWANEZA Léon MCF AMU Chgt de labo Marseille 2014 AGLR-ERISCS
MUNTEAN Traian PR AMU Chgt de labo Marseille 2014 AGLR-ERISCS
NGUYEN Tin MCF AMU Chgt de labo Marseille 2014 AGLR-ERISCS
ARA Dimitri MCF AMU Recrutement 2014 AGLR-LDP
HEIERMANN Volker PR AMU Mutation Clermont-Ferrand 2011 AGLR-RGR
AUBRY Yves MCF Toulon Affectation 50% 2010 AGLR-ATI
VAUX Lionel MCF AMU Recrutement 2009 AGLR-LDP
NICOLE Marc-Hubert MCF AMU Recrutement 2009 AGLR-RGR
DÉPARTS
Accueil
LOUBOUTIN Stéphane PR AMU Retraite 2022 AGLR-ATI
BATTESTI Françoise MCF AMU Retraite 2022 AGLR-RGR
NICOLE Marc-Hubert MCF AMU Mutation 2021 AGLR-RGR
KLIMCIK Ctirad PR AMU Chgt de groupe Groupe AGT 2021 AGLR-RGR
BEFFARA Emmanuel MCF AMU Mutation 01/09/2020 LIG, Grenoble 2020 AGLR-LDP
GARCIA-MARCO Ignacio MCF AMU Démission 15/1/2018 2018 AGLR-ATI
MUGWANEZA Léon MCF AMU Chgt de labo Polytech Marseille 2016 AGLR-ERISCS
MUNTEAN Traian PR AMU Chgt de labo Polytech Marseille 2016 AGLR-ERISCS
NGUYEN Tin MCF AMU Chgt de labo Polytech Marseille 2016 AGLR-ERISCS
FEVRIER Arnaud MCF AMU Chgt de labo Polytech Marseille 2016 AGLR-ERISCS
BLANC Philippe CR CNRS Retraite 2016 AGLR-RGR
DELORME Patrick PR AMU Retraite (émérite) 2015 AGLR-RGR
RODIER François DR CNRS Retraite (émérite) 2014 AGLR-ATI
RITZENTHALER Christophe MCF AMU Promotion PR Rennes 2013 AGLR-ATI
LACHAUD Gilles DR CNRS Retraite (émérite) 2012 AGLR-ATI
LIARDET Pierre PR AMU Retraite (émérite) 2012 AGLR-ATI
GIRARD Jean-Yves DR CNRS Retraite (émérite) 2012 AGLR-LDP
WASSERMAN Anthony DR CNRS Départ 2012 AGLR-RGR
BALAZARD Michel CR CNRS Détachement Moscou 2011 AGLR-ATI
KASPAROV Guennadi PR U2 Mobilité Vanderbilt, USA 2010 AGLR-RGR
SECHERRE Vincent PR U2 Mobilité Versailles St Quentin 2010 AGLR-RGR
RAUZY Antoine CR CNRS Disponibilité Dassault R&D 2009 AGLR-LDP
EHRHARD Thomas DR CNRS Mutation Jussieu 2008 AGLR-LDP
FLEURY-DONNADIEU Marie-Pierre MCF U2 Retraite 2008 AGLR-LDP
RAMBAUD Christiane MCF U2 Retraite 2008 AGLR-LDP
LABESSE Jean-Pierre PR U2 Retraite (émérite) 2008 AGLR-RGR

 

Publications
Liste

Publications HAL

2023/07 - Concurrent Realizability on Conjunctive Structures

2023/06 - Local cyclic homology of group Banach algebras of "non-positively curved" discrete groups

2023/04 - Notes: suites de Farey, fractions continues, arbres de Stern-Brocot, Calkin-Wilf, arbre dyadique, fonction de Minkowski

2023/03 - Démonstration d'une conjecture de Kruyswijk et Meijer sur le plus petit dénominateur des nombres rationnels d'un intervalle

2023/01 - Do CPS translations also translate realizers?

2023/01 - PRODUIT TENSORIEL D'ESPACES VECTORIELS

2023/01 Research in Number Theory - On smooth plane models for modular curves of Shimura type

2023/01 Higher Structures - Orientals as free algebras

2023/01 Journal of Pure and Applied Algebra - A categorical characterization of strong Steiner $\omega$-categories

2023/01 - Gödel's Absolute Proofs and Girard's Ludics Mutual Insights

2023/01 Logical Methods in Computer Science - Stateful Realizers for Nonstandard Analysis

2022/12 - Une mesure de Radon invariante sur les $F$-strates unipotentes

2022/12 - D\'eveloppement fin de la contribution unipotente \`a la formule des traces sur un corps global de caract\'eristique p>0, I

2022/11 - La formule des traces tordue pour les corps de fonctions

2022/11 - On the infimum of the absolute value of successive derivatives of a real function defined on a bounded interval

2022/07 - Polynomials with maximal differential uniformity and the exceptional APN conjecture

2022/07 - Fourier-Mukaï transform for $\mathcal{D}^{(0)}$-modules over formal abelian schemes

2022/06 Photonics research - Advanced hybrid plasmonic nano-emitters using smart photopolymer

2022/03 - Transformée de Fourier-Mukai sur les schémas formels

2022/02 - Scattering and a Plancherel formula of spherical varieties for real reductive split groups

2022/02 - On the spectral Theorem of Langlands

2022/01 Publications Mathématiques de L'IHÉS - The global Gan-Gross-Prasad conjecture for unitary groups: the endoscopic case

2022/01 Logical Methods in Computer Science - On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants

2022/01 Algebraic & Geometric Topology - Comparaison des nerfs $n$-catégoriques

2022/01 Journal of Number Theory - Multiplicities and Plancherel formula for the space of nondegenerate Hermitian matrices

2022/01 Contemporary mathematics - A strategy to optimize the complexity of Chudnovsky-type algorithms over the projective line

2022/01 Manuscripta mathematica - A special configuration of $12$ conics and generalized Kummer surfaces

2022/01 Linear Algebra and its Applications - Proof of Cayley-Hamilton theorem using polynomials over the algebra of module endomorphisms

2022/01 Journal of Noncommutative Geometry - Finitely summable γ-elements for word-hyperbolic groups

2021/12 Communications in Mathematics - Sur la variation de certaines suites de parties fractionnaires

2021/12 Logical Methods in Computer Science - An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets

2021/12 - D-modules arithmétiques et transformation de Fourier-Mukai

2021/11 - Decomposition numbers for the principal $\Phi_{2n}$-block of $\mathrm{Sp}_{4n}(q)$ and $\mathrm{SO}_{4n+1}(q)$

2021/11 - Orthogonality relations for deep level Deligne--Lusztig schemes of Coxeter type

2021/11 - Unipotent Representations of Finite Reductive Groups in Transverse Characteristic

2021/11 - Sur la syntaxe de la sémantique quantitative

2021/11 Journal de l'Institut de Mathématiques de Jussieu - Comparison of local spherical characters and the Ichino-Ikeda conjecture for unitary groups

2021/10 - La formule des traces tordue pour les corps de fonctions

2021/10 Cambridge Journal of Mathematics - Congruences of algebraic automorphic forms and supercuspidal representations

2021/09 - Periodic cyclic homology of crossed products

2021/09 Duke Mathematical Journal - A new proof of Jacquet-Rallis's fundamental lemma

2021/08 ACS Applied Materials & Interfaces - One strategy for nanoparticle assembly onto 1D, 2D, and 3D polymer micro and nanostructures

2021/08 Annals of Mathematics - Isolation of cuspidal spectrum, with application to the Gan--Gross--Prasad conjecture

2021/07 - The Langlands Spectral Decomposition

2021/07 ACS Applied Nano Materials - Three-Dimensional Photoluminescent Crypto-Images Doped with (CdSe)ZnS Quantum Dots by One-Photon and Two-Photon Polymerization

2021/07 - Positional Injectivity for Innocent Strategies

2021/07 - Evidenced Frames: A Unifying Framework Broadening Realizability Models

2021/06 - MELL proof-nets in the category of graphs

2021/06 - Incoherences in Dialogues and their Formalization Focus on Dialogues with Schizophrenic Individuals

2021/06 Compositio Mathematica - Corrigendum: On the cuspidal cohomology of S -arithmetic subgroups of reductive groups over number fields

2021/05 - On the number of effective divisors in algebraic function fields defined over a finite field

2021/05 Journal of Combinatorial Designs - The extended binary quadratic residue code of length 42 holds a 3−design

2021/04 Journal of Algebra and Its Applications - Type IV codes over a non-unital ring

2021/03 - La formule des traces tordue pour les corps de fonctions

2021/03 - On the lattice Hadwiger number of superballs and some other bodies

2021/02 Inventiones Mathematicae - Plancherel formula for $\mathrm{GL}_n(F)\backslash \mathrm{GL}_n(E)$ and applications to the Ichino-Ikeda and formal degree conjectures for unitary groups

2021/02 Finite Fields and Their Applications - Algebraic geometry codes over abelian surfaces containing no absolutely irreducible curves of low genus

2021/02 Russian Mathematical Surveys - On the tensor rank of multiplication in finite extensions of finite fields and related issues in algebraic geometry

2021/01 Applicable Algebra in Engineering, Communication and Computing - Quasi type IV codes over a non-unital ring

2021/01 - Realizability with stateful computations for nonstandard analysis

2021/01 Contemporary mathematics - Bounds on the minimum distance of algebraic geometry codes defined over some families of surfaces

2021/01 - An arithmetical function related to B\'aez-Duarte’s criterion for the Riemann hypothesis

2021/01 - Archimedean theory and $\epsilon$-factors for the Asai Rankin-Selberg integrals

2021/01 international mathematical research notices - The constant term of tempered functions on a real spherical space

2021/01 Applicable Algebra in Engineering, Communication and Computing - Quasi Type IV codes over a non-unital ring

2021/01 Designs, Codes and Cryptography - CONSTRUCTION OF ASYMMETRIC CHUDNOVSKY ALGORITHMS WITHOUT DERIVATED EVALUATION FOR MULTIPLICATION IN FINITE FIELDS

2021/01 Cryptography and Communications–Discrete Structures, Boolean Functions, and Sequences - Optimization of the scalar complexity of Chudnovsky$^2$ multiplication algorithms in finite fields

2021/01 Journal of Algebra and Its Applications - The build-up construction of quasi self-dual codes over a non-unital ring

2021/01 Journal of the American Mathematical Society - Plancherel theory for real spherical spaces: Construction of the Bernstein morphisms

2021/01 Memoirs of the American Mathematical Society - Paley-Wiener theorems for a p-adic spherical variety

2021/01 - On Sato-Tate distributions, extremal traces, and real multiplication in genus 2

2021/01 Revista de la Unión Matemática Argentina - THE EXT-ALGEBRA OF THE BRAUER TREE ALGEBRA ASSOCIATED TO A LINE

2020/12 - Decomposition matrices for groups of Lie type in non-defining characteristic

2020/12 Journal of the ACM (JACM) - SQISign: compact post-quantum signatures from quaternions and isogenies

2020/12 Mathematische Zeitschrift - Sur le minimum de la fonction de Brjuno

2020/12 Nature Communications - Hybrid plasmonic nano-emitters with controlled single quantum emitter positioning on the local excitation field

2020/11 The Graduate Journal of Mathematics - Autour d'un problème extrémal étudié par Edmund Landau

2020/10 - THE BUILD-UP CONSTRUCTION OVER A COMMUTATIVE NON-UNITAL RING

2020/10 International Mathematics Research Notices - Relative trace formula for compact quotient and pseudocoefficients for relative discrete series

2020/09 Journal of Algebra - Translation by the full twist and Deligne-Lusztig varieties

2020/08 - Multiplication in finite fields with Chudnovsky-type algorithms on the projective line

2020/07 - A calculus of expandable stores

2020/06 - Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory

2020/06 - Blind Transfer of Personal Data Achieving Privacy

2020/05 Theory and Applications of Categories - The folk model category structure on strict $\omega$-categories is monoidal

2020/05 Canadian Journal of Mathematics - Données endoscopiques d'un groupe déductif connexe: applications d'une construction de Langlands

2020/04 - Donn\'ees endoscopiques d'un groupe r\'eductif connexe: applications d'une construction de Langlands

2020/03 - Dependent Type Theory in Polarised Sequent Calculus (abstract)

2020/03 Compositio Mathematica - Matching of orbital integrals (transfer) and Roche Hecke algebra isomorphisms

2020/02 Transactions of the American Mathematical Society - Constructing hyperelliptic curves with surjective Galois representations

2020/02 - Quantum emitters based on polymeric structures embedded with quantum dots fabricated via photo-polymerization

2020/01 - Revisiting the duality of computation: an algebraic analysis of classical realizability models

2020/01 - Deterministic Integration of Quantum Emitters by Direct Laser Writing using Two-Photon Polymerization

2020/01 Higher Structures - A Quillen's Theorem A for strict $\infty$-categories II: the $\infty$-categorical proof

2020/01 Mémoires de la Société Mathématique de France - Joint et tranches pour les $\infty$-catégories strictes

2020/01 Asterisque - A local trace formula for the Gan-Gross-Prasad conjecture for unitary groups: the Archimedean case

2020/01 Mathematics - A New Secret Sharing Scheme Based on Polynomials over Finite Fields

2020/01 Proyecciones : Revista de Matemática - Quasi Self-dual Codes over Non-Unital Rings of Order Six

2020/01 Proyecciones : Revista de Matemática - Type IV codes over a non-local non-unital ring

2020/01 Journal of Mathematical Cryptology - Orienting supersingular isogeny graphs

2020/01 Annals of Mathematics - Unitriangular shape of decomposition matrices of unipotent blocks

2020/01 Soft Matter - Precise control of the size and gap between gold nanocubes by surface-based synthesis for high SERS performance

2020/01 Photonics research - Towards the integration of nanoemitters by direct laser writing on optical glass waveguides

2019/12 Journal of Number Theory - Central morphisms and cuspidal automorphic representations

2019/12 Journal of Number Theory - Morphismes Centraux, appendice à l'article de Jean-Pierre Labesse et Joachim Schwermer "Central morphisms and cuspidal automorphic representations

2019/10 - Unitriangular Shape of Decomposition Matrices of Unipotent Blocks

2019/09 - Une formation d'ingénieurs dédiée à des personnes en situation de handicap

2019/09 Transactions of the American Mathematical Society - Bounding Harish-Chandra series

2019/08 - Hybrid plasmonic nanosystem with controlled position of quantum emitters (Conference Presentation)

2019/07 Logical Methods in Computer Science - Normalizing the Taylor expansion of non-deterministic λ-terms, via parallel reduction of resource vectors

2019/07 Mathematical Proceedings of the Cambridge Philosophical Society - The dendroidal category is a test category

2019/06 - On the scalar complexity of Chudnovsky multiplication algorithm in finite fields

2019/06 Contemporary mathematics - A note on the minimal level of realization for a {${\rm mod}\,\ell$} eigenvalue system

2019/06 - Automorphic Forms and Related Topics

2019/06 - On the tensor rank of multiplication in finite extensions of finite fields and related issues in algebraic geometry

2019/05 Journal of the Institute of Mathematics of Jussieu - INTÉGRALES ORBITALES SUR GL(N,{\Bbb F}_q((t)))

2019/04 Duke Mathematical Journal - A Local Trace Formula for the Generalized Shalika Model

2019/04 Applied Physics Letters - Hybrid plasmonic nanosystem with controlled position of nanoemitters

2019/04 Journal of the London Mathematical Society - A Quillen Theorem B for strict ∞‐categories

2019/03 ACM Transactions on Programming Languages and Systems (TOPLAS) - A Classical Sequent Calculus with Dependent Types

2019/01 - Continuation-and-environment-passing style translations: a focus on call-by-need

2019/01 Journal de Théorie des Nombres de Bordeaux - Computing $\protect \mathcal{L}$-invariants via the Greenberg–Stevens formula

2019/01 Journal de Théorie des Nombres de Bordeaux - Computing $\protect \mathcal{L}$-invariants via the Greenberg–Stevens formula

2019/01 - Arithmetic Geometry: Computation and Applications

2019/01 Acta Arithmetica - Maximal Differential Uniformity Polynomials

2019/01 Aequationes Mathematicae - Sur certaines équations fonctionnelles approchées, liées à la transformation de Gauss

2019/01 Bulletin of the Belgian Mathematical Society - Simon Stevin - Fonctions arithmétiques multiplicativement monotones

2019/01 Asterisque - Progrès récents sur les conjectures de Gan-Gross-Prasad (d'après Jacquet-Rallis, Waldspurger, W. Zhang, etc.)

2019/01 Transactions of the American Mathematical Society - Geometric side of a local relative trace formula

2019/01 Israel Journal of Mathematics - On the reducibility of induced representations for classical p-adic groups and related affine Hecke algebras

2019/01 Proc. Amer. Math. Soc. - The value of the global intertwining operators on spherical vectors

2019/01 The Open Book Series - Arithmetic statistics of Galois groups

2019/01 Journal of the European Mathematical Society - The Brauer trees of unipotent blocks

2018/11 - Chiral plasmonic effects probed at the single-nanoparticle level

2018/10 Inventiones Mathematicae - On distinguished square-integrable representations for Galois pairs and a conjecture of Prasad

2018/09 - A preview of a tutorial on L (polarized μμ-tilde)

2018/09 - An application of parallel cut elimination in unit-free multiplicative linear logic to the Taylor expansion of proof nets

2018/09 Journal of Algebra - Appendix: Non-uniqueness of supercuspidal support for finite reductive groups

2018/08 - Energy transfer of emitters assisted by surface plasmons

2018/08 - Integration of Luminescent Nanostructures to Optical Waveguides by Two Photon Polymerization

2018/08 - Chiral plasmonic effects probed at the single-nanoparticle level

2018/08 Mathematical Structures in Computer Science - Transport of finiteness structures and applications

2018/07 - Formalizing Implicative Algebras in Coq

2018/07 - A sequent calculus with dependent types for classical arithmetic

2018/07 - Coherence of Gray Categories via Rewriting

2018/06 - 3D nanostructuring of functional photopolymers for photonics and sensing

2018/06 - Towards energy transfer of nanoemitters assisted by surface plasmons

2018/05 Journal of Pure and Applied Algebra - Differential uniformity and second order derivatives for generic polynomials

2018/04 - Realizability Interpretation and Normalization of Typed Call-by-Need λ-calculus With Control

2018/04 Advances in Mathematics - Un théorème A de Quillen pour les ∞-catégories strictes I : la preuve simpliciale

2018/04 Mathematische Annalen - Neighborhoods at infinity and the Plancherel formula for a reductive p-adic symmetric space

2018/04 - Lectures on modular Deligne--Lusztig theory

2018/03 - A Classical Sequent Calculus with Dependent Types

2018/02 - Lattices with exponentially large kissing numbers

2018/02 Inventiones Mathematicae - Modular irreducibility of cuspidal unipotent characters

2018/01 Symmetry, Integrability and Geometry : Methods and Applications - Alvis-Curtis Duality for Finite General Linear Groups and a Generalized Mullineux Involution

2018/01 - Relative Aspects in Representation Theory, Langlands Functoriality and Automorphic Forms

2018/01 Annales Scientifiques de l'École Normale Supérieure - Le lemme fondamental pour l'endoscopie tordue: réduction aux éléments unités

2018/01 Logical Methods in Computer Science - Study of behaviours via visitable paths

2018/01 - A general strategy for 1D and 3D patterning nanoparticles on functionalized polymer micro-templates

2017/11 - Classical realizability and side-effects

2017/11 - Hypersurfaces in weighted projective spaces over finite fields with applications to coding theory

2017/11 Mathematics of Computation - Arithmetic in finite fields based on the Chudnovsky-Chudnovsky multiplication algorithm

2017/11 Pacific Journal of Mathematics - A local relative trace formula for PGL(2)

2017/11 Applicable Algebra in Engineering, Communication and Computing - Hamming distances from a function to all codewords of a Generalized Reed-Muller code of order one

2017/09 IEEE Transactions on Computers - Optimization of Tree Modes for Parallel Hash Functions : A case study

2017/08 - Taylor expansion, β-reduction and normalization

2017/07 Comptes Rendus. Mathématique - On the construction of the asymmetric Chudnovsky multiplication algorithm in finite fields without derivated evaluation

2017/07 - Normalization and continuation-passing-style interpretation of simply-typed call-by-need λ-calculus with control

2017/06 - 3D nanostructured hybrid materials for photonics and sensing applications

2017/06 - Immobilisation of GNPs on 1D, 2D AND 3D polymer microtemplates

2017/06 Mathematical Structures in Computer Science - Transcendental syntax I: deterministic case

2017/04 Moscow Journal of Combinatorics and Number Theory - Sur la variation totale de la suite des parties fractionnaires des quotients d'un nombre réel positif par les nombres entiers naturels consécutifs

2017/04 - Twisted mu_4-normal form for elliptic curves

2017/04 - A Classical Sequent Calculus with Dependent Types

2017/03 Asterisque - Représentations des espaces tordus sur un groupe réductif connexe p-adique

2017/02 - The constant term of tempered functions on a real spherical space

2017/01 Ramanujan Journal - Thue equations and CM-fields

2017/01 Contemporary mathematics - Optimal and maximal singular curves

2017/01 IACR Transactions on Symmetric Cryptology - Asymptotic Analysis of Plausible Tree Hash Modes for SHA-3

2017/01 Transactions of the American Mathematical Society - On the generic local Langlands correspondence for GSpin groups

2017/01 - Arithmetic, Geometry, Cryptography and Coding Theory

2017/01 - Théorie de la mesure et de l'intégration - Cours et exercices corrigés

2017/01 Compos.Math. - The p-adic Gross-Zagier formula on Shimura curves

2016/12 - Local cyclic homology of group Banach algebras I: Hyperbolic groups

2016/12 Research in Number Theory - Residual representations of semistable principally polarized abelian varieties

2016/11 - On The Effective Construction of Asymmetric Chudnovsky Multiplication Algorithms in Finite Fields Without Derivated Evaluation

2016/09 - Spherical character of a supercuspidal representation as weighted orbital integral

2016/09 - Le théorème des nombres premiers

2016/09 Mémoires de la Société Mathématique de France - La conjecture locale de Gross-Prasad pour les représentations tempérées des groupes unitaires

2016/08 - Polymer functionalization for the assembly of gold nanoparticles on 1D, 2D and 3D microstructures

2016/06 - A continuation-passing-style interpretation of simply-typed call-by-need λ-calculus with control within System F

2016/06 - Sur la variation quadratique totale de la suite des parties fractionnaires des quotients d'un nombre réel positif par les nombres entiers naturels consécutifs

2016/05 - Intégrales orbitales sur $GL(N,{\Bbb F}_q((t)))$

2016/05 Graphs and Combinatorics - Free choosability of outerplanar graphs

2016/04 - Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ -terms

2016/02 Pacific Journal of Mathematics - A short proof of the existence of supercuspidal representations for all reductive $p$-adic groups

2016/02 Manuscripta mathematica - A note on Standard Modules and Vogan L-packets

2016/01 - Caractères tordus des représentations admissibles

2016/01 Algebra & Number Theory - Modular elliptic curves over real abelian fields and the generalized Fermat equation x2ℓ+ y2m= zp

2016/01 Glasgow Mathematical Journal - On the number of rational points on Prym varieties over finite fields

2016/01 Comptes rendus de l'Académie des sciences. Série I, Mathématique - Effective arithmetic in finite fields based on Chudnovsky's multiplication algorithm

2016/01 Journal of Algebra and Its Applications - On the construction of elliptic Chudnovsky-type algorithms for multiplication in large extensions of finite fields

2016/01 - Frobenius Distributions: Lang-Trotter and Sato-Tate Conjectures

2016/01 - 25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016, August 29 - September 1, 2016, Marseille, France

2016/01 Mathematical Structures in Computer Science - Classical realizability and arithmetical formulæ

2016/01 - Dependent Types and Multi-Monadic Effects in F*

2016/01 RSC Advances - A general strategy to incorporate a wide range of metallic salts into ring-like organized nanostructures via polymer self-assembly

2015/12 - On the unramified spherical automorphic spectrum

2015/11 - Le lemme fondamental pour l'endoscopie tordue: le cas où le groupe endoscopique non ramifié est un tore

2015/11 - Transcendental syntax 2: non deterministic case

2015/11 - Ludics Characterization of Multiplicative-Additive Linear Behaviours

2015/11 - La transformée de Fourier pour les espaces tordus sur un groupe réductif p-adique

2015/10 Mathematische Zeitschrift - On Serre’s uniformity conjecture for semistable elliptic curves over totally real fields

2015/10 Moscow Mathematical Journal - Sur une équation fonctionnelle approchée due à J. R. Wilton

2015/09 - On the Doubly Sparse Compressed Sensing Problem

2015/08 - Local Langlands Correspondence for Classical Groups and Affine Hecke Algebras

2015/08 - Organized metallic nanostructures via polymer self-assembly

2015/08 - What could interaction mean in natural language and how could it be useful?

2015/08 - Twisted Hessian Curves

2015/07 Compositio Mathematica - Endoscopie et conjecture raffinée de Gan-Gross-Prasad pour les groupes unitaires

2015/06 - Géométrie projective

2015/06 - Locally recoverable codes on algebraic curves

2015/05 - Toward dependent choice: a classical sequent calculus with dependent types

2015/04 - Realizability games for arithmetical formulæ

2015/03 - Le type d'homotopie de la \infty-catégorie associée à un complexe simplicial

2015/02 - Fonctions de Möbius -Formule de Rota

2015/01 Mathematische Zeitschrift - On autoequivalences of the (\infty, 1)-category of \infty-operads

2015/01 Cahiers de topologie et géométrie différentielle catégoriques - Structures de catégorie de modèles à la Thomason sur la catégorie des 2-catégories strictes

2015/01 Journal of Number Theory - Cyclotomy of Weil Sums of Binomials

2015/01 Moscow Mathematical Journal - On the maximum number of rational points on singular curves over finite fields

2015/01 Computers and Security - New models for efficient authenticated dictionaries

2015/01 - The geometry of efficient arithmetic on elliptic curves

2015/01 Moscow Mathematical Journal - Effective bounds on class number and estimation for any step of towers of algebraic function fields over finite fields

2015/01 Journal of Pure and Applied Algebra - On the Number of Points of Algebraic Sets over Finite Fields

2015/01 Moscow Mathematical Journal - Lower Bounds on the number of rational points of Jacobians over finite fields and application to algebraic function fields in towers.

2014/10 Canadian Journal of Mathematics - Expression d'un facteur epsilon de paire par une formule intégrale

2014/10 Transactions of the American Mathematical Society - Constant term of Eisenstein integrals on a reductive p-adic symmetric space

2014/07 - Divergence in Dialogues *

2014/06 - Théorie des nombres et cryptographie

2014/06 - Authenticated Dictionary Based on Frequency

2014/06 Journal of the London Mathematical Society - A local-global principle for isogenies of prime degree over number fields

2014/05 - La Ludique : une théorie de l'interaction, de la logique mathématique au langage naturel

2014/01 Advances in Mathematics - Vers une structure de catégorie de modèles à la Thomason sur la catégorie des n-catégories strictes

2014/01 Journal of K-theory - Higher quasi-categories vs higher Rezk spaces

2014/01 Comptes rendus de l'Académie des sciences. Série I, Mathématique - Cyclotomie des sommes de Weil binomiales

2014/01 Discrete Applied Mathematics - Every triangle-free induced subgraph of the triangular lattice is $(5m,2m)$-choosable

2014/01 - Authenticated dictionary based on frequency

2014/01 Journal of Lie Theory - Wave packets in the Schwartz space of a reductive p-adic symmetric space

2014/01 LMS Journal of Computation and Mathematics - On the quaternion $\ell$-isogeny path problem

2014/01 Asterisque - The Baum-Connes conjecture with coefficients for word-hyperbolic groups (after Vincent Lafforgue)

2014/01 - 13th International Symposium on Parallel and Distributed Computing ISPDC 2014, IEEE Computer Society, 2014

2014/01 Designs, Codes and Cryptography - On low weight codewords of generalized affine and projective Reed-Muller codes.

2013/11 The Baltic International Yearbook of Cognition, Logic and Communication - ARGUMENTATION AND INFERENCE: A UNIFIED APPROACH

2013/10 - Images of Galois representations

2013/09 - Le fait religieux dans les constitutions des États arabes

2013/09 - La transformée de Fourier pour les espaces tordus sur un groupe réductif p-adique I. Le théorème de Paley-Wiener

2013/06 - Inferences and Dialogues in Ludics

2013/05 - Sur l'autocorrélation multiplicative de la fonction "partie fractionnaire" et une fonction définie par J. R. Wilton

2013/04 - Programmes, preuves et fonctions : le ménage à trois de Curry-Howard

2013/04 - Randomnes in Cryptography

2013/04 - A Digital Signature Scheme Based on Two Hard Problems

2013/02 - La formule des traces tordue d'après le Friday Morning Seminar

2013/01 Theory and Applications of Categories - On homotopy types modelized by strict \infty-groupoids

2013/01 Journal of Pure and Applied Algebra - On the homotopy theory of Grothendieck \infty-groupoids

2013/01 Journal of Pure and Applied Algebra - Strict \infty-groupoids are Grothendieck \infty-groupoids

2013/01 - On a Conjecture of Helleseth

2013/01 Lecture Notes in Computer Science - On a conjecture of Helleseth

2013/01 Acta Arithmetica - On the number of points on abelian and Jacobian varieties over finite fields

2013/01 Designs, Codes and Cryptography - AES Side-Channel Countermeasure using Random Tower Field Constructions

2013/01 Annales de l'Institut Fourier - Formule de Plancherel pour les fonctions de Whittaker sur un groupe réductif p-adique

2013/01 American Journal of Mathematics - On the tempered L-function conjecture

2013/01 - Diagram rewriting and operads

2013/01 Logical Methods in Computer Science - Incarnation in Ludics and maximal cliques of paths

2013/01 - Algebraic Informatics, 5th International Conference on Algebraic Informatics, CAI 2013

2012/12 - Efficient arithmetic on elliptic curves in characteristic 2

2012/09 - Remarques élémentaires sur la fonction de Möbius

2012/07 - Ludics and Natural Language: First Approaches

2012/07 Journal of the Institute of Mathematics of Jussieu - Théorème de Paley-Wiener pour les fonctions de Whittaker sur un groupe réductif p-adique

2012/05 - La formule des traces tordue d'aprés le Friday Morning Seminar

2012/05 - Number of points on abelian and Jacobian varieties over finite fields

2012/05 - Cryptographie : principes et mises en oeuvre - 2e édition revue et augmentée

2012/04 - Coxeter orbits and Brauer trees III

2012/04 Advances in Mathematics - Coxeter orbits and Brauer trees

2012/01 Applied Categorical Structures - The groupoidal analogue Theta~ to Joyal's category Theta is a test category

2012/01 Comptes rendus de l'Académie des sciences. Série I, Mathématique - Sur le nombre de points rationnels des variétés abéliennes et des Jacobiennes sur les corps finis

2012/01 - Arithmetic, Geometry, Cryptography and Coding Theory 2011

2012/01 Advances and Applications in Discrete Mathematics - Vectorial solutions to list multicoloring problems on graphs

2012/01 Fundamenta Mathematicae - Comportement local moyen de la fonction de Brjuno

2012/01 - Normativity in Logic

2012/01 Journal of Algebra - Algébres de Hecke avec paramétres et représentations d'un groupe p-adique classique: préservation du spectre tempéré

2012/01 LMS Journal of Computation and Mathematics - Complete addition laws on abelian varieties

2012/01 Mathématiques et Sciences Humaines - Un cadre formel issu de la théorie de la démonstration pour la théorie de l'argumentation

2012/01 Journal de Théorie des Nombres de Bordeaux - Lower bounds on the class number of algebraic function fields defined over any finite field. Journal de Théorie des nombres de Bordeaux.

2011/12 - Cohomology of Deligne-Lusztig varieties for groups of type A

2011/12 - Cohomology of Deligne-Lusztig varieties for short-length regular elements in exceptional groups

2011/12 - Quotient of Deligne-Lusztig varieties

2011/12 - Counting Points on Genus 2 Curves with Real Multiplication

2011/12 - Guest editorial for the special issue for Jacques Wolfmann

2011/09 METHODS OF FUNCTIONAL ANALYSIS AND TOPOLOGY - Factor representations of infinite semi-direct products

2011/09 - The blind spot

2011/05 - Choosability of a weighted path and free-choosability of a cycle

2011/04 Theoretical Computer Science - Geometry of Interaction V: Logic in the hyperfinite factor

2011/03 - L’emploi de la cryptographie pour la sécurisation des données sur clés USB

2011/01 Homology, Homotopy and Applications - The Brown-Golasinski model structure on strict $\infty$-groupoids revisited

2011/01 - Cryptography and Communications

2011/01 International Journal On Advances in Networks and Services - Unifom Generators and Combinatorial Design

2011/01 Journal für die reine und angewandte Mathematik - Analytic R-groups of affine Hecke algebras

2011/01 Pacific Journal of Mathematics - An analogue of the Cartan decomposition for p-adic symmetric spaces of split p-adic reductive groups

2011/01 Selecta Mathematica (New Series) - Opérateurs d'entrelacement et algèbres de Hecke avec paramètres d'un groupe réductif p-adique - le cas des groupes classiques

2011/01 Journal of Number Theory - Addition law structure of elliptic curves

2011/01 - Arithmetic of split Kummer surfaces: Montgomery endomorphism of Edwards products

2011/01 - On the stabilization of the trace formula.

2011/01 - Orbital integrals and distributions

2011/01 - Endoscopy and change of characteristic after J.-L. Waldspurger

2011/01 Mémoires de la Société Mathématique de France. Nouvelle Série - Changement de base et induction automorphe pour ${\rm GL}_n$ en caractéristique non nulle

2011/01 J. K-theory - Finitely summable Fredholm modules over higher rank groups and lattices

2011/01 - The Chern-Connes character is not rationally injective

2011/01 Synthese - Figures of dialogue : a view from Ludics

2011/01 - Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

2011/01 Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences - A note on a Yao's theorem about pseudo-random generators.

2011/01 - On the tensor rank of multiplication in finite extensions of finite fields

2011/01 Publications Mathématiques de Besançon : Algèbre et Théorie des Nombres - Families of curves over any finite field attaining the generalized Drinfeld-Vladut bound.

2011/01 Comptes rendus hebdomadaires des séances de l'Académie des sciences - Minoration du nombre de classes des corps de fonctions algébriques définis sur un corps fini.

2010/11 Lecture Notes in Computer Science - Ludics and Rhetorics

2010/11 - Coxeter orbits and Brauer trees II

2010/09 - A Key Forwarding Protocol for Secure Communicating Systems

2010/09 Journal of Topology and Analysis - Finitely generated infinite simple groups of infinite square width and vanishing stable commutator length

2010/06 Mathématiques et Sciences Humaines - Pour une étude du langage via l'interaction

2010/06 Advances in Mathematics - A folk model structure on omega-cat

2010/06 - Extended core and choosability of a graph

2010/06 - Géométrie des variétés de Deligne-Lusztig, décompositions, cohomologie modulo \ell et représentations modulaires

2010/01 Contemporary mathematics - Differentially 4-uniform functions

2010/01 Contemporary mathematics - A few more functions that are not APN infinitely often

2010/01 International Journal of Number Theory - Sur un critère de Baez-Duarte pour l'hypothèse de Riemann

2010/01 - Arithmetic, Geometry, Cryptography and Coding Theory 2009

2010/01 American Journal of Mathematics - Sur le dual unitaire de GLr(D)

2010/01 Geometric And Functional Analysis - New holomorphically closed subalgebras of C*-algebras of hyperbolic groups

2010/01 Mathématiques et Sciences Humaines - Pour une étude du langage via l'interaction : dialogue et sémantique en ludique

2010/01 Acta Arithmetica - On the existence of dimension zero divisors in algebraic function fields defined over F_q.

2010/01 Acta Arithmetica - On the existence of dimension zero divisors in algebraic function fields defined over Fq

2010/01 Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences - The second weight of generalized Reed-Muller codes in most cases

2009/09 - A Non-Uniform Finitary Relational Semantics of System T

2009/07 - Differential linear logic and polarization

2009/06 Journal of Pure and Applied Algebra - Polygraphic resolutions and homology of monoids

2009/06 Lecture Notes in Artificial Intelligence - Ludics and its Applications to natural Language Semantics

2009/05 - L'ORGANISATION DE LA CRYPTOLOGIE MODERNE

2009/05 - Primitive recursion in finiteness spaces

2009/04 Comptes Rendus. Mathématique - Sur l'infimum des parties réelles des zéros des sommes partielles de la fonction zêta de Riemann

2009/01 International Mathematics Research Notices - Paramètres de Langlands et Algèbres d'entrelacement

2009/01 Journal of the Institute of Mathematics of Jussieu - Interprétation de l'Arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle

2009/01 Münster Journal of Mathematics - Die universelle unbeschraenkte Derivation

2009/01 Mathematical Structures in Computer Science - The algebraic lambda-calculus

2009/01 Annales Scientifiques de l'École Normale Supérieure - Deligne-Lusztig restriction of a Gelfand-Graev module

2008/12 - Signaux discrets périodiques

2008/07 - Note on the Deodhar decomposition of a double Schubert cell

2008/07 - Notes de lecture de l'article "Partial sums of the Möbius function" de Kannan Soundararajan

2008/01 - On the semiprimitivity of irreducible cyclic codes

2008/01 Journal of Number Theory - On some questions related to the Gauss conjecture for function fields

2008/01 On Number Theory and its Applications - On the semiprimitivity of cyclic codes

2008/01 Archiv der Mathematik - Sur la fonction sommatoire de la fonction de von Mangoldt généralisée

2008/01 Journal of Algebra - Higher-dimensional 3-adic CM construction

2008/01 Geometric And Functional Analysis - Characters of Fredholm modules and a problem of Connes

2008/01 Theoretical Computer Science - Uniformity and the Taylor expansion of ordinary lambda-terms

2007/12 - A folk model structure on omega-cat

2007/11 - λ-calcul différentiel et logique classique : interactions calculatoires

2007/11 Annals of Telecommunications - annales des télécommunications - Threshold signature for distributed time stamping scheme

2007/06 - Convolution lambda-bar-mu-calculus

2007/06 - On linear combinations of lambda-terms

2007/01 - Une introduction à la Ludique et à ses applications à la Pragmatique

2007/01 Math. Zeitschr. - Standard Modules Conjecture

2007/01 International Journal of Algebra and Computation - Finitely generated infinite simple groups of infinite commutator width

2007/01 Transactions of the American Mathematical Society - On torsion-free groups with finite regular file bases

2007/01 The Bulletin of Symbolic Logic - Independence property and hyperbolic groups

2007/01 Theoretical Computer Science - The differential lambda-mu-calculus

2006/12 - The 2-adic CM method for genus 2 curves with application to cryptography

2006/11 Theoretical Computer Science - Differential interaction nets

2006/07 - Efficiently Computable Endomorphisms for Hyperelliptic Curves

2006/06 - Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms

2006/06 Annals of Telecommunications - annales des télécommunications - Secure time-stamping schemes: a distributed point of view

2006/01 Bulletin of the Greek Mathematical Society - Class number in non Galois quartic and non abelian Galois octic function fields over finite fields

2006/01 Lecture Notes in Computer Science - On the weights of binary irreducible cyclic codes

2006/01 - On the weight of binary irreducible cyclic codes

2006/01 Functiones et Approximatio Commentarii Mathematici - Sur les dilatations entières de la fonction partie fractionnaire

2006/01 Journal für die reine und angewandte Mathematik - Unipotent Orbits and Local L-functions

2006/01 Bull. Soc. Math. France - Une remarque sur le degré formel d'une série discrète d'un groupe linéaire général p-adique

2006/01 Canad. J. Math. - Orbites unipotentes et pôles d'ordre maximal de la fonction µ de Harish-Chandra

2006/01 Bulletin of the London Mathematical Society - The Weierstrass subgroup of a curve has maximal rank

2006/01 Journal für die reine und angewandte Mathematik - Excision and the Hodge filtration in periodic cyclic homology: the case of splitting and invertible extensions.

2005/01 - On the weight of binary irreducible cyclic codes

2005/01 - Arithmetic, Geometry and Coding Theory

2005/01 Communications in Algebra - Diagrams with selection and method for constructing boundedly generated and boundedly simple groups

2005/01 Annals of Pure and Applied Logic - Polarized and focalized linear and classical proofs

2005/01 - On an application of the definition field descent of a tower of function fields

2005/01 - Cryptographie : Principes et mise en oeuvre

2004/01 Finite Fields and Their Applications - On the characteristic polynomials of the Frobenius endomorphism for projective curves over finite fields

2004/01 Archiv der Mathematik - Divisibility of zeta functions of curves in a covering

2004/01 Journal of Functional Analysis - Filtration de certains espaces de fonctions sur un espace symétrique réductif

2004/01 Lecture Notes in Computer Science - An introduction to uniformity in Ludics

2003/12 Theoretical Computer Science - The differential lambda-calculus

2003/09 IEEE Transactions on Information Theory - Cubic self-dual binary codes

2003/08 Discrete Mathematics - Splitting the shadow

2003/01 Documenta Mathematica - Diffeotopy functors of ind-algebras and local cyclic cohomology

2003/01 - About Translations of Classical Logic into Polarized Linear Logic

2002/12 - Variétés algébriques et corps de fonctions sur un corps fini

2002/07 Inventiones Mathematicae - The Kadison-Kaplansky conjecture for word-hyperbolic groups

2001/10 Discrete Mathematics - Tricolore 3-designs in Type III codes

2001/02 Inventiones Mathematicae - Excision in cyclic homology theories

2000/05 - Broadcasting in Hypercubes under Circuit Switched Model

2000/04 Finite Fields and Their Applications - Group structure on projective spaces and cyclic codes over finite fields

1999/05 IEEE Transactions on Information Theory - Decoding of cyclic codes over F/sub 2/+uF/sub 2

1999/01 Journal of Number Theory - Imaginary bicyclic biquadratic function fields in characteristic two

1999/01 Annales de l'Institut Fourier - Symmetric flows and broadcasting in hypercubes

1998/05 Rendiconti del Circolo Matematico di Palermo - Une remarque sur la fonction D’euler

1998/01 K-Theory - Explicit product structures in cyclic homology theories

1998/01 Journal of Pure and Applied Algebra - Polynômes homogènes à plusieurs variables sur un corps fini Fq qui s'annulent sur l'espace projectif Pm (Fq)

1998/01 Journal of Pure and Applied Algebra - Codage & cryptage

1997/08 - Timeless games

1997/01 Fields Institute Communications - A survey of asymptotic cyclic cohomology

1996/01 Contemporary mathematics - A Weil theorem for singular curves

1996/01 Lecture Notes Series London Mathematical Society - Class number in totally imaginary extensions of totally real function fields

1996/01 - Asymptotic cyclic cohomology

1995/01 Manuscripta mathematica - Coverings of singular curves over finite fields

1994/02 - Représentations p-adiques et corps locaux proches

1992/01 Lecture Notes in Mathematics - Reed-Muller codes associated to projective algebraic varieties

1992/01 - Algebraic geometric codes on surfaces

1991/01 - On the unity of logic

1991/01 - A New constructive logic : classical logic

1990/01 Annales de l'Institut Fourier - Unimodalité de la distribution du nombre de diviseurs premiers d'un entier

1989/01 Bulletin de la société mathématique de France - Remarques sur un théorème de G. Halász et A. Sárközy

1985/01 Archive for Mathematical Logic - Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs

1984/01 The Journal of Symbolic Logic - Functors and ordinal notations I : a functorial construction of the Veblen hierarchy

1984/01 Journal of Symboloic Logic - Functors and ordinal notations II : a functorial construction of the Bachmann hierarchy

1983/01 - Five Conferences on Undecidability

Toutes les publications de l'équipe sont disponibles sur la collection I2M de la plateforme en ligne :

HAL

Bilan quantitatif
Depuis le 1er juillet 2016

A venir.

Période 2011-2016

Environ 140 publications dans des revues internationales.

Publications majeures
Depuis le 1er juillet 2016

A venir.

Période 2011-2016
1) E. Lau, Marc-Hubert Nicole, A. Vasiu, Stratificatoins of Newton polygon strata and Traverso’s conjectures for p-adivisble groups, Annals of Mathematics, vol. 178, pp. 789—834, 2013.

2) Emmanuel Beffara, A proof theoretic-view on scheduling in concurrency, in Classical Logic and Computations 2014, pp. 78—92, Electronic Proceedings in Theoretical Computer Science, vol. 164, 2014.

3) Stéphane Ballet, Robert Rolland, Seher Tutdere, Effective bounds on class number and estimation for any step of towers of algebraic function fields over finite fields, Moscow mathematical journal, Vol. 15(4), pp. 653-677 (2015).

4) L. Fehér, Ctirad Klimcik, Poisson-Lie Interpretation of Trigonometric Ruijsenaars Duality, Communications in Mathematical Physics, vol. 301, pp. 55-104, 2011.

5) Dimitri Ara, Higher quasi-categories vs higher Rezk spaces, Journal of K Theory 14(3) (2014), 701-749.

Documents majeurs
(autres que les publications) produits par l’entité (par exemple : rapport d’expertise, logiciel, corpus, protocole, brevet en licence d’exploitation…)
Depuis le 1er juillet 2016

A venir.

Période 2011-2016
J.-Y. Girard, The Blind Spot, Lectures on Logic, European Mathematical Society, 550 pages, 2011.

J.-P. Labesse, J.-L. Waldspurger, La formule des traces tordu d’après le Friday Morning Seminar, CRM Monograph Series Vol 31, AMS et Centre de Recherche de Mathématiques, 234 pp., 2013.

Séminaire et Groupes de travail
Manifestations scientifiques

tableau en cours de saisie des données…

2022
2021
2020
2019
2018
2017
2016
2015
2014
2022

Incoming


iCal

2023-09-18 ConferenceAutomorphic forms, endoscopy and trace formulas
2023-09-25 ConferenceSingularities
2023-09-25 WorkshopRandom Energy Model and Random Complex Functions
2023-09-26 WorkshopGANDA - Geometry AND Arithmetric in Marseille
2023-09-28 Antoine Allioux, Lison Blondeau-Patissier, William SimmonsSéminaire Chocola à Lyon

Past events


2022-12-12SchoolÉcole d'hiver d'Aussois 2022
2022-12-12ConferenceMeeting in Mathematical Statistics 2022
2022-12-13JournéeJournée thématique Hyperbo 2022 - Mécanique des fluides
2022-12-05WorkshopTIFREFUS: Time-frequency representations in functions spaces
2022-11-28WorkshopSpectral analysis of Dirac operators
2022-12-05PairsDiscrete Fracture Networks (Morlet Chair - Martin Gander)
2022-12-09ColloquiumDe l'utilité des sommes de Kloosterman (par Étienne FOUVRY)
2022-12-06WorkshopTowards a Linear Logic Handbook
2022-12-05JournéeJournée d'Analyse Harmonique 2022
2022-12-01JournéeJournée thématique "Processus ponctuels en traitement du signal et image"
2022-11-28WorkshopInverse Problems and Related Fields (IPRF 2022)
2022-11-25ColloquiumPourquoi raconter des mathématiques à un ordinateur ? (par Patrick MASSOT)
2022-11-24 RencontreCurry-Howard : Calcul et Logique (novembre 2022)
2022-11-08JournéeJournée d'équipe AA
2022-10-31WorkshopLes Cigales 2022, une semaine autour des mathématiques pour les lycéennes (édition de la Toussaint)
2022-11-02WorkshopCombinatorics of finite-index subgroups
2022-10-26SchoolÉcole 2022 du GdR MathGeoPhy
2022-10-23PairsOptimized Discrete Schwarz Methods for Anisotropic Elliptic Problems (Morlet Chair - Martin Gander)
2022-10-24WorkshopComputational Methods for Unifying Multiple Statistical Analyses (Fusion)
2022-10-17WorkshopDiscrete Duality Finite Volume Method and Applications (Morlet Chair - Martin Gander)
2022-10-13Journée2ème Journée de l'équipe Analyse Appliquée 2022
2022-10-12JournéesJournées LHC 2022 — Logique, Homotopie, Catégories (4ème édition)
2022-09-19SchoolÉcole Mathématique Africaine (EMA 2022)
2022-09-26ConferenceMachine Learning in Insurance Sector Targeted to Risk Analysis and Losses (MLISTRAL 2022)
2022-09-22RencontreRencontre mensuelle “CHoCoLa” Curry-Howard : Calcul et Logique
2022-09-14JournéeSystèmes Dynamiques Avignon-Marseille (SDAM 2022)
2022-09-05SchoolDomain Decomposition for Optimal Control Problems (Morlet Chair - Martin Gander)
2022-08-22ResidenceGeneralised coupling conditions for arbitrary flow directions at the fluid-porous interface
2022-08-29School5th Summer School of the Institute for Language, Communication and the Brain
2022-08-31Journée1ère Journée Analyse Appliquée 2022
2022-07-18SchoolCEMRACS 2022: Transport in Physics, Biology and Urban Traffic
2022-08-08WorkshopBuilding Bridges 5th EU/US Summer School and Workshop on Automorphic Forms and Related Topics (BB5 2022)
2022-07-11ConferencePinT 2022: 11th Conference on Parallel-in-Time Integration (Morlet Chair - Martin Gander)
2022-07-04ResidenceCan you hear the shape of a polygonal billiard table?
2022-06-26RencontreRencontre autour des systèmes dynamiques (Porkroll 2022)
2022-06-24RencontreCENTURI Hackathon 2022
2022-06-24SchoolMaster Class: Mathématiques et Énergie
2022-06-20ConferenceSurfaces in 4-manifolds
2022-06-11WorkshopPreparation camp of the Ukrainian team for the International Maths Olympiades
2022-06-06ResidenceConvex Real Projective Structures
2022-06-09WorkshopSequential algorithms and friends
2022-06-10RencontresRencontres de Statistique Avignon-Marseille (8ème édition)
2022-05-23ResidenceGeneric Dynamics
2022-05-30SchoolMatemale Spring School 2022 : Witten's finiteness conjecture for skein modules
2022-05-30WorkshopNew trends in control and stabilization (ANR TRECOS)
2022-05-20ColloquiumAlgèbres de von Neumann, corrélations quantiques et calculabilité (par Mikael de la SALLE)
2022-05-09WorkshopRepresentation of prime numbers (ANR ArithRand)
2022-05-09ConferenceNonlinear PDEs in fluid dynamics (Morlet Chair - Matthias Hieber)
2022-05-05ForumAMUSEC 2022 (Aix-Marseille Forum on Cybersecurity - 6th edition)
2022-04-25WorkshopAnalysis of nematic liquid crystals flows (Morlet Chair - Matthias Hieber)
2022-04-25SchoolEntre topologie et algèbre : Noeuds, courbes algébriques et singularités (MASTER CLASS 2022)
2022-04-18WorkshopLes Cigales 2022, une semaine autour des mathématiques (édition de Printemps)
2022-04-11SchoolGroups acting on fractals
2022-04-11WorkshopFluid dynamics, from the non-local to the local Navier-Stokes-Korteweg system (ANR INFAMIE)
2022-04-04SchoolMathematical advances in geophysical flows (Morlet Chair - Matthias Hieber)
2022-04-04ConferenceA Tour of Arithmetic Geometry - A conference in honor of Bas Edixhoven’s 60th birthday 
2022-04-01ColloquiumLes majorantes pour une collection de variables aléatoires et la théorie de l'adaptation (par Oleg LEPSKI)
2022-03-31JournéeJournée Descartes - Une célébration de la géométrie
2022-02-21PairsKeller-Segel fluid systems on non-smooth domains (Morlet Chair - Matthias Hieber)
2022-02-21ConferenceLogic and higher structures (Thematic Month 2022)
2022-02-14ConferenceLogic, databases and complexity: new methods and challenges (Thematic Month 2022)
2022-02-07SchoolLogic and transdiciplinarity: Mathematics/Computer Science/Philosophy/Linguistics (Thematic Month 2022)
2022-02-04ColloquiumRéseaux spectraux et conditions de stabilité (par Carlos SIMPSON)
2022-01-31ConferenceLogic of Probabilistic Programming (Thematic Month 2022)
2022-01-24SchoolLinear Logic Winter School (Thematic Month 2022)
2022-01-17ConferenceRandom Geometry
2022-01-10WorkshopPeriods, functoriality and L-functions

2021

2020

2019

2018

2017

2016

2015

2014

Visiteurs
NomPositionOrigineNationalitéInvitant.eDébutFinFinancementGroupe
STREICHER ThomasProfessorTU DarmstadtALLEMAGNEREGNIER02/03/201930/03/2019I2MAGLR-LDP
OPDAM EricProfesseurUniv. Amsterdam, Pays BasPAYS-BASHEIERMANN02/12/201815/12/2018AMUAGLR-RGR
MOUSSAOUIProfesseurDep. Math & Stat, Univ. CalgaryCANADABEUZART-PLESSIS22/11/201824/11/2018AMIDEXAGLR-RGR
OPDAM EricProfessorAmsterdam Univ.PAYS-BASHEIERMANN20/05/201803/06/2018AMUAGLR-RGR
MANZONETTO GiulioProfesseurLIPN, Univ. Paris-NordITALEREGNIER19/02/201819/06/2018Fonds PropresAGLR-LDP
PETIT ChristopheProfessorBirmingham Univ.ROYAUME-UNIKOHEL01/02/201831/07/2018Fonds PropresAGLR-ATI
JOYAL AndréProfesseurUQUAMCANADAARA02/10/201730/10/2017AGLR-LDP
WILSONProfesseurJohn Hopkins Univ., USAETATS-UNISARA02/10/201720/10/2017AGLR-LDP
CIUBATORU DanProfesseurOxford UnivROMANIEHEIERMANN19/09/201701/10/2017AMUAGLR-RGR
LANARI EdoardoDoctorantMacquarie Univ.AUSTRALIEARA24/04/201724/06/2017AGLR-LDP
SCHOOF RenéProfesseurUniv. Roma 2ITALIEKOHEL23/04/201702/05/2017CNRS (FRUMAM)AGLR-ATI
CIUBATORU DanAssociate ProfessorOxford Univ.ROYAUME-UNIHEIERMANN26/03/201709/04/2017AMUAGLR-RGR
SCHOOF RenéProfesseurUniv. Roma 2ITALIEKOHEL26/03/201704/04/2017CNRS (FRUMAM)AGLR-ATI
SCHOOF RenéProfesseurUniv. Roma 2ITALIEKOHEL14/02/201705/03/2017CNRS (FRUMAM)AGLR-ATI
CHOUQUET JulesDoctorantUniv. Paris DiderotFRANCEEHRHARD01/10/201630/09/2017ANR RAPIDOAGLR-LDP
JOYAL André (wiki)Professeur émériteUQAM, MontréalCANADAARA19/09/201615/10/2016AMUAGLR-LDP
McCUSKER GuyProfessorUniv. of BathROYAUME-UNIVAUX12/09/201616/09/2016AGLR-LDP
LAIRD JimLecturerUniv. of BathROYAUME-UNIVAUX01/09/201630/11/2016CNRS (FRUMAM)AGLR-LDP
STREICHER ThomasProfessorDarmstadt Univ.ALLEMAGNEREGNIER05/09/201602/10/2016AMUAGLR-LDP
POULAKIS DimitriosProfessorAUTh, ThessalonikiGRECEBONNECAZE25/08/201623/09/2016AMUAGLR-ATI
OFFEN OmerAssociate ProfessorTechnion, HaifaISRAËLHEIERMANN15/09/2515/10/07AMUAGLR-RGR
LEE GunHoChercheurUC, BerkeleyETATS-UNISREGNIER16/05/201407/06/2014AGLR-LDP
Travail en petits groupes au CIRM

Content

Projets

ANR, GDR/GDRE, UMI, Réseaux et programmes, Chaire Morlet et autres projets,…

ANR
ERC
AMIDEX
GDR
PEPS
ERN
Réseaux
IRL
Chaire
Instituts
ANR

Projets financés par l'Agence Nationale pour la Recherche (ANR) / Projects funded by the French National Agency for Research

 

CodeIntituléChercheurs
I2M
PositionDébutFinLiensStatut
ANR MELODIAMéthodes pour les variétés abéliennes de petite dimension
Methods for Low Dimensional Abelian Varieties
Samuele AnniPartenariat2021/032025/02ANR
4 ans
en cours
ANR PPSSémantique des programmes probabilistes
Probabilistic program semantics
Lionel Vaux (local leader)
Pierre Clairambault
Charles Grellois
Partenariat2020/012023/12ANR
4 ans
en cours
ANR MANTAGéométrie algébrique et théorie des codes pour la cryptographie (Cybersécurité de la société et lutte contre la cybercriminalité)
Algebraic Geometry and Algebraic Coding Theory for Cryptography (Cybersecurity of society and fight against cybercrime)
Yves Aubry
AnnaMaria Iezzi
Elena Berardini
Participation2015/102018/09ANR
3 ans
terminé
ANR FERPLAYFormule des Traces Relative, Périodes, Fonctions L et Analyse Harmonique
Relative trace formula, periods, L-functions and harmonic analysis
Patrick Delorme
Sarah Dijols
Volker Heiermann
Jean-Pierre Labesse
Bertrand Lemaire
Coordination
Volker Heiermann
2014/022018/01ANR
4 ans
terminé
ANR CATHRECatégories, Homotopie et Réécriture Categories, Homotopy and RewritingMatteo Acclavio, Yves LafontParticipation2014/012017/12ANR
4 ans
terminé
ANR COQUASCalculer avec la Sémantique Quantitative COmputing with QUAntitative SemanticsLionel VauxParticipation2013/012015/12ANR
3 ans
terminé
ANR PEACEEspaces de paramètres pour une arithmétique efficace et une évaluation de la sécurité des courbes Parameter spaces for Efficient Arithmetic and Curve security EvaluationDavid KohelPartenariat2012/112015/10ANR
3 ans
terminé
ANR RECRERéalisabilité pour la logique classique, la concurrence, les références et la réécriture
Realizability for classical logic, concurrency, references and rewriting
Emmanuel Beffara, Laurent Regnier, Lionel VauxPartenariat2011/112015/10ANR
4 ans
terminé
ANR KIndK-théorie et théorie de l’Indice
K-theory and index theory
Michael PuschniggParticipation2010/122014/11ANR
4 ans
terminé
ANR LOCILocativité et Interaction en Logique, Langage et Informatique
Locativity and Interaction in Logic, Linguistics and Computer Sciences
Marie-Renée Fleury, Myriam Quatrini, Lionel VauxPartenariat2010/112014/10ANR
4 ans
terminé
ANR LOGOILogique et géométrie de l’interaction
Logic and Geometry of Interaction
Emmanuel Beffara, Jean-Yves Girard, Myriam Quatrini, Laurent Regnier, Lionel VauxPartenariat2010/112015/03ANR
4a5m
terminé

ERC

European Research Council (ERC) Funded Projects / Projets européens ERC

 

CodeIntituléPartenairesChercheurs
I2M
PositionDébutFinLiensStatut
ERC RELANTRARelative langlands functoriality, trace formulas and harmonic analysis-Raphaël Beuzart-PlessisCoordination
Raphaël Beuzart-Plessis
20222027DR Provence
ERC CORDIS
à venir

 

The ERC operates according to a "curiosity-driven", or "bottom-up", approach, allowing researchers to identify new opportunities in any field of research.

L'ERC fonctionne selon une approche «motivée par la curiosité» ou «ascendante», permettant aux chercheurs d'identifier de nouvelles opportunités dans n'importe quel domaine de recherche.

 

AMIDEX

1 établissement d'Aix-Marseille Initiative d'Excellence (AMIDEX) avec lequel l'I2M est en partenariat

 

AMI
AMI

Institut Archimède Mathématiques Informatique - AMI

 

Amplifier une dynamique interdisciplinaire et au cœur de la révolution numérique.

 

Comme les mathématiques sont le langage historique des sciences, l’informatique est en passe de devenir un langage universel. L’enjeu est de développer à Aix-Marseille un réseau d’excellence dans ces deux disciplines et de participer à la co-construction de nouveaux langages et méthodes scientifiques et technologiques. Les thématiques fortes de l’institut sont les sciences des données, l’intelligence artificielle et la sécurité. Tout en privilégiant ces axes prioritaires notamment via des collaborations avec les acteurs socio-économiques, l’institut Archimède Mathématiques-Informatique développe les recherches fondamentales en mathématiques et informatique préparant les révolutions numériques de demain. il s'agit de l'ancien LABEX Archimède.

 

​​​​​​​La fondation universitaire A*Midex porte l’Initiative d’Ex­cellence d’Aix-Marseille, lauréate du label national obtenu dans le cadre du PROGRAMME INVESTISSEMENTS D’AVE­NIR (PIA). Le projet Idex présenté par Aix-Marseille Univer­sité et ses partenaires (CNRS, Inserm, IRD, CEA, AP-HM, Sciences-Po Aix, Centrale Marseille) a été sélectionné en février 2012 par le jury international et confirmé définitive­ment en avril 2016.

Son objectif est de valoriser et développer le potentiel exceptionnel du site d’Aix-Marseille, en le dotant d’une recherche et d’un enseignement supérieur de rang mondial. A*Midex expérimente de nouvelles actions et fonctionne comme un levier stratégique de croissance pour le territoire.

Cette ambition se traduit par les objectifs suivants :

  • Renforcer et améliorer notre positionnement comme université de recherche intensive de pointe ;
  • Améliorer notre reconnaissance internationale comme établissement d’enseignement supérieur de haut niveau ;
  • Accroître notre utilité économique et sociétale au niveau national et international ;
  • Conforter notre renommée internationale.
GDR

Groupements de Recherche (GdR) / National Research Groups

 

CodeIntituléPartenairesChercheurs
I2M
PositionDébutFinLiensStatut
GDR hTop
(ex-TopAlg)
Théorie de l’homotopie et applications17 noeudsAra Dimitri
Yves Lafont
Delphine Moussard
Léo Hubert, doc
Andrea Gagna, postdoc
Coordination locale
Dimitri Ara
2022/012025/12INSMIen cours
GDR TLAGThéorie de Lie Algébrique et GéométriqueDelorme Patrick, Blanc Philippe, Heiermann Volker, Klimcik Ctirad, Labesse Jean-Pierre, Lemaire Bertrand, Nicole Marc-HubertCoordination locale
Patrick Delorme
2011/012018/12CNRS-INSMIen cours
GDR GNCGéométrie Non Commutative21 sites européens (France, Belgique, Allemagne, Suisse, Danemark)Kasparov Gennadi, Puschnigg Michael, Zecki Richard, Wassermann AntonyParticipation2006/012019/12CNRS-INSMIen cours
GDR TopAlgTopologie Algébrique et ApplicationsAra DimitriCoordination locale
Dimitri Ara
2005/012021/12CNRS-INSMIterminé
GDR STNStructuration de la Théorie des NombresLaurent Michel, Adamczewski Boris, Car Mireille, Cassaigne Julien, Ducet Virgile, Faure Henri, Heiermann Volker, Kohel David, Lachaud Gilles, Liardet Pierre, Lofredi Pierre, Louboutin Stéphane, Mauduit Christian, Munsch Marc, Nicole Marc-Hubert, Nogueira Arnaldo, Rivat Joël, Vladuts SergeCoordination locale Michel Laurent2003/012018/12CNRS-INSMIterminé
GDR IMInformatique MathématiqueGDAC, AGLR-LDP, Didier GillesParticipation1998/012021/12CNRS-INS2Ien cours

 

Le Groupement de recherche est un regroupement d’unités, en totalité ou en partie, et/ou de FRE et/ou d’ERL, relevant ou non du seul CNRS, autour d’un objectif scientifique avec une mise en commun totale ou partielle de leurs moyens.
Les GDR peuvent être propres au CNRS ou constitués en partenariat avec un ou plusieurs organismes(s) institutionnel(s) ou industriel(s). Les GDR sont créés pour une durée de deux à quatre ans renouvelable. Les unités participant à un GDR conservent leur individualité propre.

PEPS

Projets Exploratoires Premier Soutien (PEPS) / First Support Exploratory Projects

 

CodeIntituléPartenairesChercheurs
I2M
DébutFinLiensStatut
PEPS AMIESPorte-clés connecté (mathématiques des objets connectés)AMIES_2019/012019/12AMIES
Sopra
Steria
terminé
PEPS SFMStatistiques sur les Formes ModulairesSamuele Anni2019/012019/12INS2I
JCJC
terminé

 

Les PEPS (Projets Exploratoires Premier Soutien) interdisciplinaires en "réseau" visent à renforcer le potentiel de recherche exploratoire aux interfaces. Ce sont des appels à projets nationaux qui soutiennent des projets courts et à risques. Ces appels permettent d’établir les preuves de concepts qui peuvent entraîner un effet de levier favorisant la réponse à des appels plus importants. Cette procédure est très réactive pour faciliter un démarrage rapide des projets lauréats.

ERN

European Research Networks (ERN) / ex-Groupements De Recherche Européens (GDRE)

 

CodeIntituléPartenairesChercheurs
I2M
PositionDébutFinLiensStatut
GDRE GREFI-MEFIGroupement de recherche européen italo-français en Mathématiques et Physique
Italian-French European research group in Mathematics and Physics
France (CNRS), Italie (INdAM)Pierre Picco, Mihai Bostan, Jean-Yves Briend, Julien Cassaigne, Fabienne Castell, Hervé Daudé, Sébastien Ferenczi, Véronique Gayrard, John Hubbard, Pascal Hubert, Pierre Liardet, Pierre Mathieu, Christian Mauduit, Glenn Merlet, Tomasz Miernowski, Arnaldo Nogueira, Anne Nouri, Etienne Pardoux, Christophe Pouet, Manuela Royer-Carenzi, Alain Thomas, Serge TroubetzkoyCoordination
Pierre Picco
2005/012016/12INdAM, GREFI Roma2, INSMI, Portail Math, Journal CNRS page 12terminé

 

Un IRN (ex-GDRI) ou un ERN (ex-GDRE) est un réseau de laboratoires constitué entre plusieurs pays européens ou bien entre laboratoires de pays européens et de pays situés en dehors de l’Europe. Il est doté d’un comité de direction scientifique. Le financement est assuré par tous les partenaires. Il porte essentiellement sur la mobilité du personnel, l’organisation de séminaires et d’ateliers.
Pour info : Outils CNRS de structuration du partenariat à l’international

Réseaux

Réseaux - Programmes / Networks - Programs (MAS, MSCA, RNMS, UFI, PHC,...)

 

MAS
MSCA
RNMS
UFI / UIF
PHC
MAS

Programme régional MATH-AmSud (MAS) / Programa Regional MATH-AMSUD

 

Le programme régional MATH-AmSud est une initiative du ministère des Affaires étrangères français et du Développement international (MAEDI) pour encourager la collaboration scientifique régionale entre la France et les pays d’Amérique du Sud.
Le programme finance des projets de 2 ans, représentés par au moins deux pays d’Amérique du Sud et une équipe de chercheurs français. Lors des missions d’échange, chaque organisme de recherche finance ses propres chercheurs (frais de transport et les frais de séjour), le MAEDI co-finance l’ensemble des projets sélectionnés.

 

MSCA

Marie Skłodowska-Curie Actions (MSCA), Research Fellowship Programme

 

The Marie Skłodowska-Curie actions support researchers at all stages of their careers, regardless of age and nationality. Researchers working across all disciplines are eligible for funding. The MSCA also support cooperation between industry and academia and innovative training to enhance employability and career development.

RNMS

U.S. National Science Foundation's Research Networks in Mathematical Sciences (RNMS) program

 

The Research Networks in the Mathematical Sciences (RNMS) Program creates an award mechanism that supports researchers in ways that are intermediate in scale, scope, and duration to existing individual investigator awards and research institute awards. The RNMS Program recognizes that, over the past quarter century, mathematical research has become increasingly collaborative and interactive, because effectively overcoming core scientific challenges frequently requires the sharing of ideas and expertise. A Research Network is not a substitute for existing funding mechanisms. In particular, it is intended to complement (rather than replace) individual investigator awards by providing additional layers of interaction. Through the involvement of postdoctoral researchers and students and the promotion of international collaborations, the RNMS will not only focus on problems at the frontier of the mathematical sciences but also lead to robust and diverse training of the next generation of mathematicians and statisticians.

UFI / UIF

Université Franco Italienne (UFI) / Università Italo Francese (UIF)

 

L’ Université Franco Italienne / Università Italo Francese est une institution binationale de promotion de la collaboration universitaire et scientifique entre la France et l’Italie. L'UFI/UIF est un opérateur créé sur la base d'un accord intergouvernemental, signé à Florence le 6 octobre 1998. En Italie, l'Accord a été ensuite approuvé par le Parlement, avec la loi n.161 du 26 mai 2000 et ratifié par le Président de la République. En France, le 20 décembre 2001, l'accord a fait l'objet d'un décret du Président de la République (n. 2001-1267). Le siège du secrétariat français se trouve à l’Université Grenoble Alpes et le secrétariat italien est rattaché à l’Université de Turin.

Une université sans étudiant ni cours

L’UFI/UIF n’est pas destinée à la formation d’étudiants, aucun cours n’est dispensé par des enseignants.

Voir le PHC Galilée
PHC

Partenariats Hubert Curien (PHC)

 

Les partenariats Hubert Curien (PHC) s'inscrivent dans le cadre de la politique de soutien aux échanges scientifiques et technologiques internationaux du ministère de l'Europe et des Affaires étrangères et sont mis en œuvre avec le soutien du ministère de l'Enseignement supérieur, de la Recherche et de l’Innovation.

PHC Galilée

Le PHC Galilée est un programme de coopération scientifique créé, pour la France, par le Ministère des Affaires étrangères et du Développement international et par le Ministère de l'Education nationale, de l'Enseignement supérieur et de la Recherche et par le Ministero dell'Istruzione, dell'Università e della Ricerca, pour l'Italie. L'objectif de ce programme est de développer les échanges scientifiques et technologiques d'excellence entre les laboratoires de recherche des deux pays, en favorisant les nouvelles coopérations par des échanges impliquant une participation significative de jeunes chercheurs.L'appel à candidatures est ouvert aux laboratoires de recherche rattachés à des établissements d'enseignement supérieur et à des organismes de recherche. La participation active et la mobilité de jeunes chercheurs, en particulier doctorants ou post-doctorants est l’un des tout premiers critères de sélection.

PHC Tassili

Le PHC Tassili est un programme de coopération algéro-français qui apporte un soutien à des projets de recherche conjoints sur une durée de 3 ans. Le financement porte notamment sur la mobilité au sein de laboratoires français, de jeunes doctorants algériens et d'enseignants pour une habilitation d'une part, et de la mobilité de chercheurs français et algériens entre la France et l'Algérie d'autre part.

Le PHC Tassili est porté et cofinancé par :

- La France à travers le Ministère de L’Europe et des Affaires Etrangères (MEAE) et le Ministère de l’Enseignement supérieur, de la Recherche et de l’Innovation français (MESRI) ;

- L'Algérie, à travers le Ministère de l'Enseignement Supérieur et de la Recherche Scientifique (MESRS).

IRL

International Research Laboratories (IRL) / Laboratoires de recherche internationaux (ex-UMI)

 

IntituléPartenairesChercheurs
I2M
PositionDébutCodeFinLiensStatut
The Interdisciplinary Scientific Center Poncelet (ISCP)Russie
(RAS, RFBR, IUM, IRIAS)
France
(CNRS, INRIA)
Michel Balazard
Nicolas Bédaride
François Hamel
Nikolai Nadirashvili
Christophe Pittet
Yannick Sire
Serge Vladuts
Participation2006/01UMI ISCP2022/12INSMI
CNRS
en cours

 

L'IRL est un outil de coopération internationale partagé par le CNRS, au service de la structuration d’une collaboration de recherche internationale fortement localisée

Les IRL correspondent à des implantations de recherche internationales au sein desquelles des activités de recherche sont menées en commun autour d’axes scientifiques partagés. Ils structurent en un lieu identifié les présences significatives et durables de scientifiques d’un nombre limité d’institutions de recherche françaises et étrangères (un seul pays étranger partenaire).

Ils comprennent les implantations rassemblant des scientifiques rattachés à différentes unités et les unités internationales – unités mixtes de recherche avec partenaires étrangers (UMI) et unités de service et de recherche (USR) installées à l’étranger – mises en place lorsqu’un adossement à une structure opérationnelle de recherche (SOR) dédiée est nécessaire.

Les International Research Laboratories ont une durée de 5 ans.


IRL: an international cooperation tool shared by the CNRS, aimed at structuring highly-localised international research collaboration.

International Research Laboratories are international schemes in which research work is jointly conducted around a shared scientific focus. They structure, within an identified location, the significant and lasting presence of scientists from a limited number of French and foreign research institutions (a single foreign partner country).

They include facilities that bring together scientists from various research units including international laboratories — International Joint Units (UMI) and Service and Research Units (USR) abroad — which are set up whenever the support of a dedicated Operational Research Structure (SOR) is required.

International Research Laboratories have a duration of five years.

Chaire

Chaire Jean-Morlet

 

Le CIRM et l’Université d’Aix-Marseille ont créé une chaire de recherche du nom de Jean Morlet (1931-2007), géophysicien français à l’origine de l’analyse par ondelettes.

– La Chaire Jean-Morlet est une collaboration scientifique entre le CIRM (CNRS-SMF) et Aix-Marseille Université (AMU) avec le soutien financier de la Ville de Marseille. Deux appels d’offre internationaux sont lancés par an afin de recruter des chercheurs de renommée internationale dans leur domaine. Sur une période d’un semestre pour chaque chaire, un chercheur d’une institution étrangère vient en résidence au CIRM et pour y proposer un programme scientifique complet en collaboration avec un porteur de projet local. Pour en savoir plus : le WEBSITE de la chaire Morlet.

 

SEMESTRES DE LA CHAIRE MORLET (agenda)


The Chair Morlet has been hosted by the Centre International de Rencontres Mathématiques (CIRM, Luminy, France) since its creation in 2013. The Chair is named in honour of Jean Morlet (1931-2007). He was an engineer at the French oil company Elf (now Total) and, together with the physicist Alex Grossman, conducted pioneering work in wavelet analysis. This theory has since become a building block of modern mathematics. It was at CIRM that they met on several occasions, and the center then played host to some of the key conferences in this field.

– Appointments to the Jean-Morlet Chair are made to worldclass researchers based outside France and who work in collabo­ ration with local project leaders in order to conduct original and ambitious scientific programs.The Chair is supported finan­ cially by CIRM, Aix-Marseille Université and the City of Marseille.

– A key feature of the Chair is that it does not focus solely on the research themes developed by Jean Morlet. The idea is to support the freedom of pioneers in mathematical sciences and to nurture the enthusiasm that comes from opening new avenues of research.

– CIRM : a beacon for international cooperation Situated at the heart of the Parc des Calanques, an area of out­ standing natural beauty, CIRM is one of the largest conference centers dedicated to mathematical and related sciences in the world, with close to 3500 visitors per year. Jointly supervised by SMF (the French Mathematical Society) and CNRS (French National Center for Scientific Research), CIRM has been a hub for international research in mathematics since 1981. CIRM’s raison d’être is to be a venue that fosters exchanges, pioneering research in mathematics in interaction with other sciences and the dissemination of knowledge to the younger scientific community.

Instituts

Instituts Convergences

 

CenTuri
ILCB
CenTuri
Institut Centuri



CenTuri
(Centre Turing des Systèmes vivants)
, porté par Thomas Lecuit, directeur de recherche au CNRS

 

Le Centre de Turing pour les systèmes vivants (CENTURI) fédère une communauté croissante de biologistes, de physiciens, de mathématiciens, d’informaticiens et d’ingénieurs. L’interdisciplinarité est le principe fondamental du Centre et est au cœur de son activité dans la recherche, l’éducation et la technologie. CENTURI est lauréat de l’appel national « Instituts Convergences » de l’Etat dans le cadre du programme « Investissements d’Avenir » (2ème PIA) et cofinancé par l’Agence Nationale de la Recherche (ANR) et la Fondation A*MIDEX.
The Turing Centre for Living Systems (CENTURI) federates a growing community of biologists, physicists, mathematicians, computer scientists and engineers. Interdisciplinarity is the core principle of the Turing Centre and is central to its activity in research, education and technology. CENTURI is laureate of the National call ”Instituts Convergences” of the French State in the context of the ”Investments for the Future” programme (2nd PIA) and is co-funded by the French National Research Agency and the A*MIDEX Foundation.

Disciplines concernées :
– Sciences de la vie et médecine :
Mathématiques et oncologie, mathématiques et évolution, analyse harmonique, statistiques et optimisation pour l’imagerie médicale… ; applications des probabilités et des mathématiques discrètes à la génomique et à la bioinformatique.
– Informatique :
Logique mathématique ; apprentissage de machines et traitement de signal / image ; théorie des graphes, probabilité et imagerie cérébrale.

Informations sur les recrutements :
http://centuri-livingsystems.org/recruitment/

 

ILCB
Institut ILCB


ILCB
(Institut Langage, Communication et Cerveau)
, porté par Philippe Blache, directeur de recherche au CNRS

 

L’ILCB a pour objectif d’explorer les bases neurales de la communication et du langage humain. Ce projet rassemble 10 unités de recherche et environ 200 personnes. Par ce projet, AMU et ses partenaires sont reconnus comme acteurs promouvant l’interdisciplinarité, l’articulation forte entre recherche et formation, génératrice de nouvelles connaissances et, donc, d’innovation.
The Institute of Language, Communication and the Brain (ILCB) aims to explore the neural bases of communication and human language. This project brings together 10 research units and about 200 people. Through this project, AMU and its partners are recognized as actors promoting interdisciplinarity, the strong articulation between research and training, generating new knowledge and, therefore, innovation.

Disciplines concernées en Neurosciences :
Analyse harmonique, modélisation statistique et optimisation de la classification EEG, application aux interfaces cerveau-ordinateur ; différents aspects de l’imagerie cérébrale.

Informations sur les recrutements :
http://ilcb.fr/phd-programs.html
http://ilcb.fr/postdoctoral-positions.html

 

L’ambition de l’action « Instituts Convergences » (issus des « Investissements d’Avenir« ) est d’initier une nouvelle démarche visant à structurer quelques centres rassemblant des forces scientifiques pluridisciplinaires de grande ampleur et de forte visibilité pour mieux répondre à des enjeux majeurs, à la croisée des défis sociétaux et économiques et des questionnements de la communauté scientifique (lire la suite sur le site de l’ANR). Ces projets se traduisent notamment par la création de consortiums hospitalo-universitaires (DHU Imagerie biomédicale et thérapie guidée par l’imagerie) dans lesquels les membres de l’I2M (en particulier le groupe ALEA) ont un rôle important à jouer. Ils se traduisent enfin par une implication accrue dans les collaborations existantes avec les grand instituts des sciences de la vie, et en particulier avec l’IPC (Institut Paoli Palmette), l’IMBE (Institut Méditerranéen de Biodiversité et d’Écologie), et l’IHU (Institut Hospitalo-Universitaire Méditerranée Infection).

Résultats issus de la recherche

Ces résultats correspondent à tout type de production scientifique ou technique (publications, brevets, licences, logiciels…).
Depuis le 1er juillet 2016

A venir.

Période 2011-2016
1) S. Vladuts a donné (avec Alexander Barg et Itzak Tamo) une construction générale des codes LRC sur des courbes. Ils présentent des exemples de familles de codes bons asymptotiquement dérivées des tours de Garcia-Stichtenoth et obtiennent une famille de codes Hermitiens avec deux ensembles recouvrants pour chaque symbole de mot du code.

2) P. Delorme a généralisé les résultats de Sakellardis-Venkatesh pour obtenir la formule de Plancherel pour les espaces réductifs symétriques p-adique sans conditions sur la caractéristique du corps de base.

3) L. Vaux a obtenu (en collaboration avec Pagani et Tasson) une caractérisation de la normalisabilité d’un λ-terme algébrique comme une propriété de finitude de l’ensemble de λ-termes avec ressources, support de son développement de Taylor.

4) S. Ballet et R. Rolland ont donné (avec S. Tutdere) de nouvelles bornes effectives sur le nombre de classes d’un corps de fonctions algébrique défini sur un corps fini. Ils ont aussi donné des exemples de tours de fonctions algébriques ayant un grand nombre de classes.

5) V. Heiermann a prouvé, en utilisant des résultats de J. Arthur et de C. Moeglin, que les paramètres de Langlands relatifs à un groupe classique p-adique qui ont la même restriction sur le groupe d’inertie correspondent à des catégories de représentations unipotentes. Ceci avait été conjecturé par G. Lusztig pour tout groupe réductif.

Actions de formation
(par exemple : conception et coordination de modules de formation en master et en doctorat, accueil et suivi des doctorants, conception d’outils à vocation pédagogique, action de formation continue…)

Depuis le 1er juillet 2016

Période 2011-2016

– L’équipe est en acteur majeur du M2 MDFI.

– E. Beffara, L. Regnier et L. Vaux sont depuis 2011 Formateurs Informatique et Sciences du Numérique auprès des enseignants du 2nd degré.

– L. Regnier a été directeur (co-directeur) du département de math de Luminy (de l’AMU) de 2009 à 2012 (2012-2014)

Rayonnement ou attractivité académiques
(par exemple : invitations à donner des conférences, organisation de colloques nationaux ou internationaux, réseaux collaboratifs, cofinancements, prix et distinctions…)

Prix et distinctions

Depuis le 1er juillet 2016

– Stéphane Ballet (ATI) est vice-président de la SMF (Cellule de diffusion) depuis juillet 2021.

Période 2011-2016
– L. Regnier est co-chair (avec Jean-Marc Talbot (LIF)) de la conférence internationale 25th EACSL Annual Conference on Computer Science Logic organisé en 2016 à Marseille.

– D. Kohel a été porteur de l’AMU du projet de la chaire Morlet au premier semestre 2014 et organisateur principal du mois thématique “Arithmétique” en hiver 2014.

– Michael Puschnigg a fait un exposé au séminaire Bourbaki sur les travaux de Vincent Lafforgue (SMF) en 2014.

– E. Beffara et L. Regnier ont organisé le mois thématique “Logique et interactions” au CIRM en hiver 2012.

– J.-P. Labesse a obtenu le prix Jaffe de l’académie des sciences en 2012.

Valorisation socio-économique

(brevet, contrat industriel, collaboration à une exposition majeure, émission audiovisuelle, partenariats avec des institutions culturelles...)

Conférences YACCRYPTED

Conférences YACCRYPTED

YACCRYPTED (Yet Another Conference on CRYPTography and Embedded Devices) est la fusion des colloques YACC (Yet Another Conference on Cryptography) et CRYPTO’PUCES.

La conférence YACCRYTED a pour but de faire un point régulier sur l’état de la recherche, et le développement des méthodes et outils utilisés en cryptographie.

La conférence YACCRYPTED sera un lieu privilégié pour les échanges entre chercheurs académiques et chercheurs de l’industrie notamment impliqués dans le pôle Solutions Communicantes Sécurisées (SCS).

De grandes entreprises françaises impliquées dans la recherche cryptographique participent naturellement à l’évènement (FT-recherche et développement, ST-Microelectronics, Canal+, Gemalto (inclus avec Thales), SCM-Microelectronics, Thalès, Inside Secure, Technicolor).

Évènements à venir
iCal

Évènements passés

2020-05-11ConferenceYACCRYPTED 2020 - International Conference on Cryptography (cancelled)
2017-05-29RencontreCrypto'Puces 2017 : du composant au système communicant embarqué (Entreprises)
2015-05-04RencontreCrypto'Puces 2015 : du composant au système communicant embarqué (Entreprises)

 

Six éditions de CRYPTO’PUCES se sont tenues, toujours à Porquerolles, les années impaires :

CRYPTOPUCES 2017, du 29 mai au 2 juin 2017 (26 participants)

CRYPTO’PUCES 2015, du 4 au 8 mai 2015 (28 participants)

CRYPTO’PUCES 2013, du 26 au 31 mai 2013 (28 participants)

CRYPTO’PUCES 2011, du 8 au 12 mai 2011(40 participants)

CRYPTO’PUCES 2009, du 2 au 6 juin 2009 (43 participants)

CRYPTO’PUCES 2007, du 15 au 18 avril 2007 (36 participants)

Huit éditions de YACC se sont tenues, toujours à Porquerolles, les années impaires :

YACC 2016, du 6 au 10 juin 2016

YACC 2014, du 9 au 13 juin 2014 [slides pdf]

YACC 2012, septembre 2012

YACC 2010, du 4 au 8 octobre 2010

YACC 2008, du 29 septembre au 2 octobre 2008

YACC 2006, du 19 au 23 juin 2006

YACC 2004, du 1er au 5 juin 2004

YACC 2002, du 3 au 7 juin 2002

YACC était jumelé avec WEWoRC (Western European Workshop on Research in Cryptology) :

WEWoRC 2015, du 1er au 2 octobre 2015, Brandenburg, Allemagne (co-localisé avec le 45ème symposium de l’association allemande d’informatique GI (INFORMATIK 2015)

WEWoRC 2013, du 24 au 26 juillet 2013, KIT, Karlsruhe, Allemagne

WEWoRC 2011, du 20 au 22 juillet 2011, Weimar, Allemagne

WEWoRC 2009, du 7 au 9 juillet 2009, Graz, Autriche

WEWoRC 2007, du 4 au 6 juillet 2007, Ruhr-University Bochum, Allemagne

WEWoRC 2005, du 5 au 7 juillet 2005, Louvain, Belgique

Forum AMUSEC

FORUM AIX-MARSEILLE DE LA CYBERSÉCURITÉ

Le but de AMUSEC est de partager les pratiques de réalisation et d’évaluation de la sécurité des technologies numériques.

Évènements à venir
iCal

 

AMUSEC a été créé en 2016 par l’équipe ATI du groupe AGLR avec les objectifs suivants :

– faire se rencontrer les acteurs de la sécurité des systèmes d’information, qu’ils soient issus du monde de l’entreprise, de la défense, de l’administration publique ou du monde académique.
– Sensibiliser le public aux problématiques et aux enjeux de la sécurité.
– Réfléchir au futur de la sécurité, avec l’omniprésence du numérique dans notre quotidien, et l’arrivée de l’IOT.
C’est aussi l’occasion pour les étudiants de discuter avec des professionnels.

Il s’agit d’un colloque annuel dont la première session a eu lieu à Luminy le 24 mars 2016 (https://www.sciencesconf.org/browse/conference/confid/2929).

Depuis 2017, AMUSEC fait partie du séminaire ATI et pour plus de visibilité, les annonces et le programme sont hébergés sur le site www.amusec.fr.

Le comité de pilotage d’AMUSEC (steering committee) est composé de :

 

Évènements passés

2023-05-25ForumAMUSEC 2023 (Aix-Marseille Forum on Cybersecurity - 7th edition)
2022-05-05ForumAMUSEC 2022 (Aix-Marseille Forum on Cybersecurity - 6th edition)
2021-04-08ForumAMUSEC 2021 (Aix-Marseille Forum on Cybersecurity - 5th edition)
2020-10-08AMUSEC 2020 (annulé et reporté en 2021)
2019-10-03ForumAMUSEC 2019 (Aix-Marseille Forum on Cybersecurity - 4th edition)
2018-10-11ForumAMUSEC 2018 (Aix-Marseille Forum on Cybersecurity - 3rd edition)
2017-10-12ForumAMUSEC 2017 (Aix-Marseille Forum on Cybersecurity - 2nd edition)
2016-03-24ForumAMUSEC 2016 (Aix-Marseille Forum on Cybersecurity - 1st edition)
TypeActivité/NatureOrganismePériodeMembre impliquéAutre(s) lien(s)Équipe
PEPS
First Support Exploration Project
Porte-clés connecté, mathématiques des objets connectés
Connected key ring, mathematics of connected objects
AMIES2019Sopra Steria (entreprise partenaire)AGLR-ATI
Association
Non-profit organization
Organisation de nombreux événements de diffusion scientifique grand public, dont la Tournée de π : spectacle musical mathématique
Organization of numerous scientific dissemination events for the general public, including the Tournée de π: mathematical musical show
Pi Day2013-2016Joël COHEN
Emilie DELNIEPPE
Guillaume GEOFFROY
Annamaria IEZZI
Prix d'Alembert 2016AGLR-RGR
GDAC
AGLR-LDP
AGLR-ATI
Association
Non-profit organization
Expertise en de cryptographie théorique et appliquée, Diffusion culturelle
Expertise in theoretical and applied cryptography, Cultural diffusion
Association de Cryptographie Théorique et Appliquée (ACrypTA)2005-2021Robert Rolland (Founder)Acrypta.frAGLR-ATI

Autres liens : CNRS Innovation, AMU Valorisation et innovation, Centrale innovation, AMIES.

Diffusion du savoir et culture scientifique
(par exemple: conférence Grand Public, collaboration à une exposition majeure, émission audiovisuelle, partenariats avec des institutions culturelles,…)
Depuis le 1er juillet 2016

  • Myriam Quatrini : responsable du groupe de travail Collège de l’IREM Marseille.
  • Yves Lafont, Myriam Quatrini : membres du groupe de travail Vulgarisation scientifique de l’IREM Marseille.
  • Yves Lafont (2016-2017) : membre du groupe de travail Cinémath de l’IREM Marseille.

Période 2011-2016

– L. Vaux a été directeur de l’IREM d’Aix-Marseille de 2011 à 2015.

Contacts - Accès - Listes de diffusion
Responsables du Groupe AGLR
Responsable
David KOHEL
Institut de Mathématiques de Marseille
Campus de Luminy – Ex-BU
163, avenue de Luminy, Case 907
13288 Marseille Cedex 9, FRANCE
david.kohel@univ-amu.fr
Suppléant
Olivier DUDAS
Bureau  A203
Institut de Mathématiques de Marseille
Campus de Luminy- Ex-BU
163 avenue de Luminy, Case 907
13288 MARSEILLE Cedex 9
olivier.dudas_at_univ-amu.fr

 

Anciens responsables du Groupe AGT :
– 2014-2017 : Volker Heiermann (Suppléant : Alexis Bonnecaze)
– 2017-2023 : Alexis Bonnecaze (suppléant : Stéphane Ballet)

Gestionnaire
Gestionnaire budgétaire
Jessica BOUANANE (en congés)
Bureau 313 – étage 3BU202
Institut de Mathématiques de Marseille
Campus de Luminy
163 avenue de Luminy
Case 907Case 930
13288 MARSEILLE Cedex 9
Téléphone : (+33) (0)4 91 26 96 31
Fax : (+33) (0)4 91 26 96 55
jessica.bouanane_at_univ-amu.fr
Accès
Listes de diffusion

Listes de diffusion (liste du groupe AGLR : i2m-aglr_at_univ-amu.fr)

 


Retour en haut 

https://login-stage.arla.com/

https://login-stage.arla.com/


https://delta.teachingandlearning.ie/


slot luar negeri


link server internasional


slot server luar


link slot gacor


https://dagupan.balinkbayan.gov.ph/


RUANGQQSLOT


Slot Dana


akun pro platinum


akun pro malaysia


akun pro jepang


https://forum.dev.processoeletronico.gov.br/


https://live.jayman.com/

https://ontwikkel.zorgvoorbeter.nl/pkv-games/ pkv games https://build-avanzer-login.tst.wolterskluwer.nl/

https://displayr-async3-site.displayr.com/

slot server luar

Situs Judi Bola


slot server thailand super gacor pkv games situs pkv games terpercaya pkv qq pkv games online domino qq online https://s2magnetconsole.deloitte.com/ https://apiacceptance.wepublish.com/ SBOTOP login link sbobet bola online indonesia paling top http://uploads.registerguard.com/

ft95


https://portal.munisanta.gob.pe/


https://events.vives.be/

https://eqdflow-devci.sgmarkets.com/ bandarqq pkv games https://m2.airbusan.com/ bandarqq pkv games Slot Dana https://qa-api.lcbo.com/ bandarqq pkv games https://treff.bildung.koeln.de/ bandarqq pkv games https://wms-test.sc.qa/ bandarqq pkv games

https://dexscreen.magna.com/

https://dexscreen.magna.com/bandarqq/

https://staging-fr.horizonsetfs.com/

https://eqdflow-devci.sgmarkets.com/

https://pdz-2020.pairidaiza.eu/
https://device-dev1.deltafaucet.com/

https://stg.cfoinsight.pwc.tw/

https://hsodemo11762e602a4c746d5devaossoap.cloudax.dynamics.com/


asianbookie


mix parlay


sbobet88


https://event.mandarin-airlines.com/


https://br.wahlergebnis.graz.at/


https://magic.ontariondp.ca/


situs parlay


bandarqq


bandarqq


https://lib-az.sgmarkets.com/


PKV Games


dominoqq


https://static3.purplemash.com/bandarqq/


situs bandarqqsitus judi qq online bandarqq terpercaya 2023


Domino99


Daftar permainan bandarqq yang terbukti gacor dan gampang menang serta terjangkau.


Cuma main permainan bandarqq, kamu bisa mendapatkan jutaan rupiah dengan sangat mudah bray ahay.


Sekarang kamu bisa main dominoqq dengan uang asli dan bisa menang besar dengan modal receh saja boskuu.


bandarqq


daftar pkv gamesKumpulan Daftar Situs Pkv Games Dan Judi Poker Qq Online Terpercaya


pkv games


pkv games


pkv-games


PKV


situs pkv games resmi poker online


pkv games
pkv games
pkv-games

pkv games


daftar pkvdaftar situs pkv games judi poker qq online terpercaya tanpa bot


PKV Games

Agen Judi bola terpercaya parlay855 bisa kamu mainkan dengan minimal taruhan 10 ribu pada permainan mix parlay.


Daftar situs bola parlay terpercaya


Daftar Akun Pro Thailand gacor situs slot server luar negeri terpercaya 2023.


daftar pkvdaftar situs pkv games poker online terpercaya 2023


Sbobet Pusat


nowgoal


asianbookie


spbo


sboqq


pialaqq


zyngaqq


garudaqq


aduqq


ratucapsa


ratuqq


segarqq


ft95


terimaqq


ruangqq


rutinqq


keluarqq


sport855


buluqq


ft95


sport168


sport388


pialabola


parlay855


fifa855


sport805


imcqq


ibcqq


makauqq


ceriaqq


pesqq


bijiqq


big855


alternatif big855


akun pro big855


server internasional big855


link big855


big855 slot


Situs Pkv Games terpercyaa sejak tahun 2015.


sbobet

Secured By miniOrange