LRDE Seminar on Performance and Genericity - MAQAO: une suite d'outils pour l'analyse et l’optimisation des performances by Andrés S. Charif Rubial, ESN PeXL et Li-PARAD - Université de Versailles. — 14 June 2017
Olivier Ricou invited to panel discussion at PyParis 2017 Conference at Pôle Universitaire Léonard de Vinci, Paris La Défense, France. — 13 June 2017
He will talk about his experience of making a MOOC on Python.
PublicationIntroducing the Dahu Pseudo-Distance in Mathematical Morphology and Its Application to Signal and Image Processing -- Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) — 23 February 2017
Alexandre Duret-Lutz defends his Habilitation thesis "Contributions to LTL and ω-automata for Model Checking" at EPITA at 2:15pm. — 10 February 2017
LRDE Seminar on Automata - Vcsn : une visite guidée by Akim Demaille, LRDE, et Un outil en ligne de manipulation d'automates et de semi-groupes by Charles Paperman, Université Paris Diderot — 8 February 2017
This new release features some exciting news such as: faster emptiness checks for automata that are not explored on-the-fly, several improvements to the SAT-based minimization procedure, preliminary support for alternating automata, membership tests for all classes of the Manna and Pnueli hierarchy of temporal properties.
The LRDE hosts a new member, Joseph Chazalon, Research Fellow. — 17 January 2017
Joseph Chazalon, postdoc from Laboratoire Image, Informatique et Interaction (L3i) at Université de
La Rochelle, has joined the lab for several months and will work on the MOBIDEM project.
The LRDE hosts a new member, Elodie Puybareau, research engineer, who joins the Olena team. — 1 January 2017
Holding an engineering degree in medical imaging and a PhD in computer science from LIGM, ESIEE, Elodie has worked mainly on automatic extraction of physiological parameters from videos.
She joins LRDE's Olena team where she will work on the MOBIDEM project, especially on automatic extraction of text from images of identity papers.
Nicolas Boutry defends his PhD thesis "A study of well-composedness in n-D" at ESIEE at 2pm. — 14 December 2016
The LRDE hosts a new member, Maximilien Colange, assistant-professor who joins the Spot team. — 1 September 2016
Holding a Ph.D. from University Paris VI his research focuses on formal verification of concurrent systems. He is particularly interested in real-time constrained systems, and in infinite words automata.
The LRDE hosts a new member, Guillaume Tochon, assistant-professor who joins the Olena team. — 1 September 2016
Holding a M.Sc degree from Grenoble Institute of Technology and a Ph.D degree in signal and image processing from University Grenoble Alpes, his research interests lie at the intersection of mathematical morphology, optimization and multimodal data processing for remote sensing applications.