News subtitle
From LRDE
This is a property of type Text.
N
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. +
You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2017-01-31 here].Seminars are free and open to anyone. +
The Vcsners are proud to announce the release of Vcsn 2.5, aka the
k-lightest release! +
He will talk about his experience of making a MOOC on Python. +
You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2017-07-04 here].Seminars are free and open to anyone. +
Holding an engineering degree from [http://ense3.grenoble-inp.fr Grenoble INP - Ense3] in the field of signal and image processing, Julie joins the image team of LRDE. She is working on real-time hyperspectral retinal holography on GPU with the [https://www.institut-langevin.espci.fr/home Langevin Institute] and the [https://www.quinze-vingts.fr Quinze-Vingts National Ophthalmology Hospital]. +
More tools, and more support for complex acceptance conditions. +
After his engineering degree from [https://eisti.fr EISTI], Michaël has worked as a software developer at the Informatics development Laboratory (LDI) at [http://www-list.cea.fr CEA/LIST], then at [https://www.murex.com Murex], before joining the image team of LRDE for his PhD. He studies the possibilities that the modern C++ offers to improve Olena, especially concerning its generic aspect. +
After his PhD thesis defense at LRDE in 2015, Edwin has been working for two years as an Imaging Science Engineer at [http://www.dxo.com/fr DxO]. Now he joins LRDE's image team to maintain and develop the image processing library [[Olena]]. He will also be involved in several projects, such as the detection of fibrosis in 3D images of the heart using deep learning methods. +
This version includes improvements in the build system, better performances, and extended consistency for a better, smoother, user experience. +
The main features of this release are algorithms for working with parity acceptance, new functions to convert to co-Büchi when possible, a new tool for LTL synthesis, and some speedup of our determinization algorithm. +
You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2018-01-24 here]. Seminars are free and open to anyone. +
This version is mostly a bug fix release, with improvements in the documentation, based on user feedback. +
After having started last year to work at the lab as a postdoc from Laboratoire Image, Informatique et Interaction (L3i) of Université de La Rochelle, Joseph joins now the lab as assistant professor specialized in computer vision. He will continue to work on the projects of the [[Olena]] team. +
Invited speakers : Étienne Renault - LRDE-EPITA, "The quest for an efficient LTL model-checking", and Mathias Ramparison - LIPN, Université Paris 13, "Timed automata with parametric updates" +
You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2018-07-03 here]. Seminars are free and open to anyone. +
The selected projects will receive funding from the French state. [https://www.lrde.epita.fr/wiki/SoDUCo SoDUCo] stands for SOcial Dynamics in Urban COntext. +
[[User:Theo|Thierry Géraud]] took over as Head of LRDE. [[User:Ricou|Olivier Ricou]] stood down after 10 years of service. +
You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2019-01-16 here]. Seminars are free and open to anyone. +
Holding a PhD on pushdown model checking from [https://www.univ-paris-diderot.fr Université Paris 7], his research interests gravitate naturally towards automata theory and formal verification. He will contribute to the [[Spot]] team's projects, [[TickTac]] in particular. +