News subtitle
From LRDE
This is a property of type Text.
N
Invited speakers: Ekkart Kindler - Denmark Technical University, on "Coordinating Interactions: The Event Coordination Notation", and Ryszard Janicki - McMaster University, on "Modeling Concurrency With Interval Traces". +
Within the framework of the cooperation between EPITA and IITJ one B-Tech-student and one postgraduate B-Tech-student from IITJ work with LRDE's [[Olena]]-team from mid-May to mid-August 2015. +
Jan Strejcek, associate professor, and Frantisek Blahoudek, PhD student, from FI MU work with LRDE's [[Spot]]-team. +
You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2015-07-06 here].Seminars are free and open to anyone. +
Ala Eddine joins the [http://limos.isima.fr LIMOS] team. The LRDE members wish him all the best and a good start! +
Etienne Renault will join him there for a week. Both will work during that time with Jan Strejcek, associate professor, and Frantisek Blahoudek, PhD student, from FI MU. +
Vcsn is a platform for weighted automata and rational expressions.
It consists of an efficient C++ generic library, shell tools, Python
bindings, and a graphical interactive environment on top of IPython. +
You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2016-01-20 here].Seminars are free and open to anyone. +
Vcsn is a platform for weighted automata and rational expressions.
It consists of an efficient C++ generic library, shell tools, Python
bindings, and a graphical interactive environment on top of IPython.
This version features some noteworthy changes. +
Invited speakers: Alexandre Duret-Lutz (LRDE/EPITA) on "Spot 2.0" and Maximilien Colange (ENS de Cachan) on "TiAMo, the Timed Automata Model-checker" +
Spot is a C++ library for model checking and manipulation
of temporal logic formula and omega-automata. It also
comes with command-line tools and Python bindings.
Spot 2.0 is the result of 28 months of work, as we starting working on
this branch after the release of Spot 1.2.1 (Dec 2013). +
The 60 selected projects will receive funding from the French state. [https://www.lrde.epita.fr/wiki/MOBIDEM MOBIDEM] (MOBile IDEntity for the Masses) is supported by the competitiveness cluster Systematic. +
He will talk about Big Data, the electric meter called Linky and its risks regarding privacy impact. +
You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2016-07-01 here].Seminars are free and open to anyone. +
Holding a M.Sc degree from [http://www.grenoble-inp.fr Grenoble Institute of Technology] and a Ph.D degree in signal and image processing from [http://www.univ-grenoble-alpes.fr University Grenoble Alpes], his research interests lie at the intersection of mathematical morphology, optimization and multimodal data processing for remote sensing applications. +
Holding a Ph.D. from [http://www.upmc.fr 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. +
Spot 2.2 fixes some serious bugs and adds an assortments of small
improvements. +
The Vcsn team is proud to announce the release of Vcsn 2.4, code-named "the
quotient tools"!
This version features some noteworthy changes. +
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 [https://www.lrde.epita.fr/wiki/MOBIDEM MOBIDEM] project, especially on automatic extraction of text from images of identity papers. +
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. +