{"id":10,"date":"2021-11-12T17:18:28","date_gmt":"2021-11-12T16:18:28","guid":{"rendered":"https:\/\/leria.univ-angers.fr\/?page_id=10"},"modified":"2023-03-14T09:39:19","modified_gmt":"2023-03-14T08:39:19","slug":"presentation","status":"publish","type":"page","link":"https:\/\/leria.univ-angers.fr\/","title":{"rendered":"Pr\u00e9sentation"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Le laboratoire d&#8217;\u00e9tude et de recherche en informatique d&#8217;Angers (LERIA) est une unit\u00e9 de recherche de l&#8217;<a href=\"http:\/\/www.univ-angers.fr\" target=\"_blank\" rel=\"noreferrer noopener\">Universit\u00e9 d&#8217;Angers<\/a>. Situ\u00e9 sur le campus de l&#8217;UFR Sciences, le LERIA compte 23 enseignants-chercheurs dont la quasi-totalit\u00e9 enseigne au d\u00e9partement informatique, 3 BIATSS et une quinzaine de doctorants, post-doctorants, ATER et ECER. Le LERIA est adoss\u00e9 \u00e0 l&#8217;<a href=\"https:\/\/ed-mathstic.doctorat-bretagneloire.fr\/\" target=\"_blank\" rel=\"noreferrer noopener\">\u00e9cole doctorale r\u00e9gionale MathSTIC<\/a> et est rattach\u00e9 \u00e0 la <a href=\"https:\/\/sfrmathstic.univ-angers.fr\/fr\/index.html\" target=\"_blank\" rel=\"noreferrer noopener\">structure f\u00e9d\u00e9rative de recherche MathSTIC<\/a> de l&#8217;universit\u00e9 d&#8217;Angers qui regroupe les laboratoires LAREMA et LARIS.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Le LERIA m\u00e8ne des recherches de nature fondamentale et appliqu\u00e9e dans deux domaines connexes de l\u2019informatique : l\u2019intelligence artificielle et l\u2019optimisation combinatoire (<a href=\"https:\/\/leria.univ-angers.fr\/wp-content\/uploads\/2021\/11\/LERIA.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">livret descriptif<\/a>). Les activit\u00e9s sont regroup\u00e9es et organis\u00e9es en trois th\u00e8mes :<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Apprentissage artificiel et repr\u00e9sentation des connaissances (<a href=\"https:\/\/leria.univ-angers.fr\/?page_id=41\">ARC<\/a>) ;<\/li>\n\n\n\n<li>Raisonnement dans l&#8217;incertain et contraintes (<a href=\"https:\/\/leria.univ-angers.fr\/?page_id=47\">RIC<\/a>) ;<\/li>\n\n\n\n<li>M\u00e9taheuristiques et optimisation combinatoire (<a href=\"https:\/\/leria.univ-angers.fr\/?page_id=44\">MOC<\/a>).<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">Le th\u00e8me ARC s&#8217;int\u00e9resse aux m\u00e9thodes d&#8217;apprentissage artificiel pour les syst\u00e8mes de recommandation, l&#8217;inf\u00e9rence causale et la r\u00e9solution de probl\u00e8mes combinatoires, et \u00e0 leur utilisation dans d&#8217;autres champs disciplinaires tels la bio-informatique, la chimie quantique et l&#8217;archivistique. Un autre domaine d&#8217;\u00e9tudes concerne l&#8217;interrogation de bases de connaissances fond\u00e9es sur des mod\u00e8les de repr\u00e9sentation graphiques.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Le th\u00e8me RIC \u00e9tudie des approches d\u00e9claratives pour la mod\u00e9lisation et la r\u00e9solution de probl\u00e8mes contraints, quantifi\u00e9s ou non : programmation par ensembles-r\u00e9ponses (ASP) pour le raisonnement non-monotone, m\u00e9thodes de mod\u00e9lisation, conversion et reformulation \u00e0 base de contraintes (CHR, CSP ensemblistes, SAT), interpr\u00e9tation abstraite et programmation par contraintes.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Le th\u00e8me MOC f\u00e9d\u00e8re les travaux autour des m\u00e9taheuristiques et des m\u00e9thodes \u00e9volutionnaires pour l&#8217;optimisation combinatoire : r\u00e9solution de probl\u00e8mes de r\u00e9f\u00e9rence NP-complets, m\u00e9thodes et strat\u00e9gies g\u00e9n\u00e9riques de r\u00e9solution, apprentissage de structures de probl\u00e8mes et de composants de r\u00e9solution, \u00e9tude des paysages de fitness et analyse approfondie d&#8217;algorithmes de r\u00e9solution.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">A ces travaux th\u00e9oriques s&#8217;ajoutent le d\u00e9veloppement d&#8217;approches \u00e0 vis\u00e9e applicative. Ces travaux, men\u00e9s dans le cadre de collaborations industrielles ou de projets pluridisciplinaires, recouvrent des domaines vari\u00e9s. Citons par exemple la planification logistique par optimisation combinatoire, l&#8217;analyse logique de donn\u00e9es biologiques fond\u00e9e sur le raisonnement symbolique, la programmation par contraintes pour l&#8217;ing\u00e9nierie des mod\u00e8les, ou encore l&#8217;analyse comparative de cartes cognitives dans le domaine de la p\u00eache.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Le LERIA s&#8217;appuie sur un r\u00e9seau de partenaires acad\u00e9miques et industriels \u00e0 l&#8217;\u00e9chelle r\u00e9gionale, nationale et internationale (Allemagne, Royaume-Uni, Chine, Chili, Mexique, Canada &#8230;) et utilise diff\u00e9rents instruments de financement (AAP r\u00e9gionaux, CIFRE, ANR, PHC &#8230;). A noter que les chercheurs du LERIA assurent des activit\u00e9s cons\u00e9quentes de formation \u00e0 la recherche (master recherche du <a href=\"http:\/\/www.info.univ-angers.fr\" target=\"_blank\" rel=\"noreferrer noopener\">d\u00e9partement informatique<\/a>, formations doctorales des ED MathSTIC et VENAM), et d&#8217;animation de la recherche (GDR IA, CNU 27, PFIA 2020).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Eric Monfroy<br>Directeur du LERIA<\/p>\n\n\n\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container is-layout-flow wp-block-group-is-layout-flow\">\n<p class=\"wp-block-paragraph\"><\/p>\n<\/div><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Le laboratoire d&#8217;\u00e9tude et de recherche en informatique d&#8217;Angers (LERIA) est une unit\u00e9 de recherche de l&#8217;Universit\u00e9 d&#8217;Angers. Situ\u00e9 sur le campus de l&#8217;UFR Sciences, le LERIA compte 23 enseignants-chercheurs dont la quasi-totalit\u00e9 enseigne au d\u00e9partement informatique, 3 BIATSS et &hellip; <a href=\"https:\/\/leria.univ-angers.fr\/\">Continuer la lecture <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":12,"featured_media":0,"parent":0,"menu_order":1,"comment_status":"closed","ping_status":"closed","template":"sidebar-page.php","meta":{"footnotes":""},"class_list":["post-10","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/leria.univ-angers.fr\/index.php?rest_route=\/wp\/v2\/pages\/10","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/leria.univ-angers.fr\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/leria.univ-angers.fr\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/leria.univ-angers.fr\/index.php?rest_route=\/wp\/v2\/users\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/leria.univ-angers.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=10"}],"version-history":[{"count":11,"href":"https:\/\/leria.univ-angers.fr\/index.php?rest_route=\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":252,"href":"https:\/\/leria.univ-angers.fr\/index.php?rest_route=\/wp\/v2\/pages\/10\/revisions\/252"}],"wp:attachment":[{"href":"https:\/\/leria.univ-angers.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}