Technical Reports per Year

Who's Online

Note: this type of article is abandonned since 2009.

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

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.

http://ramics-conference.org/

Who's Online

Technical Reports per Year

Latest News

Past Events