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 (ATI)
- Logique de la Programmation (LDP)
- Représentations des Groupes Réductifs (RGR)
Dernière mise à jour des thématiques (updated) : 4 juin 2020.
A venir.
En juin 2016
18 enseignants-chercheurs
7 chercheurs
1 ingénieur
10 post-docs et doctorants
Nom | Fonction | Coordonnées |
---|---|---|
ANNI Samuele | MCF | rf.uma-vinu@inna.eleumas 04 91 26 95 86 |
ARA Dimitri | MCF | rf.uma-vinu@ara.irtimid 04 91 26 96 57 |
AUBRY Yves | MCF | rf.uma-vinu@yrbua.sevy 04 91 26 95 92 |
BALAZARD Michel | CR | rf.srnc.htam@drazalab 04 91 26 95 84 |
BALLET Stéphane | MCF | rf.uma-vinu@tellab.enahpets 04 91 26 95 83 |
BEUZART-PLESSIS Raphael | CR | rf.uma-vinu@sisselp-trazueb.leahpar |
BONNECAZE Alexis | PR | rf.uma-vinu@ezacennob.sixela 04 91 26 95 87 |
DUDAS Olivier | CR | rf.grp-jmi@sadud.reivilo |
HEIERMANN Volker | PR | rf.uma-vinu@nnamreieh.reklov 04 91 26 96 46 |
KOHEL David | PR | rf.uma-vinu@lehok.divad 04 91 26 95 73 |
LAFONT Yves | PR | rf.uma-vinu@tnofal.sevy 04 91 26 96 37 |
LEMAIRE Bertrand | CR | rf.uma-vinu@eriamel.dnartreb 04 91 26 96 49 |
MIQUEY Etienne | MCF | rf.uma-vinu@YEUQIM.enneite |
MURANOV Alexey | MCF | rf.uma-vinu@vonarum.yexela 04 91 26 96 56 |
PUSCHNIGG Michael | PR | rf.uma-vinu@gginhcsup.leahcim 04 91 26 95 76 |
QUATRINI Myriam | MCF | rf.uma-vinu@inirtauq.mairym 04 91 26 96 36 |
REGNIER Laurent | PR | rf.uma-vinu@reinger.tnerual 04 91 26 96 42 |
SOLÉ Patrick | DR | rf.uma-vinu@ELOS.kcirtap 04 91 26 95 72 |
VAUX Lionel | MCF | rf.uma-vinu@xuav.lenoil 04 91 26 96 87 |
VLADUTS Serge | PR | rf.uma-vinu@studalv.egres 04 91 26 95 85 |
ZEKRI Richard | PR | rf.uma-vinu@irkez.drahcir 04 91 26 96 50 |
Legend
Acronym | Display |
---|---|
CR | Chargé de Recherche (CR) |
DR | Directeur de Recherche (DR) |
MCF | Maître de Conférences (MCF H)Maître de Conférences (MCF F) |
PR | Professeur (PR) |
Nom | Intitulé | Direction | Statut | ED | Pays | Soutien | Date début | Soutenance | Lieu | Devenir | Groupe |
---|---|---|---|---|---|---|---|---|---|---|---|
Pierre TCHAMITCHIAN | Variétés Abéliennes, conducteurs et une conjecture de Coleman | David Kohel, Samuele Anni | Doctorant.e | ED184 | France | AMU (ED) | 01/10/2022 | AGLR-ATI | |||
Maxime SOMMELLA | Correspondance de Langlands pour le groupe p-adique F4 et représentations d'un groupe p-adique | Volker Heiermann | Doctorant.e | ED184 | France | AMU (ED) | 01/10/2022 | AGLR-RGR | |||
Mohamed KOUTCHOUKALI | Etude des diviseurs non-spéciaux dans les corps de fonctions algébriques définis sur des corps finis | Stéphane Ballet | Doctorant.e | ED184 | RP | 01/10/2022 | AGLR-ATI | ||||
Axel GASTALDI | Invariants homologiques des produits croisés associés aux groupes linéaires algébriques | Michael Puschnigg | Doctorant.e | ED184 | France | AMU (ED) | 01/10/2022 | AGLR-RGR | |||
Valentin MAESTRACCI | Cubical Type Theory (CTT) in the Dedukti logical framework | Laurent Regnier | Doctorant.e | ED184 | France | AMU (ED) | 01/09/2022 | AGLR-LDP | |||
Juliette COUTENS | Les théorèmes de Paley-Wiener | Raphaël Beuzart-Plessis Bertrand Lemaire | Doctorant.e | ED184 | France | ERC RELANTRA | 01/09/2022 | AGLR-RGR | |||
Paul BOISSEAU | Comparaisons de caractères relatifs et applications aux conjectures de Gan-Gross-Prasad | Bertrand Lemaire | Doctorant.e | ED184 | France | AMU (Polytechnique) | 01/09/2022 | AGLR-RGR | |||
Pascal CIOT | Etude de la cohomologie cyclique périodique des produits croisés lisses et continus | Michael Puschnigg | Doctorant.e | ED184 | France | AMU (ENS) | 01/09/2021 | AGLR-RGR | |||
Lison BLONDEAU-PATISSIER | Sémantique des jeux et développements de Taylor | Lionel Vaux (I2M 50%), Pierre Clairambault (LIS 50%) | Doctorant.e | ED184 | France | AMU (ENS) | 01/09/2021 | AGLR-LDP | |||
Frédéric BERAHA | Surfaces orbifoldes de Campana sur les corps globaux | Nicole Marc-Hubert | Doctorant.e | ED184 | France | RP | 01/11/2020 | Administrateur indépendant, Sté Supor (Groupe SEB). Retraité. | AGLR-RGR | ||
Léo HUBERT | Théorèmes de Dold-Kan homotopiques | Ara Dimitri (dir), Lafont Yves (co-dir) | Doctorant.e | ED184 | France | AMU (ED) | 01/10/2020 | AGLR-LDP | |||
Luigi BERNARDI | Fondements interactifs de la logique et apprentissage du raisonnement | Quatrini Myriam (dir), Beffara Emmanuel (co-dir) | Doctorant.e | ED184 | Italie | AMU (ED) | 01/10/2020 | AGLR-LDP | |||
Zoé YVON | Le problème inverse de Galois et applications | Kohel David (dir), Anni Samuele (co-dir) | Doctorant.e | ED184 | France | AMU (ED) | 01/10/2020 | AGLR-ATI | |||
Martin FATOU | L'induction automorphe pour GLn | Lemaire Bertrand | Doctorant.e | ED184 | France | AMU (ED) | 01/09/2020 | AGLR-RGR | |||
Rémy CERDA | Développement de Taylor et λ-calcul infinitaire | Regnier Laurent (dir), Vaux Auclair Lionel (co-dir) | Doctorant.e | ED184 | France | AMU (ENS) | 01/09/2020 | AGLR-LDP | |||
Leonardo COLO | Courbes elliptiques supersingulières orientées et actions de groupe de classe | Kohel David | Docteur | ED184 | Italie | AMU (ED) | 01/09/2018 | 18/11/2022 | FRUMAM, Marseille | AGLR-ATI | |
Bastien PACIFICO | Construction polynomiale d’algorithmes de multiplication de type Chudnovsky de complexité bilinéaire linéaire | Ballet Stéphane, Bonnecaze Alexis (co-directeur) | Docteur | ED184 | France | AMU (ED) | 01/09/2018 | 15/12/2022 | Polytech Marseille Luminy | AGLR-ATI | |
Federico OLIMPIERI | Intersection Types and Resource Calculi in the Denotational Semantics of λ-calculus | Vaux Lionel | Docteur | ED184 | Italie | AMU (ED) | 01/09/2017 | 27/11/2020 | Virtual | Post-doc, LIPN, Villetaneuse | AGLR-LDP |
Elena BERARDINI | Algebraic geometry codes from surfaces over finite fields | Aubry Yves, Kohel David (co-directeur) | Docteure | ED184 | Italie | AMU (ED) | 01/10/2016 | 18/06/2020 | - | Post-doc, LIX, Ecole Poytechnique Palaiseau | AGLR-ATI |
Sarah DIJOLS | Autour des représentations distinguées : la conjecture d’injectivité généralisée et modèles symplectiques pour les groupes unitaires | Heiermann Volker | Docteure | ED184 | France | ANR FAIRPLAY | 01/09/2014 | 06/07/2018 | I2M, Luminy, Marseille | Post-doc, Yau Center, Tsinghua University | AGLR-RGR |
Annamaria IEZZI | Nombre de points rationnels des courbes singulières sur les corps finis | Aubry Yves | Docteure | ED184 | Italie | AMU (LabEx Archimède) | 01/10/2012 | 06/07/2016 | Polytech, Luminy | Visiting assistant professor at the Université de la Polynésie Française, in Tahiti | AGLR-ATI |
Eugénia SIRONI | Types in Ludics | Quatrini Myriam (co-directrice), Fouqueré Christophe (LIPN, Paris 13) | Docteure | ED184 | Italie | CD ANR LOCI | 01/10/2011 | 15/01/2015 | I2M - Luminy | Enseignante, Toronto, Canada (SECD ETR) | AGLR-LDP |
Thanh-Hung DANG | Complexité scalaire des algorithmes de type Chudnovsky de multiplication dans les corps finis | Bonnecaze Alexis, Ballet Stéphane (co-directeur) | Docteur | ED184 | Vietnam | ETR | 01/01/2016 | 25/05/2020 | I2M, Luminy, Marseille | AGLR-ATI | |
Alejandro GIANGRECO | Variétés abéliennes cycliques sur des corps finis | Vladuts Serge | Docteur | ED184 | Paraguay | ETR | 01/12/2015 | 20/11/2019 | Polytech, Luminy, Marseille | AGLR-ATI | |
Andrea GAGNA | Sur la théorie de l’homotopie des 3-catégories strictes | Lafont Yves, Ara Dimitri (co-dir) | Docteur | ED184 | Italie | AMU (ED) | 01/10/2015 | 25/10/2019 | Polytech, Luminy, Marseille | Post-doc, Czech Academy of Science | AGLR-LDP |
Guillaume GEOFFROY | Réalisabilité classique : nouveaux outils et applications | Regnier Laurent | Docteur | ED184 | France | ENS/AMU | 01/09/2015 | 29/03/2019 | St Charles, Marseille | Post-doc, Univ. Bologne | AGLR-LDP |
Benjamin ANDRYSIAK | Homologie cyclique périodique de l'algèbre de Schwartz d'un groupe discret d'isométries d'un espace CAT(0) | Puschnigg Michael | Docteur | ED184 | France | AMU (ED) | 01/10/2014 | 02/12/2019 | Marseille | - | AGLR-RGR |
Jean-Marie CABRERA | Modules de Fredholm finiment sommables sur les groupes hyperboliques | Puschnigg Michael | Docteur | ED184 | France | SECD | 01/09/2014 | 14/03/2019 | FRUMAM, St Charles, Marseille | Enseignant, Lycée Antonin Artaud, Education (SECD) Nationale | AGLR-RGR |
Thomas LEVENTIS | Lambda-théories probabilistes | Vaux Lionel, | Docteur | ED184 | France | CDENSX | 01/09/2014 | 08/12/2016 | Luminy, Marseille | UFR LCAO Informatique, ENS Lyon | AGLR-LDP |
Marcelo GONÇALVES de MARTINO | On the unramified spherical automorphic spectrum | Heiermann Volker (co-directeur), Opdam Eric (Université d’Amsterdam) | Docteur | ED184 | Brésil | European Research Council (ERC) | 01/09/2013 | 21/06/2016 | - | Post-doc, University of Oxford (2016-2018) | AGLR-RGR |
Paolo PISTONE | Sur les preuves et les types dans la logique du second ordre | Girard Jean-Yves, Abrusci Michele (co-directeur, Università Roma Tre) | Docteur | ED184 | Italie | - | 01/10/2012 | 27/03/2015 | Université Rome 3 | Chargé de Recherche INRIA, Saclay | AGLR-LDP |
Matteo ACCLAVIO | String diagram rewriting : applications in category and proof theory | Lafont Yves | Docteur | ED184 | Italie | AMU (ED) | 01/09/2012 | 14/12/2016 | Luminy, Marseille | Post-Doc, Université du Luxembourg | AGLR-LDP |
Florent ROVETTA | Étude arithmétique et algorithmique de courbes de petit genre | Kohel David (co-directeur), Ritzenthaler Christophe (IRMAR, Rennes) | Docteur | ED184 | France | Bourse ED | 01/09/2012 | 04/12/2015 | I2M - Luminy | - | AGLR-ATI |
Van Van THAN | Modélisation d’érosion côtière : application à la partie ouest du tombolo de Giens | Liardet Pierre (1er), Lacroix Yves (SeaTech, Toulon, 2ème) | Docteur | ED184 | Vietnam | ETR | 01/02/2012 | 18/09/2015 | Univ. Toulon | Enseignant, Thuy Loi University (SECD ETR) | AGLR-ATI |
Michele ALBERTI | On operational properties of quantitative extensions of lambda-calculus | Beffara Emmanuel, Vaux Lionel (co-directeur) | Docteur | ED184 | Italie | Bourse MESR | 01/10/2011 | 05/12/2014 | I2M - Luminy | - | AGLR-LDP |
Marc BAGNOL | Sur le semi anneau de résolution | Girard Jean-Yves | Docteur | ED184 | France | Bourse ENS | 01/01/2011 | 04/12/2014 | I2M - Luminy | Post-doc, ENS Lyon | AGLR-LDP |
Jean-Baptiste MIDEZ | Une étude combinatoire du lambda-calcul avec ressources uniforme | Regnier Laurent | Docteur | ED184 | France | CD | 01/10/2010 | 15/12/2014 | I2M - Luminy | Ingénieur méthodes formelles, Systerel, Aix-en-Provence | AGLR-LDP |
Florian CAULLERY | Polynomes sur les corps finis pour la cryptographie | Rodier François | Docteur | ED184 | France | COLLTERR | 01/10/2010 | 28/05/2014 | I2M - Luminy | Lead Cryptographer, DarkMatter, Abu Dhabi, United Arab Emirates | AGLR-ATI |
Yih-Dar SHIEH | Arithmetic aspects of point counting and Frobenius distributions | Kohel David, Lachaud Gilles (co-directeur) | Docteur | ED184 | Taiwan | RP (Ressources personnelles) | 01/09/2009 | 17/12/2015 | I2M - Luminy | Data Scientist at Biggerpan, Paris | AGLR-ATI |
Nicolas DUHAMEL | Formules de Plancherel et théorèmes de Paley-Wiener à trace pour les espaces sphériques | Heiermann Volker, Beuzart-Plessis Raphaël (co-directeur) | - | ED184 | France | AMU (ED) | 01/09/2018 | Abandon le 31/08/2021 | - | AGLR-RGR | |
Alessandro MURCHIO | Unités fondamentales pour les ordres générés par une unité | Louboutin Stéphane | - | ED184 | Italie | AMU (ED) | 01/09/2017 | Abandon le 23/10/2018 | - | - | AGLR-ATI |
Francesca FERRANTE | La modélisation mathématique des dialogues : expérimentation et implémentation | Quatrini Myriam (dir), _ Abrusci Michele (co-dir, Roma Tre, Italie), _ Tronçon Samuel (co-dir, Résurgences) | - | ED184 | Italie | CIFRE Résurgences | 01/09/2014 | Abandon le 24/07/2016 | - | AGLR-LDP |
Nom prénom | Organisme d’origine | Pays | Invitant | Début | Fin | Soutien | Site | Groupe |
---|---|---|---|---|---|---|---|---|
Simon FOREST | LIX, Palaiseau | FRANCE | Lionel Vaux | 01/10/2022 01/09/2021 | 31/12/2022 31/08/2022 | ANR PPS | LUM | AGLR-LDP |
Huajie LI | IMJ-PRG Jussieu | CHINE | Beuzart-Plessis Raphaël | 01/10/2020 | 30/09/2021 | AMIDEX (projet ForReal) | LUM | AGLR-RGR |
Joaquin RODRIGUES JACINTO | UCL London | ARGENTINE | Beuzart-Plessis Raphael | 01/03/2019 | 29/02/2020 | AMIDEX | LUM 320 | AGLR-RGR |
Laura FONTANELLA | EIM | ITALIE | 01/10/2017 | 30/09/2019 | CNRS | LUM 231 | AGLR-LDP | |
Michele BASALDELLA | Université Sienne | ITALIE | Quatrini Myriam | 01/09/2013 | 31/12/2014 | ANR LOGOI | LUM 235 | AGLR-LDP |
Samrith RAM | IIT Bombay, Mumbai | INDE | Rodier François | 01/03/2013 | 30/06/2014 | LABEX Archimède | LUM 107 | AGLR-ATI |
Nom Prénom | Position | Organisme d'origine | Pays | Responsable | Année universitaire | Financement | Site | Groupe |
---|---|---|---|---|---|---|---|---|
Florian VIGUIER | post-doc | IRMA, Strasbourg | FRANCE | 2022-2023 | LUM | AGLR | ||
Ali ISSA | doctorant | IMath, Toulon | LIBAN | Yves Aubry | 2022-2023 | LUM | AGLR-ATI | |
Leonardo COLO | doctorant | I2M, Marseille | ITALIE | David Kohel | 2022-2023 | LUM | AGLR-ATI | |
Bastien PACIFICO | doctorant | I2M, Marseille | FRANCE | Stéphane Ballet | 2021-2023 | LUM | AGLR-ATI | |
Leonardo COLÒ | doctorant | I2M, Marseille | ITALIE | David Kohel | 2021-2022 | LUM | AGLR-ATI | |
Hussein KANSO | doctorant | INRAE, Avignon | LIBAN | Quiliot Bénédicte Marie (ED536 Sciences et agrosciences) | 2020-2021 | - | LUM | AGLR |
Elena BERARDINI | doctorant | I2M, Marseille | ITALIE | – | 2019-2020 | AMU | LUM | AGLR-ATI |
Andrea GAGNA | doctorant | I2M, Marseille | ITALIE | Ara Dimitri | 2018-2019 | AMU | LUM 228 | AGLR-LDP |
Guillaume GEOFFROY | doctorant | I2M, Marseille | FRANCE | Regnier Laurent | 2018-2019 | AMU | LUM 232 | AGLR-LDP |
Sarah DIJOLS | doctorante | I2M, Marseille | FRANCE | Heiermann Volker | 2017-2018 | AMU | LUM 330 | AGLR-RGR |
Benjamin ANDRYSIAK | doctorant | I2M, Marseille | FRANCE | Puschnigg Michael | 2017-2018 | AMU | LUM 314 | AGLR-RGR |
Maxime LUCAS | doctorant | IRIF, Marseille | FRANCE | – | 2017-2018 | AMU | LUM 230 | AGLR-LDP |
Damien JAUVART | doctorant | LMV, Versailles | FRANCE | – | 2017-2018 | AMU | LUM 108 | AGLR-ATI |
Paolo PISTONE | post-doc | I2M, Marseille | FRANCE | Jean-Yves Girard | 2015-2016 | DMM (Aix), AMU | LUM 229 | AGLR-LDP |
Fabio PASQUALI | post-doc | I2M, Marseille | ITALIE | Laurent Regnier | 2014-2015 | DMM, AMU | LUM 235 | AGLR-LDP |
Florian CAULLERY | post-doc | I2M, Marseille | FRANCE | 2013-2015 | DMM (Aix), AMU | LUM 114 | AGLR-ATI |
Nom | Prénom | Grade | Section(s) | Date départ retraite | Début Eméritat | Fin Eméritat | Equipe |
LOUBOUTIN | Stéphane | PREM | 25 | 31/08/2022 | 01/09/2022 | 31/08/2027 | AGLR-ATI |
DELORME | Patrick | PREM | 25 | 01/10/2015 | 01/10/2015 | 01/10/2021 | AGLR-RGR |
RODIER | François | DREM | 41 | 15/01/2015 | 16/01/2015 | 15/01/2025 | AGLR-ATI |
GIRARD | Jean-yves | DREM | 41 | 10/09/2012 | 10/09/2012 | 11/10/2025 | AGLR-LDP |
LACHAUD | Gilles | DREM | 41 | 31/08/2011 | 01/09/2011 | 31/08/2016 | AGLR-ATI |
LABESSE | Jean-Pierre | PREM | 25 | 30/09/2008 | 01/10/2008 | 30/09/2023 | AGLR-RGR |
ROLLAND | Robert | MCF HDR | 25 | 01/09/2007 | 01/09/2015 | 31/08/2021 | AGLR-ATI |
Nom | Fonction | Coordonnées |
---|
Legend
Acronym | Display |
---|
Stagiaire | Formation | Pays | Encadrant | Début | Fin | Durée | Soutien | Site | Groupe |
---|---|---|---|---|---|---|---|---|---|
Kéva DJAMBAE | M2 | KOHEL | 15/04/2022 | 15/06/2022 | 2 mois | I2M | LUM | AGLR-ATI | |
Milan BERGER-GUESNEAU | M2 Math Fonda | FRANCE | PUSCHNIGG | 11/04/2022 | 30/06/2022 | 3 mois | Archimède | LUM | AGLR-RGR |
Zhiyuan DENG | M2 Math Fonda | BEUZART-PLESSIS | 06/04/2022 | 30/06/2022 | 3 mois | Archimède | LUM | AGLR-RGR | |
Karim TIMSIT | M2 Math Fonda | ARA | 04/04/2022 | 03/06/2022 | 2 mois | I2M | LUM | AGLR-LDP | |
Maxime SOMMELLA | M2 Math Fonda | FRANCE | HEIERMANN | 04/04/2022 | 07/07/2022 | 3 mois | I2M / AGLR | LUM | AGLR-RGR |
Axel GASTALDI | M2 Math Fonda | PUSCHNIGG | 04/04/2022 | 30/06/2022 | 3 mois | Archimède | LUM | AGLR-RGR | |
Juliette COUTENS | M2 Math Fonda | BEUZART-PLESSIS | 04/04/2022 | 04/07/2022 | 3 mois | I2M / AGLR | LUM | AGLR-RGR | |
Paul BOISSEAU | M2 Paris-Saclay | BEUZART- PLESSIS | 28/03/2022 | 01/07/2022 | 3 mois | Sans gratification | LUM | AGLR-RGR | |
Rafaele DI DONNA | M2 IMD | VAUX | 28/02/2022 | 01/07/2022 | 4 mois | I2M / AGLR | LUM | AGLR-LDP | |
Victor BLANCHI | M1 | VAUX | 07/02/2022 | 08/07/2022 | 5 mois | AGLR / ANR PPS | LUM | AGLR-LDP | |
Maxime SOMMELLA | M1 AMU | FRANCE | VAUX | 14/06/2021 | 30/07/2021 | 2 mois - | I2M | LUM | AGLR-LDP |
Jean GASNIER | M1 ENS Rennes | FRANCE | BONNECAZE | 21/05/2021 | 23/07/2021 | 2 mois + | Sans gratification | LUM | AGLR-ATI |
Mohamed EZ-ZARRAQ | L3 Univ Lyon 1 | NICOLE | 17/05/2021 | 25/06/2021 | 1 mois + | Sans gratification | LUM | AGLR-RGR | |
Milan BERGER-GUESNEAU | M1 ENS Lyon | FRANCE | HEIERMANN | 17/05/2021 | 16/07/2021 | 2 mois | I2M | LUM | AGLR-RGR |
David ALEXANDRE | L3 Univ Lyon 1 | FRANCE | PUSCHNIGG | 10/05/2021 | 20/06/2021 | 1 mois + | Sans gratification | LUM | AGLR-RGR |
Lazare LE BORGNE | L3 Univ Lyon 1 | FRANCE | PUSCHNIGG | 10/05/2021 | 20/06/2021 | 1 mois + | Sans gratification | LUM | AGLR-RGR |
Enzo MARSOT | L3 Univ Lyon 1 | FRANCE | PUSCHNIGG | 10/05/2021 | 18/06/2021 | 1 mois + | Sans gratification | LUM | AGLR-RGR |
Lucas RETAILLEAU | L3 ENS Rennes | FRANCE | PUSCHNIGG | 10/05/2021 | 06/06/2021 | 1 mois - | Sans gratification | LUM | AGLR-RGR |
Audric LE CUN | M2 MAAP/IMD | FRANCE | REGNIER | 22/03/2021 | 23/07/2021 | 4 mois | I2M, AGLR | LUM 222 | AGLR-LDP |
Thomas CALDICHOURY | M1 Polytech | BEUZART-PLESSIS | 21/03/2021 | 09/07/2021 | 3 mois 19j | Sans gratification | LUM | AGLR-RGR | |
Mavambu DIANKATU | M2 MAAP/IMD | ANGOLA | KOHEL | 16/03/2021 | 15/06/2021 | 3 mois | I2M, AGLR | LUM 110 | AGLR-ATI |
Hamoydy DIA | M2 MAAP/IMD | SENEGAL | KOHEL | 15/03/2021 | 15/06/2021 | 3 mois | I2M, AGLR | LUM 110 | AGLR-ATI |
Guilia MANARA | M2 MAAP/IMD | ITALIE | VAUX | 15/03/2021 | 15/07/2021 | 4 mois | I2M, AGLR | LUM 232 | AGLR-LDP |
Jean-Baptiste VIENNEY | FRANCE | VAUX | 01/02/2021 | 01/08/2021 | 6 mois | ANR, AGLR, IA | LUM | AGLR-LDP | |
Lison BLONDEAU-PATISSIER | FRANCE | VAUX | 11/01/2021 | 11/06/2021 | 5 mois | ANR, AGLR, IA | LUM | AGLR-LDP | |
Rémy CERDA | M2 MDFI | FRANCE | VAUX | 27/01/2020 | 16/06/2020 | 4 mois 7 jours | ENS Lyon | LUM | AGLR-LDP |
Léo HUBERT | M2 | ARA | 15/04/2020 | 15/07/2020 | 3 mois | ARCHIMEDE | LUM | AGLR-LDP | |
Yousra KASBANI | M2 MF | BALLET | 01/03/2020 | 31/05/2020 | 3 mois | I2M/AGLR | LUM | AGLR-ATI | |
Edoardo RIVETTI | M2 IMD | VAUX | 01/03/2020 | 30/06/2020 | 4 mois | I2M/AGLR | LUM | AGLR-LDP | |
Luigi BERNARDI | M2 IMD | BEFFARA | 01/03/2020 | 30/06/2020 | 4 mois | I2M/AGLR | LUM | AGLR-LDP | |
Said COUACHI | M2 | VLADUTS | 01/03/2020 | 04/05/2020 | 2 mois | I2M | LUM | AGLR-ATI | |
Pei-Cheng LEE | M2 Saclay Algèbre appliquée | CHINE | BARTHELEMY | 01/03/2019 | 31/08/2019 | 5 | CNRS (PEPS AMIES) | LUM | AGLR-ATI |
Fabrice ETIENNE | M1 | FRANCE | HEIERMANN | 03/06/2019 | 30/06/2019 | 0 | ENS | LUM | AGLR-RGR |
Baptiste CHANUS | FRANCE | BEFFARA | 04/06/201/ | 19/07/2019 | ENS | LUM | AGLR-LDP | ||
Emma KERINEC | M2 hors AMU | VAUX | 15/04/2019 | 28/07/2019 | 3 | I2M | LUM | AGLR-LDP | |
Simon AUDOUARD | L3 | FRANCE | REGNIER | 27/05/2019 | 21/06/2019 | 1 | I2M | LUM | AGLR-LDP |
Moukaila SOUBOUTOROU | M2 IMD | KOHEL | 02/05/2019 | 01/07/2019 | 1 | I2M | LUM | AGLR-ATI | |
Ernest SPECKA | L3 de Lyon | PUSCHNIGG | 11/06/2018 | 27/07/2018 | ENS | LUM | AGLR-RGR | ||
Pascal CIOT | L3 de Lyon | PUSCHNIGG | 11/06/2018 | 29/06/2018 | ENS | LUM | AGLR-RGR | ||
Bastien PACIFICO | M2 MDFI | FRANCE | BALLET Stéphane | 03/04/2018 | 03/07/2018 | 3 | I2M | LUM | AGLR-ATI |
Nicolas DUHAMEL | M2 MF | FRANCE | R. BEUZART-PLESSIS | 01/04/2018 | 30/06/2018 | 3 | I2M | LUM | AGLR-RGR |
Julien GABET | ENS | FRANCE | BEFFARA | 26/03/2018 | 26/06/2018 | ENS | LUM | AGLR-LDP | |
Diego HERVAULT | M2 MDFI | VLADUTS Serge | 22/03/2018 | 22/06/2018 | 3 | I2M | LUM | AGLR-ATI | |
Davide BARBAROSSA | M2 MDFI | REGNIER Laurent | 19/03/2018 | 19/06/2018 | 3 | I2M | LUM | AGLR-LDP | |
Alexandre CLEMENT | M1 | FRANCE | REGNIER-ARA | 15/05/2017 | 07/07/2017 | 01 mois 24j | ENS Lyon | CG 103 | AGLR-LDP |
Nicolas PIGNARD-FERNANDEZ | L3 | FRANCE | KOHEL | 12/06/2017 | 28/07/2017 | ENS | LUM | AGLR-ATI | |
Federico OLIMPIERI | M2 MDFI | ITALIE | REGNIER | 01/04/2017 | 30/06/2017 | 03 mois | I2M | LUM 232 | AGLR-LDP |
Mohamed Mahdi KOUTCHOUKALI | M2 MDFI | CANADA | BALLET | 01/04/2017 | 30/06/2017 | 03 mois | I2M | LUM 110 | AGLR-ATI |
Laura BROUILHET | M2 MDFI | FRANCE | VLADUTS | 01/04/2017 | 30/06/2017 | 03 mois | I2M | LUM 108 | AGLR-ATI |
Ludovic BRIEULLE | M2 MDFI | FRANCE | KOHEL | 01/04/2017 | 30/06/2017 | 03 mois | I2M | LUM 108 | AGLR-ATI |
Julien GABET | FRANCE | VAUX | 30/05/2016 | 15/07/2016 | 01 mois 17j | ENS | LUM 231 | AGLR-LDP | |
Niels FELD | FRANCE | REGNIER | 30/05/2016 | 08/07/2016 | 01 mois 10j | ENS | LUM 229 | AGLR-LDP | |
Alexandre CLÉMENT | FRANCE | REGNIER | 30/05/2016 | 09/07/2016 | 01 mois 11j | ENS | LUM 232 | AGLR-LDP | |
R. LADZOUZE | FRANCE | Regnier Laurent | 23/05/2016 | 23/07/2016 | 02 mois | LUM 232 | AGLR-LDP | ||
Matteo DE LEO | M2 MDFI | ITALIE | Vaux Lionel | 18/03/2016 | 18/06/2016 | 03 mois | I2M | LUM | AGLR-LDP |
Davide CATTA | M2 MDFI | ITALIE | Quatrini Myriam | 18/03/2016 | 18/06/2016 | 03 mois | I2M | LUM | AGLR-LDP |
Elena BERARDINI | M2 MDFI | ITALIE | Aubry Yves | 14/03/2016 | 30/06/2016 | 03 mois 18j | I2M | LUM | AGLR-ATI |
Jules CHOUQUET | Université Paris 7 M2 LMFI | FRANCE | Vaux Lionel | 01/04/2015 | 31/07/2015 | 02 mois | LabEx Archimède | LUM | AGLR-LDP |
Maxime CHEMIN | Polytech (ingénieur) | FRANCE | Muntean Traian | 16/02/2015 | 14/08/2015 | 06 mois | I2M | LUM | AGLR-ERISCS |
Guillaume GEOFFROY | FRANCE | Regnier Laurent | 19/01/2015 | 26/06/2015 | 05 mois | ENS | LUM | AGLR-LDP | |
Nasser GHADBANE | LMPA, M’sila | ALGÉRIE | Lafont Yves | 26/05/2014 | 27/06/2014 | 01 mois 2j | LUM 233 | AGLR-LDP | |
George H. BUTLER | REPUBLIQUE DOMINICAINE | Aubry Yves | 12/05/2014 | 03/08/2014 | 02 mois 21j | LUM 114 | AGLR-ATI |
Nom | Fonction | Coordonnées |
---|
Legend
Acronym | Display |
---|
ARRIVÉES | |||||
Origine | |||||
DUDAS Olivier | CR CNRS | Recrutement | 2022 | AGLR-RGR | |
MIQUEY Étienne | MCF AMU | Recrutement | 2021 | AGLR-LDP | |
ANNI Samuele | MCF AMU | Recrutement | 2019 | AGLR-ATI | |
SOLE Patrick | DR CNRS | Mutation | 2019 | AGLR-ATI | |
GARCIA-MARCO Ignacio | MCF AMU | Recrutement | 2017 | AGLR-ATI | |
MURANOV Alexei | MCF AMU | Mutation | Toulouse | 2016 | AGLR-LDP |
BEUZART-PLESSIS Raphaël | CR CNRS | Recrutement | 2016 | AGLR-RGR | |
BALAZARD Michel | CR CNRS | Retour détach. | Moscou | 2015 | AGLR-ATI |
FEVRIER Arnaud | MCF AMU | Chgt de labo | Marseille | 2014 | AGLR-ERISCS |
MUGWANEZA Léon | MCF AMU | Chgt de labo | Marseille | 2014 | AGLR-ERISCS |
MUNTEAN Traian | PR AMU | Chgt de labo | Marseille | 2014 | AGLR-ERISCS |
NGUYEN Tin | MCF AMU | Chgt de labo | Marseille | 2014 | AGLR-ERISCS |
ARA Dimitri | MCF AMU | Recrutement | 2014 | AGLR-LDP | |
HEIERMANN Volker | PR AMU | Mutation | Clermont-Ferrand | 2011 | AGLR-RGR |
AUBRY Yves | MCF Toulon | Affectation 50% | 2010 | AGLR-ATI | |
VAUX Lionel | MCF AMU | Recrutement | 2009 | AGLR-LDP | |
NICOLE Marc-Hubert | MCF AMU | Recrutement | 2009 | AGLR-RGR | |
DÉPARTS | |||||
Accueil | |||||
LOUBOUTIN Stéphane | PR AMU | Retraite | 2022 | AGLR-ATI | |
BATTESTI Françoise | MCF AMU | Retraite | 2022 | AGLR-RGR | |
NICOLE Marc-Hubert | MCF AMU | Mutation | 2021 | AGLR-RGR | |
KLIMCIK Ctirad | PR AMU | Chgt de groupe | Groupe AGT | 2021 | AGLR-RGR |
BEFFARA Emmanuel | MCF AMU | Mutation 01/09/2020 | LIG, Grenoble | 2020 | AGLR-LDP |
GARCIA-MARCO Ignacio | MCF AMU | Démission 15/1/2018 | 2018 | AGLR-ATI | |
MUGWANEZA Léon | MCF AMU | Chgt de labo | Polytech Marseille | 2016 | AGLR-ERISCS |
MUNTEAN Traian | PR AMU | Chgt de labo | Polytech Marseille | 2016 | AGLR-ERISCS |
NGUYEN Tin | MCF AMU | Chgt de labo | Polytech Marseille | 2016 | AGLR-ERISCS |
FEVRIER Arnaud | MCF AMU | Chgt de labo | Polytech Marseille | 2016 | AGLR-ERISCS |
BLANC Philippe | CR CNRS | Retraite | 2016 | AGLR-RGR | |
DELORME Patrick | PR AMU | Retraite (émérite) | 2015 | AGLR-RGR | |
RODIER François | DR CNRS | Retraite (émérite) | 2014 | AGLR-ATI | |
RITZENTHALER Christophe | MCF AMU | Promotion PR | Rennes | 2013 | AGLR-ATI |
LACHAUD Gilles | DR CNRS | Retraite (émérite) | 2012 | AGLR-ATI | |
LIARDET Pierre | PR AMU | Retraite (émérite) | 2012 | AGLR-ATI | |
GIRARD Jean-Yves | DR CNRS | Retraite (émérite) | 2012 | AGLR-LDP | |
WASSERMAN Anthony | DR CNRS | Départ | 2012 | AGLR-RGR | |
BALAZARD Michel | CR CNRS | Détachement | Moscou | 2011 | AGLR-ATI |
KASPAROV Guennadi | PR U2 | Mobilité | Vanderbilt, USA | 2010 | AGLR-RGR |
SECHERRE Vincent | PR U2 | Mobilité | Versailles St Quentin | 2010 | AGLR-RGR |
RAUZY Antoine | CR CNRS | Disponibilité | Dassault R&D | 2009 | AGLR-LDP |
EHRHARD Thomas | DR CNRS | Mutation | Jussieu | 2008 | AGLR-LDP |
FLEURY-DONNADIEU Marie-Pierre | MCF U2 | Retraite | 2008 | AGLR-LDP | |
RAMBAUD Christiane | MCF U2 | Retraite | 2008 | AGLR-LDP | |
LABESSE Jean-Pierre | PR U2 | Retraite (émérite) | 2008 | AGLR-RGR |
Publications HAL
2023/07 - Concurrent Realizability on Conjunctive Structures2023/04 - Local cyclic homology of group Banach algebras of "non-positively curved" discrete groups
2023/03 - Démonstration d'une conjecture de Kruyswijk et Meijer sur le plus petit dénominateur des nombres rationnels d'un intervalle
2023/01 - Do CPS translations also translate realizers?
2023/01 Research in Number Theory - On smooth plane models for modular curves of Shimura type
2023/01 Higher Structures - Orientals as free algebras
2023/01 Journal of Pure and Applied Algebra - A categorical characterization of strong Steiner $\omega$-categories
2023/01 - Gödel's Absolute Proofs and Girard's Ludics Mutual Insights
2023/01 Logical Methods in Computer Science - Stateful Realizers for Nonstandard Analysis
2022/12 - Une mesure de Radon invariante sur les $F$-strates unipotentes
2022/12 - D\'eveloppement fin de la contribution unipotente \`a la formule des traces sur un corps global de caract\'eristique p>0, I
2022/11 - La formule des traces tordue pour les corps de fonctions
2022/11 - On the infimum of the absolute value of successive derivatives of a real function defined on a bounded interval
2022/07 - Polynomials with maximal differential uniformity and the exceptional APN conjecture
2022/07 - Fourier-Mukaï transform for $\mathcal{D}^{(0)}$-modules over formal abelian schemes
2022/06 Photonics research - Advanced hybrid plasmonic nano-emitters using smart photopolymer
2022/03 - Transformée de Fourier-Mukai sur les schémas formels
2022/02 - Scattering and a Plancherel formula of spherical varieties for real reductive split groups
2022/02 - On the spectral Theorem of Langlands
2022/01 Publications Mathématiques de L'IHÉS - The global Gan-Gross-Prasad conjecture for unitary groups: the endoscopic case
2022/01 Logical Methods in Computer Science - On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants
2022/01 Algebraic & Geometric Topology - Comparaison des nerfs $n$-catégoriques
2022/01 Journal of Number Theory - Multiplicities and Plancherel formula for the space of nondegenerate Hermitian matrices
2022/01 Contemporary mathematics - A strategy to optimize the complexity of Chudnovsky-type algorithms over the projective line
2022/01 Manuscripta mathematica - A special configuration of $12$ conics and generalized Kummer surfaces
2022/01 Linear Algebra and its Applications - Proof of Cayley-Hamilton theorem using polynomials over the algebra of module endomorphisms
2022/01 Journal of Noncommutative Geometry - Finitely summable γ-elements for word-hyperbolic groups
2021/12 Communications in Mathematics - Sur la variation de certaines suites de parties fractionnaires
2021/12 Logical Methods in Computer Science - An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
2021/12 - D-modules arithmétiques et transformation de Fourier-Mukai
2021/11 - Sur la syntaxe de la sémantique quantitative
2021/11 Journal de l'Institut de Mathématiques de Jussieu - Comparison of local spherical characters and the Ichino-Ikeda conjecture for unitary groups
2021/10 - La formule des traces tordue pour les corps de fonctions
2021/10 Cambridge Journal of Mathematics - Congruences of algebraic automorphic forms and supercuspidal representations
2021/09 - Periodic cyclic homology of crossed products
2021/09 Duke Mathematical Journal - A new proof of Jacquet-Rallis's fundamental lemma
2021/08 ACS Applied Materials & Interfaces - One strategy for nanoparticle assembly onto 1D, 2D, and 3D polymer micro and nanostructures
2021/08 Annals of Mathematics - Isolation of cuspidal spectrum, with application to the Gan--Gross--Prasad conjecture
2021/07 - The Langlands Spectral Decomposition
2021/07 ACS Applied Nano Materials - Three-Dimensional Photoluminescent Crypto-Images Doped with (CdSe)ZnS Quantum Dots by One-Photon and Two-Photon Polymerization
2021/07 - Positional Injectivity for Innocent Strategies
2021/07 - Evidenced Frames: A Unifying Framework Broadening Realizability Models
2021/06 - MELL proof-nets in the category of graphs
2021/06 - Incoherences in Dialogues and their Formalization Focus on Dialogues with Schizophrenic Individuals
2021/06 Compositio Mathematica - Corrigendum: On the cuspidal cohomology of S -arithmetic subgroups of reductive groups over number fields
2021/05 - On the number of effective divisors in algebraic function fields defined over a finite field
2021/05 Journal of Combinatorial Designs - The extended binary quadratic residue code of length 42 holds a 3−design
2021/04 Journal of Algebra and Its Applications - Type IV codes over a non-unital ring
2021/03 - La formule des traces tordue pour les corps de fonctions
2021/03 - On the lattice Hadwiger number of superballs and some other bodies
2021/02 Inventiones Mathematicae - Plancherel formula for $\mathrm{GL}_n(F)\backslash \mathrm{GL}_n(E)$ and applications to the Ichino-Ikeda and formal degree conjectures for unitary groups
2021/02 Finite Fields and Their Applications - Algebraic geometry codes over abelian surfaces containing no absolutely irreducible curves of low genus
2021/02 Russian Mathematical Surveys - On the tensor rank of multiplication in finite extensions of finite fields and related issues in algebraic geometry
2021/01 Applicable Algebra in Engineering, Communication and Computing - Quasi type IV codes over a non-unital ring
2021/01 - Realizability with stateful computations for nonstandard analysis
2021/01 Contemporary mathematics - Bounds on the minimum distance of algebraic geometry codes defined over some families of surfaces
2021/01 - An arithmetical function related to B\'aez-Duarte’s criterion for the Riemann hypothesis
2021/01 - Archimedean theory and $\epsilon$-factors for the Asai Rankin-Selberg integrals
2021/01 international mathematical research notices - The constant term of tempered functions on a real spherical space
2021/01 Applicable Algebra in Engineering, Communication and Computing - Quasi Type IV codes over a non-unital ring
2021/01 Designs, Codes and Cryptography - CONSTRUCTION OF ASYMMETRIC CHUDNOVSKY ALGORITHMS WITHOUT DERIVATED EVALUATION FOR MULTIPLICATION IN FINITE FIELDS
2021/01 Cryptography and Communications–Discrete Structures, Boolean Functions, and Sequences - Optimization of the scalar complexity of Chudnovsky$^2$ multiplication algorithms in finite fields
2021/01 Journal of Algebra and Its Applications - The build-up construction of quasi self-dual codes over a non-unital ring
2021/01 Journal of the American Mathematical Society - Plancherel theory for real spherical spaces: Construction of the Bernstein morphisms
2021/01 Memoirs of the American Mathematical Society - Paley-Wiener theorems for a p-adic spherical variety
2021/01 - On Sato-Tate distributions, extremal traces, and real multiplication in genus 2
2020/12 Journal of the ACM (JACM) - SQISign: compact post-quantum signatures from quaternions and isogenies
2020/12 Mathematische Zeitschrift - Sur le minimum de la fonction de Brjuno
2020/12 Nature Communications - Hybrid plasmonic nano-emitters with controlled single quantum emitter positioning on the local excitation field
2020/11 The Graduate Journal of Mathematics - Autour d'un problème extrémal étudié par Edmund Landau
2020/10 - THE BUILD-UP CONSTRUCTION OVER A COMMUTATIVE NON-UNITAL RING
2020/10 International Mathematics Research Notices - Relative trace formula for compact quotient and pseudocoefficients for relative discrete series
2020/08 - Multiplication in finite fields with Chudnovsky-type algorithms on the projective line
2020/07 - A calculus of expandable stores
2020/06 - Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory
2020/06 - Blind Transfer of Personal Data Achieving Privacy
2020/05 Theory and Applications of Categories - The folk model category structure on strict $\omega$-categories is monoidal
2020/05 Canadian Journal of Mathematics - Données endoscopiques d'un groupe déductif connexe: applications d'une construction de Langlands
2020/04 - Donn\'ees endoscopiques d'un groupe r\'eductif connexe: applications d'une construction de Langlands
2020/03 - Dependent Type Theory in Polarised Sequent Calculus (abstract)
2020/03 Compositio Mathematica - Matching of orbital integrals (transfer) and Roche Hecke algebra isomorphisms
2020/02 Transactions of the American Mathematical Society - Constructing hyperelliptic curves with surjective Galois representations
2020/02 - Quantum emitters based on polymeric structures embedded with quantum dots fabricated via photo-polymerization
2020/01 - Revisiting the duality of computation: an algebraic analysis of classical realizability models
2020/01 - Deterministic Integration of Quantum Emitters by Direct Laser Writing using Two-Photon Polymerization
2020/01 Higher Structures - A Quillen's Theorem A for strict $\infty$-categories II: the $\infty$-categorical proof
2020/01 Mémoires de la Société Mathématique de France - Joint et tranches pour les $\infty$-catégories strictes
2020/01 Asterisque - A local trace formula for the Gan-Gross-Prasad conjecture for unitary groups: the Archimedean case
2020/01 Mathematics - A New Secret Sharing Scheme Based on Polynomials over Finite Fields
2020/01 Proyecciones : Revista de Matemática - Quasi Self-dual Codes over Non-Unital Rings of Order Six
2020/01 Proyecciones : Revista de Matemática - Type IV codes over a non-local non-unital ring
2020/01 Journal of Mathematical Cryptology - Orienting supersingular isogeny graphs
2020/01 Soft Matter - Precise control of the size and gap between gold nanocubes by surface-based synthesis for high SERS performance
2020/01 Photonics research - Towards the integration of nanoemitters by direct laser writing on optical glass waveguides
2019/12 Journal of Number Theory - Central morphisms and cuspidal automorphic representations
2019/12 Journal of Number Theory - Morphismes Centraux, appendice à l'article de Jean-Pierre Labesse et Joachim Schwermer "Central morphisms and cuspidal automorphic representations
2019/09 - Une formation d'ingénieurs dédiée à des personnes en situation de handicap
2019/08 - Hybrid plasmonic nanosystem with controlled position of quantum emitters (Conference Presentation)
2019/07 Logical Methods in Computer Science - Normalizing the Taylor expansion of non-deterministic λ-terms, via parallel reduction of resource vectors
2019/07 Mathematical Proceedings of the Cambridge Philosophical Society - The dendroidal category is a test category
2019/06 - On the scalar complexity of Chudnovsky multiplication algorithm in finite fields
2019/06 Contemporary mathematics - A note on the minimal level of realization for a {${\rm mod}\,\ell$} eigenvalue system
2019/06 - Automorphic Forms and Related Topics
2019/06 - On the tensor rank of multiplication in finite extensions of finite fields and related issues in algebraic geometry
2019/05 Journal of the Institute of Mathematics of Jussieu - INTÉGRALES ORBITALES SUR GL(N,{\Bbb F}_q((t)))
2019/04 Duke Mathematical Journal - A Local Trace Formula for the Generalized Shalika Model
2019/04 Applied Physics Letters - Hybrid plasmonic nanosystem with controlled position of nanoemitters
2019/04 Journal of the London Mathematical Society - A Quillen Theorem B for strict ∞‐categories
2019/03 ACM Transactions on Programming Languages and Systems (TOPLAS) - A Classical Sequent Calculus with Dependent Types
2019/01 - Continuation-and-environment-passing style translations: a focus on call-by-need
2019/01 Journal de Théorie des Nombres de Bordeaux - Computing $\protect \mathcal{L}$-invariants via the Greenberg–Stevens formula
2019/01 Journal de Théorie des Nombres de Bordeaux - Computing $\protect \mathcal{L}$-invariants via the Greenberg–Stevens formula
2019/01 - Arithmetic Geometry: Computation and Applications
2019/01 Acta Arithmetica - Maximal Differential Uniformity Polynomials
2019/01 Aequationes Mathematicae - Sur certaines équations fonctionnelles approchées, liées à la transformation de Gauss
2019/01 Bulletin of the Belgian Mathematical Society - Simon Stevin - Fonctions arithmétiques multiplicativement monotones
2019/01 Asterisque - Progrès récents sur les conjectures de Gan-Gross-Prasad (d'après Jacquet-Rallis, Waldspurger, W. Zhang, etc.)
2019/01 Transactions of the American Mathematical Society - Geometric side of a local relative trace formula
2019/01 Israel Journal of Mathematics - On the reducibility of induced representations for classical p-adic groups and related affine Hecke algebras
2019/01 Proc. Amer. Math. Soc. - The value of the global intertwining operators on spherical vectors
2019/01 The Open Book Series - Arithmetic statistics of Galois groups
2018/11 - Chiral plasmonic effects probed at the single-nanoparticle level
2018/10 Inventiones Mathematicae - On distinguished square-integrable representations for Galois pairs and a conjecture of Prasad
2018/09 - A preview of a tutorial on L (polarized μμ-tilde)
2018/09 - An application of parallel cut elimination in unit-free multiplicative linear logic to the Taylor expansion of proof nets
2018/08 - Integration of Luminescent Nanostructures to Optical Waveguides by Two Photon Polymerization
2018/08 - Energy transfer of emitters assisted by surface plasmons
2018/08 - Chiral plasmonic effects probed at the single-nanoparticle level
2018/08 Mathematical Structures in Computer Science - Transport of finiteness structures and applications
2018/07 - Formalizing Implicative Algebras in Coq
2018/07 - A sequent calculus with dependent types for classical arithmetic
2018/07 - Coherence of Gray Categories via Rewriting
2018/06 - 3D nanostructuring of functional photopolymers for photonics and sensing
2018/06 - Towards energy transfer of nanoemitters assisted by surface plasmons
2018/05 Journal of Pure and Applied Algebra - Differential uniformity and second order derivatives for generic polynomials
2018/04 - Realizability Interpretation and Normalization of Typed Call-by-Need λ-calculus With Control
2018/04 Advances in Mathematics - Un théorème A de Quillen pour les ∞-catégories strictes I : la preuve simpliciale
2018/04 Mathematische Annalen - Neighborhoods at infinity and the Plancherel formula for a reductive p-adic symmetric space
2018/03 - A Classical Sequent Calculus with Dependent Types
2018/02 - Lattices with exponentially large kissing numbers
2018/01 - Relative Aspects in Representation Theory, Langlands Functoriality and Automorphic Forms
2018/01 Annales Scientifiques de l'École Normale Supérieure - Le lemme fondamental pour l'endoscopie tordue: réduction aux éléments unités
2018/01 Logical Methods in Computer Science - Study of behaviours via visitable paths
2018/01 - A general strategy for 1D and 3D patterning nanoparticles on functionalized polymer micro-templates
2017/11 - Classical realizability and side-effects
2017/11 - Hypersurfaces in weighted projective spaces over finite fields with applications to coding theory
2017/11 Mathematics of Computation - Arithmetic in finite fields based on the Chudnovsky-Chudnovsky multiplication algorithm
2017/11 Pacific Journal of Mathematics - A local relative trace formula for PGL(2)
2017/11 Applicable Algebra in Engineering, Communication and Computing - Hamming distances from a function to all codewords of a Generalized Reed-Muller code of order one
2017/09 IEEE Transactions on Computers - Optimization of Tree Modes for Parallel Hash Functions : A case study
2017/08 - Taylor expansion, β-reduction and normalization
2017/07 Comptes Rendus. Mathématique - On the construction of the asymmetric Chudnovsky multiplication algorithm in finite fields without derivated evaluation
2017/07 - Normalization and continuation-passing-style interpretation of simply-typed call-by-need λ-calculus with control
2017/06 - 3D nanostructured hybrid materials for photonics and sensing applications
2017/06 - Immobilisation of GNPs on 1D, 2D AND 3D polymer microtemplates
2017/06 Mathematical Structures in Computer Science - Transcendental syntax I: deterministic case
2017/04 Moscow Journal of Combinatorics and Number Theory - Sur la variation totale de la suite des parties fractionnaires des quotients d'un nombre réel positif par les nombres entiers naturels consécutifs
2017/04 - Twisted mu_4-normal form for elliptic curves
2017/04 - A Classical Sequent Calculus with Dependent Types
2017/03 Asterisque - Représentations des espaces tordus sur un groupe réductif connexe p-adique
2017/02 - The constant term of tempered functions on a real spherical space
2017/01 Ramanujan Journal - Thue equations and CM-fields
2017/01 Contemporary mathematics - Optimal and maximal singular curves
2017/01 IACR Transactions on Symmetric Cryptology - Asymptotic Analysis of Plausible Tree Hash Modes for SHA-3
2017/01 Mathematische Zeitschrift - Local Langlands Correspondence for Classical Groups and Affine Hecke Algebras
2017/01 Transactions of the American Mathematical Society - On the generic local Langlands correspondence for GSpin groups
2017/01 - Arithmetic, Geometry, Cryptography and Coding Theory
2017/01 - Théorie de la mesure et de l'intégration - Cours et exercices corrigés
2016/12 - Local cyclic homology of group Banach algebras I: Hyperbolic groups
2016/12 Research in Number Theory - Residual representations of semistable principally polarized abelian varieties
2016/11 - On The Effective Construction of Asymmetric Chudnovsky Multiplication Algorithms in Finite Fields Without Derivated Evaluation
2016/09 - Spherical character of a supercuspidal representation as weighted orbital integral
2016/09 - Le théorème des nombres premiers
2016/09 Mémoires de la Société Mathématique de France - La conjecture locale de Gross-Prasad pour les représentations tempérées des groupes unitaires
2016/08 - Polymer functionalization for the assembly of gold nanoparticles on 1D, 2D and 3D microstructures
2016/06 - A continuation-passing-style interpretation of simply-typed call-by-need λ-calculus with control within System F
2016/06 - Sur la variation quadratique totale de la suite des parties fractionnaires des quotients d'un nombre réel positif par les nombres entiers naturels consécutifs
2016/05 - Intégrales orbitales sur $GL(N,{\Bbb F}_q((t)))$
2016/05 Graphs and Combinatorics - Free choosability of outerplanar graphs
2016/04 - Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ -terms
2016/02 Pacific Journal of Mathematics - A short proof of the existence of supercuspidal representations for all reductive $p$-adic groups
2016/02 Manuscripta mathematica - A note on Standard Modules and Vogan L-packets
2016/01 - Caractères tordus des représentations admissibles
2016/01 Algebra & Number Theory - Modular elliptic curves over real abelian fields and the generalized Fermat equation x2ℓ+ y2m= zp
2016/01 Glasgow Mathematical Journal - On the number of rational points on Prym varieties over finite fields
2016/01 Comptes rendus de l'Académie des sciences. Série I, Mathématique - Effective arithmetic in finite fields based on Chudnovsky's multiplication algorithm
2016/01 Journal of Algebra and Its Applications - On the construction of elliptic Chudnovsky-type algorithms for multiplication in large extensions of finite fields
2016/01 - Frobenius Distributions: Lang-Trotter and Sato-Tate Conjectures
2016/01 - 25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016, August 29 - September 1, 2016, Marseille, France
2016/01 Mathematical Structures in Computer Science - Classical realizability and arithmetical formulæ
2016/01 - Dependent Types and Multi-Monadic Effects in F*
2016/01 RSC Advances - A general strategy to incorporate a wide range of metallic salts into ring-like organized nanostructures via polymer self-assembly
2015/12 - On the unramified spherical automorphic spectrum
2015/11 - Le lemme fondamental pour l'endoscopie tordue: le cas où le groupe endoscopique non ramifié est un tore
2015/11 - Transcendental syntax 2: non deterministic case
2015/11 - Ludics Characterization of Multiplicative-Additive Linear Behaviours
2015/11 - La transformée de Fourier pour les espaces tordus sur un groupe réductif p-adique
2015/10 Mathematische Zeitschrift - On Serre’s uniformity conjecture for semistable elliptic curves over totally real fields
2015/10 Moscow Mathematical Journal - Sur une équation fonctionnelle approchée due à J. R. Wilton
2015/09 - On the Doubly Sparse Compressed Sensing Problem
2015/08 - Organized metallic nanostructures via polymer self-assembly
2015/08 - What could interaction mean in natural language and how could it be useful?
2015/08 - Twisted Hessian Curves
2015/07 Compositio Mathematica - Endoscopie et conjecture raffinée de Gan-Gross-Prasad pour les groupes unitaires
2015/06 - Géométrie projective
2015/06 - Locally recoverable codes on algebraic curves
2015/05 - Toward dependent choice: a classical sequent calculus with dependent types
2015/04 - Realizability games for arithmetical formulæ
2015/03 - Le type d'homotopie de la \infty-catégorie associée à un complexe simplicial
2015/01 Mathematische Zeitschrift - On autoequivalences of the (\infty, 1)-category of \infty-operads
2015/01 Cahiers de topologie et géométrie différentielle catégoriques - Structures de catégorie de modèles à la Thomason sur la catégorie des 2-catégories strictes
2015/01 Journal of Number Theory - Cyclotomy of Weil Sums of Binomials
2015/01 Moscow Mathematical Journal - On the maximum number of rational points on singular curves over finite fields
2015/01 Computers and Security - New models for efficient authenticated dictionaries
2015/01 - The geometry of efficient arithmetic on elliptic curves
2015/01 Journal of Pure and Applied Algebra - On the Number of Points of Algebraic Sets over Finite Fields
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 Moscow Mathematical Journal - Lower Bounds on the number of rational points of Jacobians over finite fields and application to algebraic function fields in towers.
2014/10 Canadian Journal of Mathematics - Expression d'un facteur epsilon de paire par une formule intégrale
2014/10 Transactions of the American Mathematical Society - Constant term of Eisenstein integrals on a reductive p-adic symmetric space
2014/07 - Divergence in Dialogues *
2014/06 - Théorie des nombres et cryptographie
2014/06 - Authenticated Dictionary Based on Frequency
2014/06 Journal of the London Mathematical Society - A local-global principle for isogenies of prime degree over number fields
2014/05 - La Ludique : une théorie de l'interaction, de la logique mathématique au langage naturel
2014/01 Advances in Mathematics - Vers une structure de catégorie de modèles à la Thomason sur la catégorie des n-catégories strictes
2014/01 Journal of K-theory - Higher quasi-categories vs higher Rezk spaces
2014/01 Comptes rendus de l'Académie des sciences. Série I, Mathématique - Cyclotomie des sommes de Weil binomiales
2014/01 Discrete Applied Mathematics - Every triangle-free induced subgraph of the triangular lattice is $(5m,2m)$-choosable
2014/01 - Authenticated dictionary based on frequency
2014/01 Journal of Lie Theory - Wave packets in the Schwartz space of a reductive p-adic symmetric space
2014/01 LMS Journal of Computation and Mathematics - On the quaternion $\ell$-isogeny path problem
2014/01 Asterisque - The Baum-Connes conjecture with coefficients for word-hyperbolic groups (after Vincent Lafforgue)
2014/01 - 13th International Symposium on Parallel and Distributed Computing ISPDC 2014, IEEE Computer Society, 2014
2014/01 Designs, Codes and Cryptography - On low weight codewords of generalized affine and projective Reed-Muller codes.
2013/11 The Baltic International Yearbook of Cognition, Logic and Communication - ARGUMENTATION AND INFERENCE: A UNIFIED APPROACH
2013/10 - Images of Galois representations
2013/09 - Le fait religieux dans les constitutions des États arabes
2013/09 - La transformée de Fourier pour les espaces tordus sur un groupe réductif p-adique I. Le théorème de Paley-Wiener
2013/06 - Inferences and Dialogues in Ludics
2013/05 - Sur l'autocorrélation multiplicative de la fonction "partie fractionnaire" et une fonction définie par J. R. Wilton
2013/04 - Programmes, preuves et fonctions : le ménage à trois de Curry-Howard
2013/04 - Randomnes in Cryptography
2013/04 - A Digital Signature Scheme Based on Two Hard Problems
2013/02 - La formule des traces tordue d'après le Friday Morning Seminar
2013/01 Theory and Applications of Categories - On homotopy types modelized by strict \infty-groupoids
2013/01 Journal of Pure and Applied Algebra - On the homotopy theory of Grothendieck \infty-groupoids
2013/01 Journal of Pure and Applied Algebra - Strict \infty-groupoids are Grothendieck \infty-groupoids
2013/01 - On a Conjecture of Helleseth
2013/01 Lecture Notes in Computer Science - On a conjecture of Helleseth
2013/01 Acta Arithmetica - On the number of points on abelian and Jacobian varieties over finite fields
2013/01 Designs, Codes and Cryptography - AES Side-Channel Countermeasure using Random Tower Field Constructions
2013/01 Annales de l'Institut Fourier - Formule de Plancherel pour les fonctions de Whittaker sur un groupe réductif p-adique
2013/01 American Journal of Mathematics - On the tempered L-function conjecture
2013/01 - Diagram rewriting and operads
2013/01 Logical Methods in Computer Science - Incarnation in Ludics and maximal cliques of paths
2013/01 - Algebraic Informatics, 5th International Conference on Algebraic Informatics, CAI 2013
2012/12 - Efficient arithmetic on elliptic curves in characteristic 2
2012/09 - Remarques élémentaires sur la fonction de Möbius
2012/07 - Ludics and Natural Language: First Approaches
2012/07 Journal of the Institute of Mathematics of Jussieu - Théorème de Paley-Wiener pour les fonctions de Whittaker sur un groupe réductif p-adique
2012/05 - La formule des traces tordue d'aprés le Friday Morning Seminar
2012/05 - Number of points on abelian and Jacobian varieties over finite fields
2012/05 - Cryptographie : principes et mises en oeuvre - 2e édition revue et augmentée
2012/01 Applied Categorical Structures - The groupoidal analogue Theta~ to Joyal's category Theta is a test category
2012/01 Comptes rendus de l'Académie des sciences. Série I, Mathématique - Sur le nombre de points rationnels des variétés abéliennes et des Jacobiennes sur les corps finis
2012/01 - Arithmetic, Geometry, Cryptography and Coding Theory 2011
2012/01 Advances and Applications in Discrete Mathematics - Vectorial solutions to list multicoloring problems on graphs
2012/01 Fundamenta Mathematicae - Comportement local moyen de la fonction de Brjuno
2012/01 - Normativity in Logic
2012/01 Journal of Algebra - Algébres de Hecke avec paramétres et représentations d'un groupe p-adique classique: préservation du spectre tempéré
2012/01 LMS Journal of Computation and Mathematics - Complete addition laws on abelian varieties
2012/01 Mathématiques et Sciences Humaines - Un cadre formel issu de la théorie de la démonstration pour la théorie de l'argumentation
2012/01 Journal de Théorie des Nombres de Bordeaux - Lower bounds on the class number of algebraic function fields defined over any finite field. Journal de Théorie des nombres de Bordeaux.
2011/12 - Counting Points on Genus 2 Curves with Real Multiplication
2011/12 - Guest editorial for the special issue for Jacques Wolfmann
2011/09 METHODS OF FUNCTIONAL ANALYSIS AND TOPOLOGY - Factor representations of infinite semi-direct products
2011/09 - The blind spot
2011/05 - Choosability of a weighted path and free-choosability of a cycle
2011/04 Theoretical Computer Science - Geometry of Interaction V: Logic in the hyperfinite factor
2011/03 - L’emploi de la cryptographie pour la sécurisation des données sur clés USB
2011/01 Homology, Homotopy and Applications - The Brown-Golasinski model structure on strict $\infty$-groupoids revisited
2011/01 - Cryptography and Communications
2011/01 International Journal On Advances in Networks and Services - Unifom Generators and Combinatorial Design
2011/01 Journal für die reine und angewandte Mathematik - Analytic R-groups of affine Hecke algebras
2011/01 Pacific Journal of Mathematics - An analogue of the Cartan decomposition for p-adic symmetric spaces of split p-adic reductive groups
2011/01 Selecta Mathematica (New Series) - Opérateurs d'entrelacement et algèbres de Hecke avec paramètres d'un groupe réductif p-adique - le cas des groupes classiques
2011/01 Journal of Number Theory - Addition law structure of elliptic curves
2011/01 - Arithmetic of split Kummer surfaces: Montgomery endomorphism of Edwards products
2011/01 - On the stabilization of the trace formula.
2011/01 - Orbital integrals and distributions
2011/01 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 J. K-theory - Finitely summable Fredholm modules over higher rank groups and lattices
2011/01 - The Chern-Connes character is not rationally injective
2011/01 Synthese - Figures of dialogue : a view from Ludics
2011/01 - Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
2011/01 Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences - A note on a Yao's theorem about pseudo-random generators.
2011/01 - On the tensor rank of multiplication in finite extensions of finite fields
2011/01 Publications Mathématiques de Besançon : Algèbre et Théorie des Nombres - Families of curves over any finite field attaining the generalized Drinfeld-Vladut bound.
2011/01 Comptes rendus hebdomadaires des séances de l'Académie des sciences - Minoration du nombre de classes des corps de fonctions algébriques définis sur un corps fini.
2010/11 Lecture Notes in Computer Science - Ludics and Rhetorics
2010/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 - Differentially 4-uniform functions
2010/01 Contemporary mathematics - A few more functions that are not APN infinitely often
2010/01 International Journal of Number Theory - Sur un critère de Baez-Duarte pour l'hypothèse de Riemann
2010/01 - Arithmetic, Geometry, Cryptography and Coding Theory 2009
2010/01 American Journal of Mathematics - Sur le dual unitaire de GLr(D)
2010/01 Geometric And Functional Analysis - New holomorphically closed subalgebras of C*-algebras of hyperbolic groups
2010/01 Mathématiques et Sciences Humaines - Pour une étude du langage via l'interaction : dialogue et sémantique en ludique
2010/01 Acta Arithmetica - On the existence of dimension zero divisors in algebraic function fields defined over F_q.
2010/01 Acta Arithmetica - On the existence of dimension zero divisors in algebraic function fields defined over Fq
2010/01 Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences - The second weight of generalized Reed-Muller codes in most cases
2009/09 - A Non-Uniform Finitary Relational Semantics of System T
2009/07 - Differential linear logic and polarization
2009/06 Journal of Pure and Applied Algebra - Polygraphic resolutions and homology of monoids
2009/06 Lecture Notes in Artificial Intelligence - Ludics and its Applications to natural Language Semantics
2009/05 - L'ORGANISATION DE LA CRYPTOLOGIE MODERNE
2009/05 - Primitive recursion in finiteness spaces
2009/04 Comptes Rendus. Mathématique - Sur l'infimum des parties réelles des zéros des sommes partielles de la fonction zêta de Riemann
2009/01 International Mathematics Research Notices - Paramètres de Langlands et Algèbres d'entrelacement
2009/01 Journal of the Institute of Mathematics of Jussieu - Interprétation de l'Arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
2009/01 Münster Journal of Mathematics - Die universelle unbeschraenkte Derivation
2009/01 Mathematical Structures in Computer Science - The algebraic lambda-calculus
2008/07 - Notes de lecture de l'article "Partial sums of the Möbius function" de Kannan Soundararajan
2008/01 Journal of Number Theory - On some questions related to the Gauss conjecture for function fields
2008/01 - On the semiprimitivity of irreducible cyclic codes
2008/01 On Number Theory and its Applications - On the semiprimitivity of cyclic codes
2008/01 Archiv der Mathematik - Sur la fonction sommatoire de la fonction de von Mangoldt généralisée
2008/01 Journal of Algebra - Higher-dimensional 3-adic CM construction
2008/01 Geometric And Functional Analysis - Characters of Fredholm modules and a problem of Connes
2008/01 Theoretical Computer Science - Uniformity and the Taylor expansion of ordinary lambda-terms
2007/12 - A folk model structure on omega-cat
2007/11 - λ-calcul différentiel et logique classique : interactions calculatoires
2007/11 Annals of Telecommunications - annales des télécommunications - Threshold signature for distributed time stamping scheme
2007/06 - Convolution lambda-bar-mu-calculus
2007/06 - On linear combinations of lambda-terms
2007/01 - Une introduction à la Ludique et à ses applications à la Pragmatique
2007/01 Math. Zeitschr. - Standard Modules Conjecture
2007/01 International Journal of Algebra and Computation - Finitely generated infinite simple groups of infinite commutator width
2007/01 Transactions of the American Mathematical Society - On torsion-free groups with finite regular file bases
2007/01 The Bulletin of Symbolic Logic - Independence property and hyperbolic groups
2007/01 Theoretical Computer Science - The differential lambda-mu-calculus
2006/12 - The 2-adic CM method for genus 2 curves with application to cryptography
2006/11 Theoretical Computer Science - Differential interaction nets
2006/07 - Efficiently Computable Endomorphisms for Hyperelliptic Curves
2006/06 - Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms
2006/06 Annals of Telecommunications - annales des télécommunications - Secure time-stamping schemes: a distributed point of view
2006/01 Bulletin of the Greek Mathematical Society - Class number in non Galois quartic and non abelian Galois octic function fields over finite fields
2006/01 Lecture Notes in Computer Science - On the weights of binary irreducible cyclic codes
2006/01 - On the weight of binary irreducible cyclic codes
2006/01 Functiones et Approximatio Commentarii Mathematici - Sur les dilatations entières de la fonction partie fractionnaire
2006/01 Journal für die reine und angewandte Mathematik - Unipotent Orbits and Local L-functions
2006/01 Bull. Soc. Math. France - Une remarque sur le degré formel d'une série discrète d'un groupe linéaire général p-adique
2006/01 Canad. J. Math. - Orbites unipotentes et pôles d'ordre maximal de la fonction µ de Harish-Chandra
2006/01 Bulletin of the London Mathematical Society - The Weierstrass subgroup of a curve has maximal rank
2006/01 Journal für die reine und angewandte Mathematik - Excision and the Hodge filtration in periodic cyclic homology: the case of splitting and invertible extensions.
2005/01 - Arithmetic, Geometry and Coding Theory
2005/01 - On the weight of binary irreducible cyclic codes
2005/01 Communications in Algebra - Diagrams with selection and method for constructing boundedly generated and boundedly simple groups
2005/01 Annals of Pure and Applied Logic - Polarized and focalized linear and classical proofs
2005/01 - On an application of the definition field descent of a tower of function fields
2005/01 - Cryptographie : Principes et mise en oeuvre
2004/01 Finite Fields and Their Applications - On the characteristic polynomials of the Frobenius endomorphism for projective curves over finite fields
2004/01 Archiv der Mathematik - Divisibility of zeta functions of curves in a covering
2004/01 Journal of Functional Analysis - Filtration de certains espaces de fonctions sur un espace symétrique réductif
2004/01 Lecture Notes in Computer Science - An introduction to uniformity in Ludics
2003/12 Theoretical Computer Science - The differential lambda-calculus
2003/09 IEEE Transactions on Information Theory - Cubic self-dual binary codes
2003/08 Discrete Mathematics - Splitting the shadow
2003/01 Documenta Mathematica - Diffeotopy functors of ind-algebras and local cyclic cohomology
2003/01 - About Translations of Classical Logic into Polarized Linear Logic
2002/12 - Variétés algébriques et corps de fonctions sur un corps fini
2002/07 Inventiones Mathematicae - The Kadison-Kaplansky conjecture for word-hyperbolic groups
2001/10 Discrete Mathematics - Tricolore 3-designs in Type III codes
2001/02 Inventiones Mathematicae - Excision in cyclic homology theories
2000/05 - Broadcasting in Hypercubes under Circuit Switched Model
2000/04 Finite Fields and Their Applications - Group structure on projective spaces and cyclic codes over finite fields
1999/05 IEEE Transactions on Information Theory - Decoding of cyclic codes over F/sub 2/+uF/sub 2
1999/01 Journal of Number Theory - Imaginary bicyclic biquadratic function fields in characteristic two
1999/01 Annales de l'Institut Fourier - Symmetric flows and broadcasting in hypercubes
1998/05 Rendiconti del Circolo Matematico di Palermo - Une remarque sur la fonction D’euler
1998/01 K-Theory - Explicit product structures in cyclic homology theories
1998/01 Journal of Pure and Applied Algebra - Polynômes homogènes à plusieurs variables sur un corps fini Fq qui s'annulent sur l'espace projectif Pm (Fq)
1998/01 Journal of Pure and Applied Algebra - Codage & cryptage
1997/08 - Timeless games
1997/01 Fields Institute Communications - A survey of asymptotic cyclic cohomology
1996/01 Contemporary mathematics - A Weil theorem for singular curves
1996/01 Lecture Notes Series London Mathematical Society - Class number in totally imaginary extensions of totally real function fields
1996/01 - Asymptotic cyclic cohomology
1995/01 Manuscripta mathematica - Coverings of singular curves over finite fields
1992/01 Lecture Notes in Mathematics - Reed-Muller codes associated to projective algebraic varieties
1992/01 - Algebraic geometric codes on surfaces
1991/01 - A New constructive logic : classical logic
1991/01 - On the unity of 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 :
A venir.
Période 2011-2016
Environ 140 publications dans des revues internationales.
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.
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.
Anciens groupes de travail
- Corps Locaux (AGLR-ATI, 2020-2021)
- Algèbres des Quaternions (2019-2020)
- Formule des Traces Relative (AGLR-RGR, 2016-2017)
- Math-Info pour la Théorie de l’Information (MITI) 2015-2016
- Théorie effective des invariants (TEDI) : gdt transverse AGLR / AGT (2014-2016).
tableau en cours de saisie des données…
Incoming
2023-06-09 | Colloquium | Equidistribution: number theory and dynamics (by Valentin Blomer, universität Bonn) |
2023-06-15 | Brede / Stefanesco / Zeilberger | Séminaire Chocola à Lyon |
2023-06-19 | Conference | Representation Theory, Harmonic Analysis and Spherical Varieties |
2023-06-25 | Rencontres | Sur les Systèmes Dynamiques Discrets 2023, à Porquerolles |
Past events
Nom | Position | Origine | Nationalité | Invitant.e | Début | Fin | Financement | Groupe |
---|---|---|---|---|---|---|---|---|
STREICHER Thomas | Professor | TU Darmstadt | ALLEMAGNE | REGNIER | 02/03/2019 | 30/03/2019 | I2M | AGLR-LDP |
OPDAM Eric | Professeur | Univ. Amsterdam, Pays Bas | PAYS-BAS | HEIERMANN | 02/12/2018 | 15/12/2018 | AMU | AGLR-RGR |
MOUSSAOUI | Professeur | Dep. Math & Stat, Univ. Calgary | CANADA | BEUZART-PLESSIS | 22/11/2018 | 24/11/2018 | AMIDEX | AGLR-RGR |
OPDAM Eric | Professor | Amsterdam Univ. | PAYS-BAS | HEIERMANN | 20/05/2018 | 03/06/2018 | AMU | AGLR-RGR |
MANZONETTO Giulio | Professeur | LIPN, Univ. Paris-Nord | ITALE | REGNIER | 19/02/2018 | 19/06/2018 | Fonds Propres | AGLR-LDP |
PETIT Christophe | Professor | Birmingham Univ. | ROYAUME-UNI | KOHEL | 01/02/2018 | 31/07/2018 | Fonds Propres | AGLR-ATI |
JOYAL André | Professeur | UQUAM | CANADA | ARA | 02/10/2017 | 30/10/2017 | AGLR-LDP | |
WILSON | Professeur | John Hopkins Univ., USA | ETATS-UNIS | ARA | 02/10/2017 | 20/10/2017 | AGLR-LDP | |
CIUBATORU Dan | Professeur | Oxford Univ | ROMANIE | HEIERMANN | 19/09/2017 | 01/10/2017 | AMU | AGLR-RGR |
LANARI Edoardo | Doctorant | Macquarie Univ. | AUSTRALIE | ARA | 24/04/2017 | 24/06/2017 | AGLR-LDP | |
SCHOOF René | Professeur | Univ. Roma 2 | ITALIE | KOHEL | 23/04/2017 | 02/05/2017 | CNRS (FRUMAM) | AGLR-ATI |
CIUBATORU Dan | Associate Professor | Oxford Univ. | ROYAUME-UNI | HEIERMANN | 26/03/2017 | 09/04/2017 | AMU | AGLR-RGR |
SCHOOF René | Professeur | Univ. Roma 2 | ITALIE | KOHEL | 26/03/2017 | 04/04/2017 | CNRS (FRUMAM) | AGLR-ATI |
SCHOOF René | Professeur | Univ. Roma 2 | ITALIE | KOHEL | 14/02/2017 | 05/03/2017 | CNRS (FRUMAM) | AGLR-ATI |
CHOUQUET Jules | Doctorant | Univ. Paris Diderot | FRANCE | EHRHARD | 01/10/2016 | 30/09/2017 | ANR RAPIDO | AGLR-LDP |
JOYAL André (wiki) | Professeur émérite | UQAM, Montréal | CANADA | ARA | 19/09/2016 | 15/10/2016 | AMU | AGLR-LDP |
McCUSKER Guy | Professor | Univ. of Bath | ROYAUME-UNI | VAUX | 12/09/2016 | 16/09/2016 | AGLR-LDP | |
LAIRD Jim | Lecturer | Univ. of Bath | ROYAUME-UNI | VAUX | 01/09/2016 | 30/11/2016 | CNRS (FRUMAM) | AGLR-LDP |
STREICHER Thomas | Professor | Darmstadt Univ. | ALLEMAGNE | REGNIER | 05/09/2016 | 02/10/2016 | AMU | AGLR-LDP |
POULAKIS Dimitrios | Professor | AUTh, Thessaloniki | GRECE | BONNECAZE | 25/08/2016 | 23/09/2016 | AMU | AGLR-ATI |
OFFEN Omer | Associate Professor | Technion, Haifa | ISRAËL | HEIERMANN | 15/09/25 | 15/10/07 | AMU | AGLR-RGR |
LEE GunHo | Chercheur | UC, Berkeley | ETATS-UNIS | REGNIER | 16/05/2014 | 07/06/2014 | AGLR-LDP |
Content
ANR, GDR/GDRE, UMI, Réseaux et programmes, Chaire Morlet et autres projets,…
Projets financés par l'Agence Nationale pour la Recherche (ANR) / Projects funded by the French National Agency for Research
Code | Intitulé | Chercheurs I2M | Position | Début | Fin | Liens | Statut |
---|---|---|---|---|---|---|---|
ANR MELODIA | Méthodes pour les variétés abéliennes de petite dimension Methods for Low Dimensional Abelian Varieties | Samuele Anni | Partenariat | 2021/03 | 2025/02 | ANR 4 ans | en cours |
ANR PPS | Sémantique des programmes probabilistes Probabilistic program semantics | Lionel Vaux (local leader) Pierre Clairambault Charles Grellois | Partenariat | 2020/01 | 2023/12 | ANR 4 ans | en cours |
ANR MANTA | Gé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 | Participation | 2015/10 | 2018/09 | ANR 3 ans | terminé |
ANR FERPLAY | Formule 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/02 | 2018/01 | ANR 4 ans | terminé |
ANR CATHRE | Catégories, Homotopie et Réécriture Categories, Homotopy and Rewriting | Matteo Acclavio, Yves Lafont | Participation | 2014/01 | 2017/12 | ANR 4 ans | terminé |
ANR COQUAS | Calculer avec la Sémantique Quantitative COmputing with QUAntitative Semantics | Lionel Vaux | Participation | 2013/01 | 2015/12 | ANR 3 ans | terminé |
ANR PEACE | Espaces 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 Evaluation | David Kohel | Partenariat | 2012/11 | 2015/10 | ANR 3 ans | terminé |
ANR RECRE | Ré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 Vaux | Partenariat | 2011/11 | 2015/10 | ANR 4 ans | terminé |
ANR KInd | K-théorie et théorie de l’Indice K-theory and index theory | Michael Puschnigg | Participation | 2010/12 | 2014/11 | ANR 4 ans | terminé |
ANR LOCI | Locativité et Interaction en Logique, Langage et Informatique Locativity and Interaction in Logic, Linguistics and Computer Sciences | Marie-Renée Fleury, Myriam Quatrini, Lionel Vaux | Partenariat | 2010/11 | 2014/10 | ANR 4 ans | terminé |
ANR LOGOI | Logique et géométrie de l’interaction Logic and Geometry of Interaction | Emmanuel Beffara, Jean-Yves Girard, Myriam Quatrini, Laurent Regnier, Lionel Vaux | Partenariat | 2010/11 | 2015/03 | ANR 4a5m | terminé |
European Research Council (ERC) Funded Projects / Projets européens ERC
Code | Intitulé | Partenaires | Chercheurs I2M | Position | Début | Fin | Liens | Statut |
---|---|---|---|---|---|---|---|---|
ERC RELANTRA | Relative langlands functoriality, trace formulas and harmonic analysis | - | Raphaël Beuzart-Plessis | Coordination Raphaël Beuzart-Plessis | 2022 | 2027 | DR Provence ERC CORDIS | à venir |
The ERC operates according to a "curiosity-driven", or "bottom-up", approach, allowing researchers to identify new opportunities in any field of research.
L'ERC fonctionne selon une approche «motivée par la curiosité» ou «ascendante», permettant aux chercheurs d'identifier de nouvelles opportunités dans n'importe quel domaine de recherche.
1 établissement d'Aix-Marseille Initiative d'Excellence (AMIDEX) avec lequel l'I2M est en partenariat
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’Excellence d’Aix-Marseille, lauréate du label national obtenu dans le cadre du PROGRAMME INVESTISSEMENTS D’AVENIR (PIA). Le projet Idex présenté par Aix-Marseille Université 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éfinitivement 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.
Groupements de Recherche (GdR) / National Research Groups
Code | Intitulé | Partenaires | Chercheurs I2M | Position | Début | Fin | Liens | Statut |
---|---|---|---|---|---|---|---|---|
GDR hTop (ex-TopAlg) | Théorie de l’homotopie et applications | 17 noeuds | Ara Dimitri Yves Lafont Delphine Moussard Léo Hubert, doc Andrea Gagna, postdoc | Coordination locale Dimitri Ara | 2022/01 | 2025/12 | INSMI | en cours |
GDR TLAG | Théorie de Lie Algébrique et Géométrique | Delorme Patrick, Blanc Philippe, Heiermann Volker, Klimcik Ctirad, Labesse Jean-Pierre, Lemaire Bertrand, Nicole Marc-Hubert | Coordination locale Patrick Delorme | 2011/01 | 2018/12 | CNRS-INSMI | en cours | |
GDR GNC | Géométrie Non Commutative | 21 sites européens (France, Belgique, Allemagne, Suisse, Danemark) | Kasparov Gennadi, Puschnigg Michael, Zecki Richard, Wassermann Antony | Participation | 2006/01 | 2019/12 | CNRS-INSMI | en cours |
GDR TopAlg | Topologie Algébrique et Applications | Ara Dimitri | Coordination locale Dimitri Ara | 2005/01 | 2021/12 | CNRS-INSMI | terminé | |
GDR STN | Structuration de la Théorie des Nombres | Laurent 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 Serge | Coordination locale Michel Laurent | 2003/01 | 2018/12 | CNRS-INSMI | terminé | |
GDR IM | Informatique Mathématique | GDAC, AGLR-LDP, Didier Gilles | Participation | 1998/01 | 2021/12 | CNRS-INS2I | en cours |
Le Groupement de recherche est un regroupement d’unités, en totalité ou en partie, et/ou de FRE et/ou d’ERL, relevant ou non du seul CNRS, autour d’un objectif scientifique avec une mise en commun totale ou partielle de leurs moyens.
Les GDR peuvent être propres au CNRS ou constitués en partenariat avec un ou plusieurs organismes(s) institutionnel(s) ou industriel(s). Les GDR sont créés pour une durée de deux à quatre ans renouvelable. Les unités participant à un GDR conservent leur individualité propre.
Projets Exploratoires Premier Soutien (PEPS) / First Support Exploratory Projects
Code | Intitulé | Partenaires | Chercheurs I2M | Début | Fin | Liens | Statut |
---|---|---|---|---|---|---|---|
PEPS AMIES | Porte-clés connecté (mathématiques des objets connectés) | AMIES | _ | 2019/01 | 2019/12 | AMIES Sopra Steria | terminé |
PEPS SFM | Statistiques sur les Formes Modulaires | Samuele Anni | 2019/01 | 2019/12 | INS2I 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.
European Research Networks (ERN) / ex-Groupements De Recherche Européens (GDRE)
Code | Intitulé | Partenaires | Chercheurs I2M | Position | Début | Fin | Liens | Statut |
---|---|---|---|---|---|---|---|---|
GDRE GREFI-MEFI | Groupement 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 Troubetzkoy | Coordination Pierre Picco | 2005/01 | 2016/12 | INdAM, GREFI Roma2, INSMI, Portail Math, Journal CNRS page 12 | terminé |
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 - Programmes / Networks - Programs (MAS, MSCA, RNMS, UFI, PHC,...)
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.
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.
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.
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.
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).
International Research Laboratories (IRL) / Laboratoires de recherche internationaux (ex-UMI)
Intitulé | Partenaires | Chercheurs I2M | Position | Début | Code | Fin | Liens | Statut |
---|---|---|---|---|---|---|---|---|
The Interdisciplinary Scientific Center Poncelet (ISCP) | Russie (RAS, RFBR, IUM, IRIAS) France (CNRS, INRIA) | Michel Balazard Nicolas Bédaride François Hamel Nikolai Nadirashvili Christophe Pittet Yannick Sire Serge Vladuts | Participation | 2006/01 | UMI ISCP | 2022/12 | INSMI 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 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 Convergences

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 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).
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.
Depuis le 1er juillet 2016
- Lionel Vaux : membre du groupe de travail Enseignement de l’informatique de l’IREM Marseille.
- Yves Lafont, Laurent Regnier : membres du groupe de travail Pédagogie Innovante et Outils Numériques (PION) de l’IREM Marseille.
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)
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.
(brevet, contrat industriel, collaboration à une exposition majeure, émission audiovisuelle, partenariats avec des institutions culturelles...)
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-11 | Conference | YACCRYPTED 2020 - International Conference on Cryptography (cancelled) |
2017-05-29 | Rencontre | Crypto'Puces 2017 : du composant au système communicant embarqué (Entreprises) |
2015-05-04 | Rencontre | Crypto'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 AIX-MARSEILLE DE LA CYBERSÉCURITÉ

É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 :
- Samuele Anni, co-responsable du séminaire ATI
- Stéphane Ballet, responsable de l’équipe ATI
- Alexis Bonnecaze, responsable du groupe AGLR
- David Kohel, co-responsable du séminaire ATI
Évènements passés
Type | Activité/Nature | Organisme | Période | Membre impliqué | Autre(s) lien(s) | Équipe |
---|---|---|---|---|---|---|
PEPS First Support Exploration Project | Porte-clés connecté, mathématiques des objets connectés Connected key ring, mathematics of connected objects | AMIES | 2019 | – | Sopra 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 Day | 2013-2016 | Joël COHEN Emilie DELNIEPPE Guillaume GEOFFROY Annamaria IEZZI | Prix d'Alembert 2016 | AGLR-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-2021 | Robert Rolland (Founder) | Acrypta.fr | AGLR-ATI |
Autres liens : CNRS Innovation, AMU Valorisation et innovation, Centrale innovation, AMIES.
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.
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 budgétaire Jessica BOUANANE (en congés) Institut de Mathématiques de Marseille Campus de Luminy 163 avenue de Luminy 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 |
Listes de diffusion (liste du groupe AGLR : i2m-aglr_at_univ-amu.fr)