Search
After a year 2023 marked by major successes and awards, both in France and internationally, the start-up QUANTEEC, led by Daniel Négru, has reached
Florian Boyer (I&S department) will present his thesis entitled: "Speech recognition for French and integration into a spoken language understanding
Presentation The methods of logic and language theory are applied to graphs and other combinatorial objects such as maps that formalize graph drawings
The study of dynamic networks has gained increasingly more interest over recent years, motivated mainly by emerging technological contexts like
2024 - 2023 - 2022 - 2021 - 2020 PhD thesis 12/02/2024 – Thibault Hilaire: «Coverability algorithms for Petri nets certified in Coq» Manuscript ------