 |
 |
 |
 |
 |
We have 30 guests and no members online
Rencontres «Arithmétique de l'Informatique Mathématique» (RAIM 2017)
Les RAIM 2017 sont organisées du 24 au 26 octobre 2017 au LIP. Ces rencontres rassemblent notamment des membres du GT-Arithmétique autour de différents thèmes : arithmétique des ordinateurs, validation numérique et preuve formelle, calcul scientifique...
Soutenance HDR, Christophe Crespelle, mardi 26 septembre 2017, Amphi Schrödinger, à 13:45, Structures of Complex Networks and of their Dynamics.
Soutenance de thèse, Maroua MAALEJ, mardi 26 septembre 2017, salle des thèses, à 14:00, Low-cost memory analyses for efficient compilers.
Soutenance de thèse, Oguz Kaya, vendredi 15 septembre 2017, Amphi B à 14:00, Algorithmes Parallèles pour les Décompositions des Tenseurs.
Soutenance HDR: Nicolas Brisebarre, mardi 5 sept., 15h30, Amphi B, Un peu de théorie des nombres et de calcul formel au service de l’arithmétique des ordinateurs.
The conference ISSAC17 was held in July in Germany. Two articles received a Best student paper award, and the authors did their work while in LIP (Team AriC and MC2). Well done!
Vincent Neiger and Thi Xuan Vu. Computing canonical bases of modules of univariate relations.
Ignacio Garcia Marco, Pascal Koiran and Timothee Pecatte. Reconstruction algorithms for sums of affine powers.
Michaël Rao prouve une très ancienne conjecture sur les pavages.
Pour tout savoir, c'est ici :
https://www.quantamagazine.org/pentagon-tiling-proof-solves-century-old-math-problem-20170711/
Soutenance de thèse: Simon Castellan, Jeudi 13 juillet à 10h30 en Amphi B : Structures concurrentes en sémantique des jeux / Concurrent structures in game semantics
En savoir plus
Soutenance de thèse: Aurélien Cavelan, Vendredi 7 juillet à 14h00 en Salle des Thèses: "Scheduling algorithms and resilience patterns for fail-stop and silent errors"
En savoir plus
Soutenance de thèse: Antoine Plet, Vendredi 7 juillet à 14h00 en Amphi A: "Contributions to error analysis of algorithms in floating-point arithmetic"
Soutenance de thèse: Valentina Popescu, Jeudi 6 juillet à 14h30 en Amphi A: "Towards fast and certified multiple-precision libraries"
En savoir plus
Soutenance de thèse: Matthieu Rosenfeld, Jeudi 29 juin à 10h en Amphi B : Avoidability of Abelian Repetitions in Words.
En savoir plus
