PLUME

The old Plume web site mysteriously ceased working over the weekend of the 24th/25th February. We have built a new one which will soon come online. In the meantime, here are the essential details of the team.

Upcoming seminars

Lundi 26/03 @ 14h00, salle B1. Simon Iosti (IMAG) The synthesis of eventually safe properties via Good-for-Games automata.

Jeudi 12/04, amphi B. Chocola: Glynn Winskel (University of Cambridge), TBA and TBA.

Lundi 23/04 @ 14h00, salle B1. Laure Daviaud (Warwick University).

Jeudi 26/04 @ 9h30, 1 place de l'école. Séminaire LSC: Warwick Tucker (Uppsala), Matthieu Moy (LIP) and TBA.

Recent seminars

Lundi 19/03 @ 14h00, salle B1. Christian Doczkal. A formal proof of the graph minor theorem for treewidth two.

Jeudi 15/03, amphi B. Chocola: Marcelo Fiore (University of Cambridge), Bérénice Delcroix-Oger (IRIF), Samuel Mimram (LIX).

Jeudi 8/03 @ 9h30, amphi J. Séminaire LSC: Albert Cohen (INRIA), Abdallah Arioua (LIRIS) and Guilhem Jaber (LIP).

Lundi 5/03 @ 14h00, salle B1. Valia Mitsou (IRIF). Limitations of treewidth for problems beyond NP.

Permanent members

Philippe AUDEBAUD (MCF, ENSL).

Patrick BAILLOT (DR, CNRS). Directeur du LIP.

Pierre CLAIRAMBAULT (CR, CNRS).

Cathérine DESPLANCHES. Assistante d'équipe.

Russ HARMER (CR, CNRS). Chef d'équipe.

Daniel HIRSCHKOFF (MCF, ENSL). Directeur adjoint du DI.

Denis KUPERBERG (CR, CNRS).

Olivier LAURENT (DR, CNRS).

Pierre LESCANNE (PR émérite, ENSL).

Matteo MIO (CR, CNRS).

Damien POUS (DR, CNRS).

Colin RIBA (MCF, ENSL).

Post-docs and PhD students

Aurore ALCOLEI (PhD student).

Marc BAGNOL (post-doc).

Florent BRÉHARD (PhD student).

Henning BASOLD (post-doc).

Marc DE VISME (PhD student).

Christian DOCZKAL (post-doc CoVeCe).

Adrien DURIER (PhD student).

Amina DOUMANE (post-doc CoVeCe).

Guilhem JABER (post-doc MILyon).

Sébastien LÉGARÉ (post-doc).

Eugenia OSHURKO (PhD student).

Laureline PINAULT (PhD student).

Pierre PRADIC (PhD student).

Valeria VIGNUDELLI (post-doc CoVeCe).