Publications per Year

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