A fruitful collaboration between the OBELIX team and LIRIS in Lyon
HEADING NEWS
Awards & nominations
OBELIX team wins Günter Enderle Best Paper Award
Submitted on 29/04/2024
Awards & nominations
Congratulations to Iris de Gélis, winner of the AFRIF 2023 thesis prize
Congratulations to Iris de Gélis, formerly a doctoral student in the Obelix research team, who has been awarded the AFRIF 2023 thesis prize.
Submitted on 25/04/2024
Awards & nominations
Congratulations to Aurèle Barrière on winning the EAPLS Best Dissertation Award 2023
Aurèle Barrière, a former doctoral student in the Epicure research team, has won the EAPLS Best Dissertation Award 2023 for his thesis.
Submitted on 25/04/2024
SCIENTIFIC MEETINGS
Conferences - Seminars/Workshop - Thesis defense/HDR
14
May
2024
May
2024
Thesis defense
Vincent Rébiscoul (EPICURE)
Analyse Statique pour Sémantique Squelettique / Static Analysis for Skeletal Semantics.
Vincent Rébiscoul (EPICURE)
Analyse Statique pour Sémantique Squelettique / Static Analysis for Skeletal Semantics.
22
May
2024
May
2024
Workshop
École Technologique 2024 (22-23 mai) + Journée Technique : Drones (24 mai)
École Technologique 2024 (22-23 mai) + Journée Technique : Drones (24 mai)
27
May
2024
May
2024
Seminar
MOVEP'24: 16th school on modelling and verification of parallel processes
MOVEP'24: 16th school on modelling and verification of parallel processes