News subtitle
From LRDE
This is a property of type Text.
N
You can find the programme [https://www.lrde.epita.fr/wiki/Student_Seminar_2019-07-01 here]. Seminars are free and open to anyone. +
You can find the programme [https://www.lrde.epita.fr/wiki/Student_Seminar_2019-07-02 here]. Seminars are free and open to anyone. +
After completing the [http://www-master.ufr-info-p6.jussieu.fr/parcours/androide/ ANDROIDE Master program in Computer Science] from Sorbonne University, Anissa joins the Verification team at LRDE for her PhD. Her work consists in parallelizing and optimizing Bounded Model Checking for program verification. Florian holds the Master's degree of the [https://formations.univ-paris-diderot.fr/fr/offre-de-formation/master-lmd-XB/sciences-technologies-sante-STS/master-informatique-parcours-master-parisien-de-recherche-en-informatique-JS1KXQFK.html Parisian Master of Research in Computer Science], where he focused on automata theory and algorithmics. He joins the LRDE for his PhD to work on ω-automata and contribute to Spot. +
You can find the programme [https://www.lrde.epita.fr/wiki/Student_Seminar_2020-01-20 here]. Seminars are free and open to anyone. +
Lê Duy Huynh and Nicolas Boutry have won the first prize of the [https://ead2020.grand-challenge.org/ Endoscopy Artefact Detection and Segmentation Challenge (EAD2020)] against 31 other participating teams. This challenge was organized during the 17th [http://2020.biomedicalimaging.org/ International Symposium on Biomedical Imaging (ISBI)]. +
Due to the current pandemic, the conference European Lisp Symposium couldn't be held in Zurich, as originally planned. The event was thus prerecorded and broadcast on Twitch, free and open-access to everyone, resulting in an unprecedented number of virtual attendees. All the videos remain available [https://www.twitch.tv/elsconf/videos here]. +
In this webinar, Nicolas Boutry from LRDE presents how to segment with Convolutional Neural Networks (CNN's) white and grey matters in multi-modal MRI 3D brain images of 6-months year old children. His demonstration is based on a dataset from the [http://iseg2017.web.unc.edu/ iSeg2017 challenge]. +
Holding a Master degree in Computer Science from [https://www.unicamp.br Universidade Estadual de Campinas], Caroline joins LRDE’s Image team where she will focus on Explainability of Convolutional Neural Networks. Her PhD will be conducted in cooperation with [http://ligm.u-pem.fr Laboratoire d’Informatique Gaspard-Monge]. +
After completing [https://www.epita.fr/nos-formations/diplome-ingenieur/cycle-ingenieur/les-majeures/ EPITA's IMAGE and RDI double major], Baptiste is back at LRDE for his PhD. Having worked on noise estimation in natural images with mathematical morphology approaches, he will now focus on how to conciliate genericity and performance of image processing algorithms in dynamic contexts, especially noise estimation as a validation framework. +
E. Puybareau and G. Tochon from LRDE invite the [https://www.imcce.fr/recherche/equipes/pegase/ Pegase team from IMCCE] to present the respective themes of the two communities (image processing and AI for the former, astronomy for the latter) and to discuss their possible interactions. +
The LEMONADE project (LEarning and MOdeliNg spectrAl Dynamics of satellite image time sEries) has been selected by the French National Research Agency as a research project coordinated by young researchers (JCJC). The project’s principal investigator is Lucas Drumetz ([https://www.imt-atlantique.fr IMT-Atlantique, Lab-STICC]), with Mauro Dalla Mura ([http://www.gipsa-lab.fr Grenoble-INP, GIPSA-Lab]) and Guillaume Tochon from LRDE as partners. The project will start in October 2021. The goal of this project is to learn and model, with deep neural network approaches, the spectral dynamics of satellite image time series. +
Ulrich (Uli) Fahrenberg holds a PhD in algebraic topology from [https://www.en.aau.dk Aalborg University, Denmark]. After a postdoc at [https://www.inria.fr/fr/centre-inria-rennes-bretagne-atlantique Inria Rennes], followed by a position at [https://www.polytechnique.edu École polytechnique], he starts now as associate professor at EPITA Rennes and will work together with LRDE’s [[Spot]] team on automata theory, concurrency theory, real-time verification, and general quantitative verification. +
Sven recently completed his PhD at [https://www.uni-leipzig.de/ Leipzig University] where he considered weighted ω-automata. Weighted automata are used to describe quantitative properties of systems. At LRDE, Sven will investigate quantitative model checking and contribute to [[Spot]]. +
After completing [https://www.epita.fr/nos-formations/diplome-ingenieur/cycle-ingenieur/les-majeures/ EPITA's IMAGE and RDI double major], Antoine is back at LRDE for his PhD. Having worked on parallel algorithms for automata and model checking, then on a model checker for Go programs, he will now focus on efficient translation of industrial temporal logics to ω-automata. +
Holding [https://www.epita.fr/nos-formations/diplome-ingenieur/cycle-ingenieur/les-majeures/ EPITA's degree with IMAGE and RDI double major], Thibault comes back to LRDE for a PhD in medical imaging. He will continue to work on medical image segmentation, using lightweight neural networks and medical knowledge as well as adding explainability to the segmentation process. +
Marc Plantevit holds a PhD in Computer Science from [https://www.umontpellier.fr Montpellier University] and a HDR from [https://www.universite-lyon.fr Lyon University]. Before joining EPITA Lyon and LRDE, he was an associate professor at [https://www.univ-lyon1.fr University Claude Bernard Lyon 1] and head of the [https://liris.cnrs.fr/en/team/dm2l Data Mining & Machine Learning research group] at LIRIS lab. His research is mainly concerned with foundation of data mining, graph mining, subgroup discovery and explainable artificial intelligence. He is also interested in the application of machine learning in wide applications such as Neuroscience (olfaction), Electricity price forecasting, recommender systems, etc. +
He will give a talk as part of the joint seminar [https://www.fi.muni.cz/dfseminar/index.html.en of the DIMEA and FORMELA teams] on practical applications of the "Alternating Cycle Decomposition". His stay will be an opportunity to work on site with Jan Strejček, associate professor from FI MU. +
GETCO is a conference series on Geometric and Topological Methods in Computer Science. The initial focus of GETCO was on concurrent and distributed computing, but the application area keeps expanding and now also includes higher categories and rewriting, dynamic and hybrid systems, robotics, and topological data analysis. +
Edwin Carlinet and Joseph Chazalon from LRE presented at the [https://soduco.github.io/soduco_bnf_seminars BNF Seminar] the latest advances of the [https://anr.fr/Projet-ANR-18-CE38-0013 ANR SoDUCo project] regarding mass extraction of 10 M entries from historical directories. Marie Puren presented the results of the [https://github.com/mpuren/agoda AGODA project], funded by the BNF, showcasing structured transcriptions of French Parliament debates from the 19th century, extracted in a semi-automated fashion. +
Guillaume Tochon gave a plenary talk at the annual seminar of the [https://gdmm2022.sciencesconf.org Discrete Geometry and Mathematical Morphology Research Group], on the topic of learning mathematical morphology operations with morphological neural networks. He presented the latest results obtained at LRE with RDI students (from [https://www.epita.fr/diplome-ingenieur/cycle-ingenieur/les-majeures/ EPITA’s research double major]) and in collaboration with the Center for Mathematical Morphology ([https://www.cmm.minesparis.psl.eu CMM, Mines ParisTech]). +