Publications

Who's Online

Since 2000, all the publications of LIP members are included in the HAL open archive. This page indexes those articles. For older ones, please use the sub-menu entries of the Publications menu.

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

Publications per Year

Latest News

Past Events