Note: this type of publication has been abandoned in 2008.
 |
 |
 |
 |
 |
Who's Online
We have 42 guests and no members online
Latest News
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
Past Events
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.