- Habilitation reports for 2008
- Habilitation reports for 2007
- Habilitation reports for 2006
- Habilitation reports for 2005
- Habilitation reports for 2004
- Habilitation reports for 2003
- Habilitation reports for 2002
- Habilitation reports for 2001
- Habilitation reports for 2000
- Habilitation reports for 1999
- Habilitation reports for 1998
- Habilitation reports for 1997
- Habilitation reports for 1996
- Habilitation reports for 1995
- Habilitation reports for 1994
 |
 |
 |
 |
 |
Who's Online
We have 34 guests and no members online
Latest News
Soutenance HDR: Nicolas Brisebarre, Mardi 5 Septembre à 15h30 en Amphi B.
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/
Past Events
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
Soutenance de thèse: Sebastián Barbieri, Mercredi 28 juin à 14h en Amphi B : Shift spaces in groups: computability and dynamics.
En savoir plus
Soutenance HDR: Michaël Rao, Mardi 27 juin à 10h en Amphi B : Preuves aidées par ordinateur en combinatoire des mots.
En savoir plus
Soutenance HDR: Russ Harmer, Lundi 22 Mai à 10h30, Salle des Thèses : Rule-based meta-modelling for bio-curation.
En savoir plus
The RAMiCS 2017 conference will take place from Monday May 15th to Thursday May 18th 2017, in amphi B, LIP.