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 : Alexis Bonnecaze (suppléant : Stéphane Ballet)
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 StePhaneMCF
04 91 26 95 83
BATTESTI FrancoiseMCF
BEUZART-PLESSIS RaphaelCR
BONNECAZE AlexisPR
04 91 26 95 87
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
LOUBOUTIN StephanePR
04 91 26 95 81
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
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
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, Laurent RegnierDoctorant.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 COLOIsogénie supersingulière de Diffie-HellmanKohel DavidDoctorant.eED184ItalieAMU (ED)01/09/2018AGLR-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)Doctorant.eED184FranceAMU (ED)01/09/2018AGLR-RGR
Bastien PACIFICOSur la complexité bilinéaire des algorithmes de multiplication dans les corps finisBallet Stéphane, Bonnecaze Alexis (co-directeur)Doctorant.eED184FranceAMU (ED)01/09/2018AGLR-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 3Post-doc University of Tübingen, GermanyAGLR-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
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/09/202131/08/2022ANR 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
Bastien PACIFICOdoctorantI2M, MarseilleFRANCEStéphane Ballet2021-2022LUMAGLR-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
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
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
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
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

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 - Linear Programming Bounds on the Kissing Number of q-ary Codes

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

2021/10 Cambridge Journal of Mathematics - A non-explicit proof of the existence of omni-supercuspidal types

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

2021/08 Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences - LCD and ACD codes over a non commutative non-unital ring with four elements

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

2021/08 Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences - Special issue from mathematics to embedded devices

2021/08 Designs, Codes and Cryptography - THE CONCATENATED STRUCTURE OF QUASI-ABELIAN CODES

2021/07 - Positional Injectivity for Innocent Strategies

2021/07 - Bent Sequences over Hadamard Codes for Physically Unclonable Functions

2021/07 - Arithmetic, Geometry, Cryptography and Coding Theory

2021/07 Graphs and Combinatorics - Designs in Finite Metric Spaces: A Probabilistic Approach

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

2021/06 Designs, Codes and Cryptography - Self-orthogonal codes over a non-unital ring and combinatorial matrices

2021/05 - Proof of Cayley-Hamilton theorem using polynomials over the algebra of module endomorphisms

2021/03 IEEE Transactions on Information Theory - Geometric Approach to b-Symbol Hamming Weights of Cyclic Codes

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/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 Journal of Number Theory - Multiplicities and Plancherel formula for the space of nondegenerate Hermitian matrices

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 Algebra and Its Applications - Type IV codes over a non-unital ring

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 Finite Fields and Their Applications - LCD CODES FROM TRIDIAGONAL TOEPLITZ MATRICES

2021/01 Journal of Applied Mathematics and Computing - Self-dual and LCD double circulant and double negacirculant codes over $\mathbb{F}_q+u\mathbb{F}_q+v\mathbb{F}_q$

2021/01 Discrete Mathematics - The uncertainty principle over finite fields

2021/01 Advances in Mathematics of Communications - ON ONE-LEE WEIGHT AND TWO-LEE WEIGHT Z 2 Z 4 [u]-ADDITIVE CODES AND THEIR CONSTRUCTIONS

2021/01 IEEE Transactions on Information Theory - Z 2 Z 4 -Additive Quasi-Cyclic codes

2021/01 Advances in Mathematics of Communications - FIVE-WEIGHT CODES FROM THREE-VALUED CORRELATION OF M-SEQUENCES

2021/01 Journal of Applied Mathematics and Computing - A family of constacyclic codes over a class of non-chain rings A q,r and new quantum codes

2021/01 Designs, Codes and Cryptography - Quadratic Residue codes, rank three groups and PBIBDs

2020/12 - A special configuration of $12$ conics and generalized Kummer surfaces

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

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

2020/11 - The global Gan-Gross-Prasad conjecture for unitary groups: the endoscopic case

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/08 - Multiplication in finite fields with Chudnovsky-type algorithms on the projective line

2020/07 - Optimization of the scalar complexity of Chudnovsky$^2$ multiplication algorithms in finite fields

2020/07 - A calculus of expandable stores

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 - Quasi Type IV codes over a non-unital ring

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

2020/03 - Non-linearity of the Carlet-Feng function, and repartition of Gauss sums

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

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/01 - Revisiting the duality of computation: an algebraic analysis of classical realizability models

2020/01 - Type IV codes over a non-unital ring

2020/01 - The build-up construction of quasi self-dual codes over a non-unital ring

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 Discrete Mathematics - Asymptotic performance of metacyclic codes

2020/01 Finite Fields and Their Applications - Polycyclic codes as invariant subspaces.

2020/01 MDPI Mathematics - Some Multisecret-Sharing Schemes over Finite Fields

2020/01 Designs, Codes and Cryptography - Construction of isodual codes from polycirculant matrices

2020/01 Advances in Mathematics of Communications - Z 4 Z 4 [u]-ADDITIVE CYCLIC AND CONSTACYCLIC CODES

2020/01 Discrete Mathematics - Linear codes over finite rings are trace codes

2020/01 IEEE Transactions on Information Theory - How many weights can a quasi-cyclic code have ?

2020/01 Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences - On linear complementary-dual multinegacirculant codes

2020/01 IEEE Transactions on Information Theory - How many weights can a cyclic code have ?

2020/01 Mathematics - Secret Sharing, Zero Sum Sets, and Hamming Codes

2020/01 Designs, Codes and Cryptography - Two families of two-weight codes over Z 4

2020/01 Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences - On self-dual and LCD double circulant and double negacirculant codes over $\mathbb{F}_q + u\mathbb{F}_q

2020/01 Mathematics - On the Covering Radius of Codes over Z p k

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/11 IEEE Communications Letters - Asymptotic Normality of Q-ary Linear Codes

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

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 - The dendroidal category is a test category

2019/07 Finite Fields and Their Applications - Double circulant LCD codes over Z 4

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

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

2019/06 - Arithmetic, Geometry, and Coding Theory: Homage to Gilles Lachaud

2019/06 - The constant term of tempered functions on a real spherical space

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

2019/04 - CONSTRUCTION OF ASYMMETRIC CHUDNOVSKY ALGORITHMS WITHOUT DERIVATED EVALUATION FOR MULTIPLICATION IN FINITE FIELDS

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

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

2019/03 Designs, Codes and Cryptography - Dense families of modular curves, prime numbers and uniform symmetric tensor rank of multiplication in certain finite fields

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 - Arithmetic Geometry: Computation and Applications

2019/01 Acta Arithmetica - Maximal Differential Uniformity Polynomials

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

2019/01 Communications in Mathematics - Sur la variation de certaines suites de parties fractionnaires

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

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 Proc. Amer. Math. Soc. - The value of the global intertwining operators on spherical vectors

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

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

2019/01 Bull. Korean Math. Soc - Dedekind sums, mean square value of L-functions at s = 1 and upper bounds on relative class numbers. A survey and open problems

2019/01 Publ. Math. Debrecen - Twisted quadratic moments for Dirichlet L-functions at s = 2

2018/11 Ecology and Evolution - Persistence at the final stage of volcanic island ontogeny: Abiotic predictors explain native plant species richness on 111 remote Pacific atolls

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/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/05 Journal of Pure and Applied Algebra - Differential uniformity and second order derivatives for generic polynomials

2018/05 Journal of Pure and Applied Algebra - Tower of algebraic function fields with maximal Hasse-Witt invariant and tensor rank of multiplication in any extension of $\mathbb{F}_2$ and $\mathbb{F}_3$

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/03 - A Classical Sequent Calculus with Dependent Types

2018/03 IEEE Transactions on Information Theory - Lattice Codes for the Insertion and Deletion Channels

2018/02 - Lattices with exponentially large kissing numbers

2018/01 - Distribution of the absolute indicator of random Boolean functions

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 Acta Arithmetica - Upper bounds on $L(1,\chi )$ taking into account a finite set of prime ideals

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

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/08 International Journal of Number Theory - Fundamental units for a family of totally real cubic orders and the diophantine equation u(u + a)(u + 2a) = v(v + 1)

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 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 - Raised atoll and high volcanic island influence spatial pattern of native plant species richness on the atolls of Eastern Polynesia (French Polynesia, South Pacific Ocean).

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

2017/01 Contemporary mathematics - Optimal and maximal singular curves

2017/01 - On some bounds for symmetric tensor rank of multiplication in finite fields

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

2017/01 Transactions AMS - On the generic local Langlands correspondence for GSpin groups

2017/01 Mathematische Zeitschrift - Local Langlands Correspondence for Classical Groups and Affine Hecke Algebras

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

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

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

2016/11 Journal of Number Theory - Discriminants of cyclic cubic orders

2016/10 IEEE Transactions on Information Theory - Lattice Codes for the Wiretap Gaussian Channel: Construction and Analysis

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/07 - On the Entropy of Physically Unclonable Functions

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/06 - A challenge code for maximizing the entropy of PUF responses

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

2016/05 Graphs and Combinatorics - Free Choosability of Outerplanar Graphs

2016/05 Graphs and Combinatorics - Free choosability of the cycle

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 Glasgow Mathematical Journal - On the number of rational points on Prym varieties over finite fields

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 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 - Frobenius Distributions: Lang-Trotter and Sato-Tate Conjectures

2016/01 IEEE Communications Letters - Optimal Two-Weight Codes From Trace Codes Over F2+uF2

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

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

2015/12 - On the unramified spherical automorphic spectrum

2015/11 Progress in Physical Geography - Native plant species richness on Eastern Polynesia’s remote atolls. Which abiotic factors influence its spatial pattern?

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/11 Bulletin of the Korean Mathematical Society - Twisted quadratic moments for Dirichlet $L$-functions

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

2015/10 Moscow Mathematical Journal - Explicit upper bounds for residues of Dedekind zeta functions

2015/09 - On the Doubly Sparse Compressed Sensing Problem

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/05 International Journal of Number Theory - Real zeros of Dedekind zeta functions

2015/04 - Realizability games for arithmetical formulæ

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

2015/03 Journal of the Ramanujan Mathematical Society - An explicit lower bound on moduli of Dirichlet L-functions at s = 1

2015/03 Notes on Number Theory and Diecrete Mathematics - IMPROVING RIEMANN PRIME COUNTING

2015/02 - Error-Correction Capability of Reed-Muller codes

2015/02 Designs, Codes and Cryptography - Lower bounds on the minimum distance of long codes in the Lee metric

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 Moscow Mathematical Journal - On the maximum number of rational points on singular curves over finite fields

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

2015/01 - Algorithmic Arithmetic, Geometry, and Coding Theory

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.

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 Computers and Security - New models for efficient authenticated dictionaries

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

2015/01 Publications Mathématiques de Besançon : Algèbre et Théorie des Nombres - Fundamental units for some orders generated by a unit

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

2015/01 - Irreducible cyclic Z_4—codes and allied sequences

2015/01 Journal of Integer Sequences - On Polynomial Pairs of Integers

2015/01 Notes on Number Theory and Discrete Mathematics - Improving Riemann prime counting

2014/12 IEEE Transactions on Information Theory - Multiply Constant-Weight Codes and the Reliability of Loop Physically Unclonable Functions

2014/11 - Special issue on GEOCRYPT 2013

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/09 IEEE Transactions on Information Theory - Higher-order CIS codes

2014/07 - Divergence in Dialogues *

2014/06 - Théorie des nombres et cryptographie

2014/06 - Authenticated Dictionary Based on Frequency

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

2014/05 Proceedings of the American Mathematical Society - A twisted quadratic moment for Dirichlet $L$-functions

2014/02 Mathematica Slovaca - Upper bounds on relative class numbers of cyclotomic fields

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 Discrete Applied Mathematics - Every triangle-free induced subgraph of the triangular lattice is $(5m,2m)$-choosable

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

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

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 Acta Arithmetica - On the fundamental units of some cubic orders generated by units

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 - Product construction of affine codes

2014/01 IEEE Transactions on Information Theory - Hermitian Self-Dual Abelian 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 - 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/09 - Shimura modular curves and asymptotic symmetric tensor rank of multiplication in any finite field

2013/07 - Lattice Based Codes for Insertion and Deletion Channels

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 - A Digital Signature Scheme Based on Two Hard Problems

2013/04 - Randomnes in Cryptography

2013/03 Journal of Discrete Mathematics - Efficient prime counting and the Chebyshev primes

2013/03 Journal of Algebra, Number Theory: Advances and Applications - Chebyshev's bias and generalized Riemann hypothesis

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

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

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

2013/01 Theory and Applications of Categories - On homotopy types modelized by strict \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 Canadian Mathematical Bulletin - Resultants of Chebyshev Polynomials: A Short Proof

2013/01 Colloquium Mathematicum - On the size of $L(1,\chi)$ and S. Chowla's hypothesis implying that $L(1,\chi)>0$ for $s>0$ and for real characters $\chi$

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

2013/01 - On cyclic DNA codes

2013/01 IEEE Transactions on Information Theory - MDS Convolutional Codes Over a Finite Ring

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

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

2012/08 Journal of Number Theory - The class number one problem for some non-normal CM-fields of degree $2p$

2012/07 - On Formally Self-dual Boolean Functions in 2,4 and 6 Variables

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/06 Theoretical and Mathematical Physics - Pauli graphs, Riemann hypothesis, Goldbach pairs

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/02 Proceedings of the American Mathematical Society - On the fundamental units of a totally real cubic order generated by a unit

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

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

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

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 Fundamenta Mathematicae - Comportement local moyen de la fonction de Brjuno

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.

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 Contemporary mathematics - Some more functions that are not APN infinitely often. The case of Gold and Kasami exponents

2012/01 Journal of Algebra, Number Theory: Advances and Applications - Chebyshev's bias and generalized Riemann hypothesis

2012/01 IEEE Transactions on Information Theory - Classification of Extremal and s-Extremal Binary Self-Dual Codes of Length 38

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

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

2011/10 Integers : Electronic Journal of Combinatorial Number Theory - Robin inequality for $7-$free integers

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

2011/09 - The blind spot

2011/08 IEEE Transactions on Information Theory - Additive Asymmetric Quantum Codes

2011/06 Journal of Combinatorics and Number Theory - Extreme values of the Dedekind $\Psi$ function

2011/06 - Lattice Codes for the Gaussian Wiretap Channel (invited paper)

2011/06 - Cyclic codes and self-dual codes over M2(F2) and M2(F2[i])

2011/06 - Constructive spherical codes near Shannon bound

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

2011/04 Journal of Complexity - On the tensor rank of multiplication in any extension of $\F_2$

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

2011/04 Publicationes Mathematicae Debrecen - Mean values of $L$-functions and relative class numbers of cyclotomic fields

2011/04 - Constructive Spherical Codes near the Shannon Bound

2011/03 Journal of Physics A: Mathematical and Theoretical - Riemann hypothesis and Quantum Mechanics

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 - On the tensor rank of multiplication in finite extensions of finite fields

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

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.

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

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 Journal für die reine und angewandte Mathematik - Analytic R-groups of affine Hecke algebras

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 - Arithmetic of split Kummer surfaces: Montgomery endomorphism of Edwards products

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

2011/01 - Orbital integrals and distributions

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

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 - Endoscopy and change of characteristic after J.-L. Waldspurger

2011/01 Mathematics of Computation - Upper bounds for residues of Dedekind zeta functions and class numbers of cubic and quartic number fields

2011/01 Colloquium Mathematicum - Some quartic number fields containing an imaginary quadratic subfield

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

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

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 - Some More Functions That Are Not APN Infinitely Often. The Case of Kasami exponents

2011/01 Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences - Functions of degree 4e that are not APN infinitely often

2011/01 Integers : Electronic Journal of Combinatorial Number Theory - The Robin Inequality for 7-Free Integers

2010/12 - On Nicolas criterion for the Riemann Hypothesis

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

2010/11 - Unimodular lattices for the Gaussian Wiretap Channel (invited paper)

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/01 Contemporary mathematics - A few more functions that are not APN infinitely often

2010/01 Contemporary mathematics - Differentially 4-uniform functions

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

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

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 Contemporary mathematics - Non linéarité des fonctions booléennes données par des polynômes de degré binaire 3 définies sur F2m avec m pair

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/12 - The Rayleigh quotient of bent functions

2009/11 - Higher dimensional perfect space-time coded modulation

2009/11 - An extension of Massey scheme for secret sharing

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 - Bounds on the degree of APN polynomials The Case of x^(-1)+g(x)

2009/01 - On the small weight codewords of the functional codes C_2(Q), Q a non-singular quadric

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 Journal of Physics A: Mathematical and Theoretical - Clifford groups of quantum gates, BN-pairs and smooth cubic surfaces

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

2008/06 Journal of Number Theory - On the tensor rank of the multiplication in the finite fields

2008/05 - Borne sur le degré des polynômes presque parfaitement non-linéaires

2008/05 - Pseudo-random sequences, boolean functions and cellular automata

2008/05 - Pseudo-random Sequences Generated by Cellular Automata

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 On Number Theory and its Applications - A note on the tensor rank of the multiplication in certain finite fields

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

2008/01 On Number Theory and its Applications - Non linéarité des fonctions booléennes données par des traces de polynômes de degré binaire 3

2008/01 - Nonadditive Quantum Codes from $\Z_4$-Codes

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 - Non linéarité des fonctions booléennes données par des traces de polynômes de degré binaire 3

2007/06 - On linear combinations of lambda-terms

2007/05 - Nonlinarity of Boolean functions and hyperelliptic curves

2007/04 Proceedings of the American Mathematical Society - On a problem of D. H. Lehmer

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

2007/01 Math. Zeitschr. - Standard Modules Conjecture

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

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

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 - On the weight of binary irreducible cyclic codes

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

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 Functiones et Approximatio Commentarii Mathematici - Sur les dilatations entières de la fonction partie fractionnaire

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 Journal für die reine und angewandte Mathematik - Unipotent Orbits and Local L-functions

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 - On an application of the definition field descent of a tower of function fields

2005/01 - Cryptographie : Principes et mise en oeuvre

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

2004/11 Applicable Algebra in Engineering, Communication and Computing - On the Bounds of the Bilinear Complexity of Multiplication in Some Finite Fields

2004/10 - Errata à "Sur les représentations non ramifiées des groupes réductifs p-adiques; l'exemple de GSp(4)

2004/09 Comptes Rendus. Mathématique - Amélioration des bornes de la complexité bilinéaire de la multiplication dans certains corps finis

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

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

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

2004/01 - Errata à ``Sur les représentations non ramifiées des groupes réductifs $p$-adiques; l'exemple de ${\rm GSp}(4)$

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

2003/10 Finite Fields and Their Applications - Low increasing tower of algebraic function fields and bilinear complexity of multiplication in any extension of Fq

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

2003/08 Discrete Mathematics - Splitting the shadow

2003/06 - Sur la non-linéarité des fonctions booléennes

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/11 - CTRU, a polynomial analogue of NTRU

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

2001/01 - Gauss sums over quasi-Frobenius rings

2001/01 - Gauss sums over quasi-Frobenius rings

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

2000/01 Finite Fields and Their Applications - Z4 duadic codes

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

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 - Codage & cryptage

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 - Kernels and Defaults

1997/08 - Timeless games

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

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

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

1996/01 - Asymptotic cyclic cohomology

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

1994/07 IEEE Transactions on Image Processing - Lattice Vector Quantization for Multiscale Image Coding

1992/01 - Algebraic geometric codes on surfaces

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

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…

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,…

AMIDEX
ANR
GDR
PEPS
ERN
Réseaux
IRL
Chaire
Instituts
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.
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 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é

GDR

Groupements de Recherche (GdR) / National Research Groups

 

CodeIntituléPartenairesChercheurs
I2M
PositionDébutFinLiensStatut
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/012020/12CNRS-INSMIen cours
GDR IMInformatique MathématiqueGDAC, AGLR-LDP, Didier GillesParticipation1998/012021/12CNRS-INS2Ien 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 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é

 

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)

 

CodeIntituléPartenairesChercheurs
I2M
PositionDébutFinLiensStatut
UMI ISCPThe 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/012022/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

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 lienÉ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
Alexis BONNECAZE
Bureau 107 – étage 1
Polytech Marseille
Parc scientifique
et technologique de Luminy
163 avenue de Luminy – Case 925
13288 Marseille Cedex 09
Téléphone : (+33) (0)4 91 82 86 77
Fax : (+33) (0)4 91 26 96 55
alexis.bonnecaze_at_univ-amu.fr
Suppléant
Stéphane BALLET
Bureau  104 – étage 1
Institut de Mathématiques de Marseille
Campus de Luminy
163 avenue de Luminy
Case 907
13288 MARSEILLE Cedex 9
Téléphone : (+33) (0)4 91 26 95 83
Fax : (+33) (0)4 91 26 96 55
stephane.ballet_at_univ-amu.fr

 

Anciens responsables du Groupe AGT :
– 2014-2017 : Volker HEIERMANN (Suppléant : Alexis Bonnecaze)

Gestionnaire
Gestionnaire budgétaire
Jessica BOUANANE
Bureau 313 – étage 3
Institut de Mathématiques de Marseille
Campus de Luminy
163 avenue de Luminy
Case 907
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 

Secured By miniOrange