Difference between revisions of "Home/fr"

From LRDE

(/* A la une (Toutes les actualités…) {{#ask: Category:News OR Category:Publications Published has news::true OR Category:LrdeBulletin OR Category:OlenaNews Is global news::true | format = feed | order = descending | sort = News date | page = full |...)
Line 21: Line 21:
 
}}
 
}}
   
<center>[[File:entree-lrde.jpg|256px|How to come|link=Contact/fr]]
+
<center>[[File:Plus-beau.jpg|256px|How to come|link=Contact/fr]]
 
</center>
 
</center>
   

Revision as of 14:20, 12 March 2020


Le LRDE est un laboratoire de recherche sous tutelle de l’Ecole Pour l’Informatique et les Techniques Avancées (EPITA). Appartenant à une école privée, le LRDE est une exception dans un monde où la recherche académique scientifique est quasi exclusivement du ressort d’organismes publics. Il est composé de deux professeurs, d'une dizaine d'enseignants-chercheurs et chercheurs invités, de deux ingénieurs de recherche, d'une assistante administrative, de six thésards et d'une dizaine d'étudiants-chercheurs.

Les principales thématiques de recherche sont : « Reconnaissance des formes » et « Automates et vérification » avec un axe transversal, la « Programmation générique et performante ».

Fort de sa production scientifique et de ses collaborations universitaires, le LRDE est engagé dans des collaborations avec des partenaires industriels et participe à des projets de recherche académiques internes et collaboratifs.

A la une (Toutes les actualités…) RSS

  • LRDE Seminar on Performance and Genericity - Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems — 22 June 2022
    by Daniel Stan, Technische Universität Kaiserslautern
  • Publication Généricité dynamique pour des algorithmes morphologiques in Proceedings of the 28st Symposium on Signal and Image Processing (GRETSI) — 15 June 2022
  • Publication Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique in Proceedings of the 28st Symposium on Signal and Image Processing (GRETSI) — 15 June 2022
  • Publication From Spot 2.0 to Spot 2.10: What's New? in Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22) — 6 June 2022
  • International conference GETCO 2022 co-organized with École polytechnique at EPITA from 30 May to 3 June — 30 May 2022
    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.
  • Alexandre Duret-Lutz invited to Faculty of Informatics, Masaryk University, Czech Republic, for a week. — 23 May 2022
    He will give a talk as part of the joint seminar 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.
How to come

Présentation du LRDE   Thèmes de Recherche   Contact