CINXE.COM

<!DOCTYPE html> <html lang="fr-FR"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1">  <title>LORIA » MOSEL-VERIDIS</title>    <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/css/bootstrap.min.css" integrity="sha384-1q8mTJOASx8j1Au+a5WDVnPi2lkFfwwEAa8hDDdjZlpLegxhjVME1fgjWPGmkzs7" crossorigin="anonymous"> <link rel="stylesheet" href="https://www.loria.fr/wp-content/themes/loria2016/style.css"> <link rel="stylesheet" href="https://www.loria.fr/wp-content/themes/loria2016/fonts.css"> <link rel="stylesheet" href="https://www.loria.fr/wp-content/themes/loria2016/mobiles.css">  <link href='https://fonts.googleapis.com/css?family=Noto+Sans|Open+Sans:400,600,700|Raleway:400,500' rel='stylesheet' type='text/css'>     <meta name='robots' content='max-image-preview:large' /> <link rel="alternate" href="https://www.loria.fr/fr/la-recherche/les-equipes/mosel-veridis/" hreflang="fr" /> <link rel="alternate" href="https://www.loria.fr/en/research/teams/mosel-veridis/" hreflang="en" /> <link rel='dns-prefetch' href='//www.loria.fr' /> <link rel='dns-prefetch' href='//platform-api.sharethis.com' /> <script type="text/javascript"> /* <![CDATA[ */ window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/15.0.3\/72x72\/","ext":".png","svgUrl":"https:\/\/s.w.org\/images\/core\/emoji\/15.0.3\/svg\/","svgExt":".svg","source":{"concatemoji":"https:\/\/www.loria.fr\/wp-includes\/js\/wp-emoji-release.min.js?ver=3ca5cef8e69e8a6ac369ad63b865ae4f"}}; /*! This file is auto-generated */ !function(i,n){var o,s,e;function c(e){try{var t={supportTests:e,timestamp:(new Date).valueOf()};sessionStorage.setItem(o,JSON.stringify(t))}catch(e){}}function p(e,t,n){e.clearRect(0,0,e.canvas.width,e.canvas.height),e.fillText(t,0,0);var t=new Uint32Array(e.getImageData(0,0,e.canvas.width,e.canvas.height).data),r=(e.clearRect(0,0,e.canvas.width,e.canvas.height),e.fillText(n,0,0),new Uint32Array(e.getImageData(0,0,e.canvas.width,e.canvas.height).data));return t.every(function(e,t){return e===r[t]})}function u(e,t,n){switch(t){case"flag":return n(e,"\ud83c\udff3\ufe0f\u200d\u26a7\ufe0f","\ud83c\udff3\ufe0f\u200b\u26a7\ufe0f")?!1:!n(e,"\ud83c\uddfa\ud83c\uddf3","\ud83c\uddfa\u200b\ud83c\uddf3")&&!n(e,"\ud83c\udff4\udb40\udc67\udb40\udc62\udb40\udc65\udb40\udc6e\udb40\udc67\udb40\udc7f","\ud83c\udff4\u200b\udb40\udc67\u200b\udb40\udc62\u200b\udb40\udc65\u200b\udb40\udc6e\u200b\udb40\udc67\u200b\udb40\udc7f");case"emoji":return!n(e,"\ud83d\udc26\u200d\u2b1b","\ud83d\udc26\u200b\u2b1b")}return!1}function f(e,t,n){var r="undefined"!=typeof WorkerGlobalScope&&self instanceof WorkerGlobalScope?new OffscreenCanvas(300,150):i.createElement("canvas"),a=r.getContext("2d",{willReadFrequently:!0}),o=(a.textBaseline="top",a.font="600 32px Arial",{});return e.forEach(function(e){o[e]=t(a,e,n)}),o}function t(e){var t=i.createElement("script");t.src=e,t.defer=!0,i.head.appendChild(t)}"undefined"!=typeof Promise&&(o="wpEmojiSettingsSupports",s=["flag","emoji"],n.supports={everything:!0,everythingExceptFlag:!0},e=new Promise(function(e){i.addEventListener("DOMContentLoaded",e,{once:!0})}),new Promise(function(t){var n=function(){try{var e=JSON.parse(sessionStorage.getItem(o));if("object"==typeof e&&"number"==typeof e.timestamp&&(new Date).valueOf()<e.timestamp+604800&&"object"==typeof e.supportTests)return e.supportTests}catch(e){}return null}();if(!n){if("undefined"!=typeof Worker&&"undefined"!=typeof OffscreenCanvas&&"undefined"!=typeof URL&&URL.createObjectURL&&"undefined"!=typeof Blob)try{var e="postMessage("+f.toString()+"("+[JSON.stringify(s),u.toString(),p.toString()].join(",")+"));",r=new Blob([e],{type:"text/javascript"}),a=new Worker(URL.createObjectURL(r),{name:"wpTestEmojiSupports"});return void(a.onmessage=function(e){c(n=e.data),a.terminate(),t(n)})}catch(e){}c(n=f(s,u,p))}t(n)}).then(function(e){for(var t in e)n.supports[t]=e[t],n.supports.everything=n.supports.everything&&n.supports[t],"flag"!==t&&(n.supports.everythingExceptFlag=n.supports.everythingExceptFlag&&n.supports[t]);n.supports.everythingExceptFlag=n.supports.everythingExceptFlag&&!n.supports.flag,n.DOMReady=!1,n.readyCallback=function(){n.DOMReady=!0}}).then(function(){return e}).then(function(){var e;n.supports.everything||(n.readyCallback(),(e=n.source||{}).concatemoji?t(e.concatemoji):e.wpemoji&&e.twemoji&&(t(e.twemoji),t(e.wpemoji)))}))}((window,document),window._wpemojiSettings); /* ]]> */ </script> <style id='wp-emoji-styles-inline-css' type='text/css'> img.wp-smiley, img.emoji { display: inline !important; border: none !important; box-shadow: none !important; height: 1em !important; width: 1em !important; margin: 0 0.07em !important; vertical-align: -0.1em !important; background: none !important; padding: 0 !important; } </style> <link rel='stylesheet' id='wp-block-library-css' href='https://www.loria.fr/wp-includes/css/dist/block-library/style.min.css?ver=3ca5cef8e69e8a6ac369ad63b865ae4f' type='text/css' media='all' /> <link rel='stylesheet' id='mappress-leaflet-css' href='https://www.loria.fr/wp-content/plugins/mappress-google-maps-for-wordpress/lib/leaflet/leaflet.css?ver=1.7.1' type='text/css' media='all' /> <link rel='stylesheet' id='mappress-css' href='https://www.loria.fr/wp-content/plugins/mappress-google-maps-for-wordpress/css/mappress.css?ver=2.92.1' type='text/css' media='all' /> <style id='classic-theme-styles-inline-css' type='text/css'> /*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none} </style> <style id='global-styles-inline-css' type='text/css'> body{--wp--preset--color--black: #000000;--wp--preset--color--cyan-bluish-gray: #abb8c3;--wp--preset--color--white: #ffffff;--wp--preset--color--pale-pink: #f78da7;--wp--preset--color--vivid-red: #cf2e2e;--wp--preset--color--luminous-vivid-orange: #ff6900;--wp--preset--color--luminous-vivid-amber: #fcb900;--wp--preset--color--light-green-cyan: #7bdcb5;--wp--preset--color--vivid-green-cyan: #00d084;--wp--preset--color--pale-cyan-blue: #8ed1fc;--wp--preset--color--vivid-cyan-blue: #0693e3;--wp--preset--color--vivid-purple: #9b51e0;--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple: linear-gradient(135deg,rgba(6,147,227,1) 0%,rgb(155,81,224) 100%);--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan: linear-gradient(135deg,rgb(122,220,180) 0%,rgb(0,208,130) 100%);--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange: linear-gradient(135deg,rgba(252,185,0,1) 0%,rgba(255,105,0,1) 100%);--wp--preset--gradient--luminous-vivid-orange-to-vivid-red: linear-gradient(135deg,rgba(255,105,0,1) 0%,rgb(207,46,46) 100%);--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray: linear-gradient(135deg,rgb(238,238,238) 0%,rgb(169,184,195) 100%);--wp--preset--gradient--cool-to-warm-spectrum: linear-gradient(135deg,rgb(74,234,220) 0%,rgb(151,120,209) 20%,rgb(207,42,186) 40%,rgb(238,44,130) 60%,rgb(251,105,98) 80%,rgb(254,248,76) 100%);--wp--preset--gradient--blush-light-purple: linear-gradient(135deg,rgb(255,206,236) 0%,rgb(152,150,240) 100%);--wp--preset--gradient--blush-bordeaux: linear-gradient(135deg,rgb(254,205,165) 0%,rgb(254,45,45) 50%,rgb(107,0,62) 100%);--wp--preset--gradient--luminous-dusk: linear-gradient(135deg,rgb(255,203,112) 0%,rgb(199,81,192) 50%,rgb(65,88,208) 100%);--wp--preset--gradient--pale-ocean: linear-gradient(135deg,rgb(255,245,203) 0%,rgb(182,227,212) 50%,rgb(51,167,181) 100%);--wp--preset--gradient--electric-grass: linear-gradient(135deg,rgb(202,248,128) 0%,rgb(113,206,126) 100%);--wp--preset--gradient--midnight: linear-gradient(135deg,rgb(2,3,129) 0%,rgb(40,116,252) 100%);--wp--preset--font-size--small: 13px;--wp--preset--font-size--medium: 20px;--wp--preset--font-size--large: 36px;--wp--preset--font-size--x-large: 42px;--wp--preset--spacing--20: 0.44rem;--wp--preset--spacing--30: 0.67rem;--wp--preset--spacing--40: 1rem;--wp--preset--spacing--50: 1.5rem;--wp--preset--spacing--60: 2.25rem;--wp--preset--spacing--70: 3.38rem;--wp--preset--spacing--80: 5.06rem;--wp--preset--shadow--natural: 6px 6px 9px rgba(0, 0, 0, 0.2);--wp--preset--shadow--deep: 12px 12px 50px rgba(0, 0, 0, 0.4);--wp--preset--shadow--sharp: 6px 6px 0px rgba(0, 0, 0, 0.2);--wp--preset--shadow--outlined: 6px 6px 0px -3px rgba(255, 255, 255, 1), 6px 6px rgba(0, 0, 0, 1);--wp--preset--shadow--crisp: 6px 6px 0px rgba(0, 0, 0, 1);}:where(.is-layout-flex){gap: 0.5em;}:where(.is-layout-grid){gap: 0.5em;}body .is-layout-flex{display: flex;}body .is-layout-flex{flex-wrap: wrap;align-items: center;}body .is-layout-flex > *{margin: 0;}body .is-layout-grid{display: grid;}body .is-layout-grid > *{margin: 0;}:where(.wp-block-columns.is-layout-flex){gap: 2em;}:where(.wp-block-columns.is-layout-grid){gap: 2em;}:where(.wp-block-post-template.is-layout-flex){gap: 1.25em;}:where(.wp-block-post-template.is-layout-grid){gap: 1.25em;}.has-black-color{color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-color{color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-color{color: var(--wp--preset--color--white) !important;}.has-pale-pink-color{color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-color{color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-color{color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-color{color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-color{color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-color{color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-color{color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-color{color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-color{color: var(--wp--preset--color--vivid-purple) !important;}.has-black-background-color{background-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-background-color{background-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-background-color{background-color: var(--wp--preset--color--white) !important;}.has-pale-pink-background-color{background-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-background-color{background-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-background-color{background-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-background-color{background-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-background-color{background-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-background-color{background-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-background-color{background-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-background-color{background-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-background-color{background-color: var(--wp--preset--color--vivid-purple) !important;}.has-black-border-color{border-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-border-color{border-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-border-color{border-color: var(--wp--preset--color--white) !important;}.has-pale-pink-border-color{border-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-border-color{border-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-border-color{border-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-border-color{border-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-border-color{border-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-border-color{border-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-border-color{border-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-border-color{border-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-border-color{border-color: var(--wp--preset--color--vivid-purple) !important;}.has-vivid-cyan-blue-to-vivid-purple-gradient-background{background: var(--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple) !important;}.has-light-green-cyan-to-vivid-green-cyan-gradient-background{background: var(--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan) !important;}.has-luminous-vivid-amber-to-luminous-vivid-orange-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange) !important;}.has-luminous-vivid-orange-to-vivid-red-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-orange-to-vivid-red) !important;}.has-very-light-gray-to-cyan-bluish-gray-gradient-background{background: var(--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray) !important;}.has-cool-to-warm-spectrum-gradient-background{background: var(--wp--preset--gradient--cool-to-warm-spectrum) !important;}.has-blush-light-purple-gradient-background{background: var(--wp--preset--gradient--blush-light-purple) !important;}.has-blush-bordeaux-gradient-background{background: var(--wp--preset--gradient--blush-bordeaux) !important;}.has-luminous-dusk-gradient-background{background: var(--wp--preset--gradient--luminous-dusk) !important;}.has-pale-ocean-gradient-background{background: var(--wp--preset--gradient--pale-ocean) !important;}.has-electric-grass-gradient-background{background: var(--wp--preset--gradient--electric-grass) !important;}.has-midnight-gradient-background{background: var(--wp--preset--gradient--midnight) !important;}.has-small-font-size{font-size: var(--wp--preset--font-size--small) !important;}.has-medium-font-size{font-size: var(--wp--preset--font-size--medium) !important;}.has-large-font-size{font-size: var(--wp--preset--font-size--large) !important;}.has-x-large-font-size{font-size: var(--wp--preset--font-size--x-large) !important;} .wp-block-navigation a:where(:not(.wp-element-button)){color: inherit;} :where(.wp-block-post-template.is-layout-flex){gap: 1.25em;}:where(.wp-block-post-template.is-layout-grid){gap: 1.25em;} :where(.wp-block-columns.is-layout-flex){gap: 2em;}:where(.wp-block-columns.is-layout-grid){gap: 2em;} .wp-block-pullquote{font-size: 1.5em;line-height: 1.6;} </style> <link rel='stylesheet' id='acd-style-css' href='https://www.loria.fr/wp-content/plugins/archives-by-category-and-date/css/acd-style.css?ver=3ca5cef8e69e8a6ac369ad63b865ae4f' type='text/css' media='all' /> <link rel='stylesheet' id='collapsed-archives-style-css' href='https://www.loria.fr/wp-content/plugins/collapsed-archives/style.css?ver=3ca5cef8e69e8a6ac369ad63b865ae4f' type='text/css' media='all' /> <link rel='stylesheet' id='contact-form-7-css' href='https://www.loria.fr/wp-content/plugins/contact-form-7/includes/css/styles.css?ver=5.7.7' type='text/css' media='all' /> <link rel='stylesheet' id='page-list-style-css' href='https://www.loria.fr/wp-content/plugins/sitemap/css/page-list.css?ver=4.4' type='text/css' media='all' /> <link rel='stylesheet' id='dashicons-css' href='https://www.loria.fr/wp-includes/css/dashicons.min.css?ver=3ca5cef8e69e8a6ac369ad63b865ae4f' type='text/css' media='all' /> <link rel='stylesheet' id='elementor-frontend-css' href='https://www.loria.fr/wp-content/plugins/elementor/assets/css/frontend.min.css?ver=3.16.5' type='text/css' media='all' /> <link rel='stylesheet' id='eael-general-css' href='https://www.loria.fr/wp-content/plugins/essential-addons-for-elementor-lite/assets/front-end/css/view/general.min.css?ver=6.0.2' type='text/css' media='all' /> <script type="text/javascript" src="//platform-api.sharethis.com/js/sharethis.js?ver=8.5.0#property=624f0e92b17de8001a450745&product=gdpr-compliance-tool-v2&source=simple-share-buttons-adder-wordpress" id="simple-share-buttons-adder-mu-js"></script> <script type="text/javascript" src="https://www.loria.fr/wp-includes/js/jquery/jquery.min.js?ver=3.7.1" id="jquery-core-js"></script> <script type="text/javascript" src="https://www.loria.fr/wp-includes/js/jquery/jquery-migrate.min.js?ver=3.4.1" id="jquery-migrate-js"></script> <link rel="https://api.w.org/" href="https://www.loria.fr/wp-json/" /><link rel="alternate" type="application/json" href="https://www.loria.fr/wp-json/wp/v2/pages/1408" /><link rel="EditURI" type="application/rsd+xml" title="RSD" href="https://www.loria.fr/xmlrpc.php?rsd" /> <link rel="canonical" href="https://www.loria.fr/fr/la-recherche/les-equipes/mosel-veridis/" /> <link rel='shortlink' href='https://www.loria.fr/?p=1408' /> <meta name="tec-api-version" content="v1"><meta name="tec-api-origin" content="https://www.loria.fr"><link rel="alternate" href="https://www.loria.fr/wp-json/tribe/events/v1/" /><meta name="generator" content="Elementor 3.16.5; features: e_dom_optimization, e_optimized_assets_loading, additional_custom_breakpoints; settings: css_print_method-external, google_font-enabled, font_display-auto"> <link rel="shortcut icon" href="/wp-content/uploads/2017/08/favicon.ico" /> </head> <body>  <div class="container header"> <a href="/"><img class="logo" src="https://www.loria.fr/wp-content/themes/loria2016/medias/logo_loria_complet.jpg" alt="" /></a> <div class="pull-right">   <form role="search" method="get" class="searchform group search-form" action="https://www.loria.fr/fr/">  <input type="search" class="search-field form-control" placeholder="Rechercher sur ce site..." value="" name="s" title="Rechercher聽:" />  </form>  <form class="search-people-form" name="searchform_people" method="POST" action="https://annuaire.inria.fr" target="blank" autocomplete="off" id="livesearch1">  <input name="sn" type="text" size="18" title="Nom" accesskey="4" class="searchField inputLabel inputLabelActive form-control" id="searchGadget" autocomplete="off" placeholder="Rechercher dans l'annuaire..."> <input type="hidden" name="namematch" value="sub"> <input type="hidden" name="urmatch" value="UR-Lorraine"> <input type="hidden" name="valid" value="1"> <input type="hidden" name="lang" value="fr">  </form> </div> <ul class="language-selector pull-right"> <ul> <li class="lang-item lang-item-2 lang-item-fr current-lang lang-item-first"><a lang="fr-FR" hreflang="fr-FR" href="https://www.loria.fr/fr/la-recherche/les-equipes/mosel-veridis/"><img src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAALCAMAAABBPP0LAAAAbFBMVEVzldTg4ODS0tLxDwDtAwDjAADD0uz39/fy8vL3k4nzgna4yOixwuXu7u7s6+zn5+fyd2rvcGPtZljYAABrjNCpvOHrWkxegsqfs93NAADpUUFRd8THAABBa7wnVbERRKa8vLyxsLCoqKigoKClCvcsAAAAXklEQVR4AS3JxUEAQQAEwZo13Mk/R9w5/7UERJCIGIgj5qfRJZEpPyNfCgJTjMR1eRRnJiExFJz5Mf1PokWr/UztIjRGQ3V486u0HO55m634U6dMcf0RNPfkVCTvKjO16xHA8miowAAAAABJRU5ErkJggg==" alt="Fran莽ais" width="16" height="11" style="width: 16px; height: 11px;" /></a></li> <li class="lang-item lang-item-5 lang-item-en"><a lang="en-US" hreflang="en-US" href="https://www.loria.fr/en/research/teams/mosel-veridis/"><img src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAALCAMAAABBPP0LAAAAt1BMVEWSmb66z+18msdig8La3u+tYX9IaLc7W7BagbmcUW+kqMr/q6n+//+hsNv/lIr/jIGMnNLJyOP9/fyQttT/wb3/////aWn+YWF5kNT0oqz0i4ueqtIZNJjhvt/8gn//WVr/6+rN1+o9RKZwgcMPJpX/VFT9UEn+RUX8Ozv2Ly+FGzdYZrfU1e/8LS/lQkG/mbVUX60AE231hHtcdMb0mp3qYFTFwNu3w9prcqSURGNDaaIUMX5FNW5wYt7AAAAAjklEQVR4AR3HNUJEMQCGwf+L8RR36ajR+1+CEuvRdd8kK9MNAiRQNgJmVDAt1yM6kSzYVJUsPNssAk5N7ZFKjVNFAY4co6TAOI+kyQm+LFUEBEKKzuWUNB7rSH/rSnvOulOGk+QlXTBqMIrfYX4tSe2nP3iRa/KNK7uTmWJ5a9+erZ3d+18od4ytiZdvZyuKWy8o3UpTVAAAAABJRU5ErkJggg==" alt="English" width="16" height="11" style="width: 16px; height: 11px;" /></a></li> </ul> </ul> </div>  <div class="container navbar">  <nav class="navbar navbar-inverse"> <div class="container-fluid"> <div class="navbar-header"> <button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar"> <span class="sr-only">Toggle navigation</span> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> </div> <div id="navbar" class="navbar-collapse collapse"> <div class="navbar-nav nav"><ul><li ><a href="https://www.loria.fr/">Accueil</a></li><li class="page_item page-item-29 page_item_has_children"><a href="https://www.loria.fr/fr/presentation/">Le Loria</a></li><li class="page_item page-item-145 page_item_has_children"><a href="https://www.loria.fr/en/loria/">Loria</a></li><li class="page_item page-item-34 page_item_has_children current_page_ancestor"><a href="https://www.loria.fr/fr/la-recherche/">La Recherche</a></li><li class="page_item page-item-150 page_item_has_children"><a href="https://www.loria.fr/en/research/">Research</a></li><li class="page_item page-item-37 page_item_has_children"><a href="https://www.loria.fr/fr/productions/">Productions</a></li><li class="page_item page-item-152 page_item_has_children"><a href="https://www.loria.fr/en/scientific-production/">Scientific production</a></li><li class="page_item page-item-39 page_item_has_children"><a href="https://www.loria.fr/fr/emplois/">Emplois</a></li><li class="page_item page-item-2677 page_item_has_children"><a href="https://www.loria.fr/fr/formations/">Formations</a></li><li class="page_item page-item-155"><a href="https://www.loria.fr/en/jobs/">Jobs</a></li><li class="page_item page-item-41 page_item_has_children"><a href="https://www.loria.fr/fr/innovation/">Innovation</a></li><li class="page_item page-item-3177 page_item_has_children"><a href="https://www.loria.fr/en/training/">Training</a></li></ul></div></div> </div> </nav>  <nav class="navbar navbar-inverse navbar-fixed-top navbar-invisible hidden-xs"> <div class="container-fluid no-border"> <div class="navbar-header"> <button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar"> <span class="sr-only">Toggle navigation</span> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> </div> <div id="navbar" class="navbar-collapse collapse"> <div class="navbar-nav nav"><ul><li ><a href="https://www.loria.fr/">Accueil</a></li><li class="page_item page-item-29 page_item_has_children"><a href="https://www.loria.fr/fr/presentation/">Le Loria</a></li><li class="page_item page-item-145 page_item_has_children"><a href="https://www.loria.fr/en/loria/">Loria</a></li><li class="page_item page-item-34 page_item_has_children current_page_ancestor"><a href="https://www.loria.fr/fr/la-recherche/">La Recherche</a></li><li class="page_item page-item-150 page_item_has_children"><a href="https://www.loria.fr/en/research/">Research</a></li><li class="page_item page-item-37 page_item_has_children"><a href="https://www.loria.fr/fr/productions/">Productions</a></li><li class="page_item page-item-152 page_item_has_children"><a href="https://www.loria.fr/en/scientific-production/">Scientific production</a></li><li class="page_item page-item-39 page_item_has_children"><a href="https://www.loria.fr/fr/emplois/">Emplois</a></li><li class="page_item page-item-2677 page_item_has_children"><a href="https://www.loria.fr/fr/formations/">Formations</a></li><li class="page_item page-item-155"><a href="https://www.loria.fr/en/jobs/">Jobs</a></li><li class="page_item page-item-41 page_item_has_children"><a href="https://www.loria.fr/fr/innovation/">Innovation</a></li><li class="page_item page-item-3177 page_item_has_children"><a href="https://www.loria.fr/en/training/">Training</a></li></ul></div></div> </div> </nav> </div> <body> <div class="container content"> <div class="row news"> <div class="breadcrumbs" typeof="BreadcrumbList" vocab="https://schema.org/">  <span property="itemListElement" typeof="ListItem"><a property="item" typeof="WebPage" title="Go to LORIA." href="https://www.loria.fr" class="home"><span property="name">LORIA</span></a><meta property="position" content="1"></span> > <span property="itemListElement" typeof="ListItem"><a property="item" typeof="WebPage" title="Go to La Recherche." href="https://www.loria.fr/fr/la-recherche/" class="post post-page"><span property="name">La Recherche</span></a><meta property="position" content="2"></span> > <span property="itemListElement" typeof="ListItem"><a property="item" typeof="WebPage" title="Go to Les 茅quipes." href="https://www.loria.fr/fr/la-recherche/les-equipes/" class="post post-page"><span property="name">Les 茅quipes</span></a><meta property="position" content="3"></span> > <span property="itemListElement" typeof="ListItem"><a property="item" typeof="WebPage" title="Go to MOSEL-VERIDIS." href="https://www.loria.fr/fr/la-recherche/les-equipes/mosel-veridis/" class="post post-page current-item"><span property="name">MOSEL-VERIDIS</span></a><meta property="position" content="4"></span> </div>  <div class="col-sm-3"> <div class="nav-widget widget menu"><h1>Navigation</h1>   <ul> <a class='navigation-back' href='https://www.loria.fr/fr/la-recherche/les-equipes/'>< Les 茅quipes</a><br /> </ul> </div> </div> <div class="col-sm-6 news-content page-content the-content">  <h1 class="the-title">MOSEL-VERIDIS</h1> <div id="parent-fieldname-description" class="documentDescription">M茅thodes formelles & applications</div> <p><span id="more-1408"></span></p> <div id="parent-fieldname-text" class=""> <p style="text-align: center;"><i>D茅partement 2 : M茅thodes formelles</i></p> <p style="text-align: justify;"><strong>Responsable de l’茅quipe : Dominique M茅ry</strong><br /> T茅l. : +33 3 83 59 20 19<br /> Mail : dominique.mery@loria.fr</p> <h3 style="text-align: justify;">Sites de l’茅quipe :</h3> <p><a href="http://mosel.loria.fr/">Mosel</a></p> <p><a href="http://veridis.loria.fr/">Veridis</a></p> <h2 style="text-align: justify;">Pr茅sentation</h2> <p style="text-align: justify;">La ma卯trise de la qualit茅 du logiciel est un enjeu critique ; les m茅thodes de sp茅cification ou de programmation doivent assurer cette qualit茅, en se fondant sur des th茅ories math茅matiques ou logiques. Nos objectifs concernent l鈥櫭﹖ude de m茅thodes et de formalismes pour la sp茅cification, le raffinement et le d茅veloppement de programmes ou de syst猫mes et l鈥檃pplication de ces techniques 脿 des domaines comme le parall茅lisme, les syst猫mes distribu茅s, les t茅l茅communications, les syst猫mes s茅curitaires.</p> <h2 style="text-align: justify;">Axes th茅matiques</h2> <ul> <li>Conception de m茅thodologie pour les syst猫mes distribu茅s</li> <li>Outils pour v茅rification et validation de syst猫mes</li> </ul> <h2 style="text-align: justify;">Logiciels</h2> <ul> <li>VeriT solver</li> <li>TLA+</li> <li>Event B</li> <li>Participation 脿 B2Visidia avec le LABRI de Bordeaux</li> </ul> <h2 style="text-align: justify;">Collaborations</h2> <ul> <li>NUI Maynooth (Rosemary Monahan et Adam Winstantley)</li> <li>Universit茅 F茅d茅rale de Rio Grande de Norte (Br茅sil)</li> <li>Projet commun avec l’茅quipe VERIDIS en collaboration avec MPI-INF de Saarbr眉ck</li> <li>Jean-Raymont Abrial et Leslie Lamport pour Event B et TLA+</li> </ul> <h2>Mots-cl茅s</h2> <p>Mod茅lisation, perfectionnement, abstraction,assistant de preuve, d茅duction automatique, plate-forme de v茅rification</p> <p> </p> </div>  </div>  <div class="col-sm-3"> <div class="sidebar widget"> <div> <div><h1>Colloquium 2024</h1> <div class="textwidget"><p><img loading="lazy" decoding="async" class="alignnone wp-image-27428 size-medium" src="https://www.loria.fr/wp-content/uploads/Colloquium_couleur-300x282.png" alt="" width="300" height="282" srcset="https://www.loria.fr/wp-content/uploads/Colloquium_couleur-300x282.png 300w, https://www.loria.fr/wp-content/uploads/Colloquium_couleur-1024x964.png 1024w, https://www.loria.fr/wp-content/uploads/Colloquium_couleur-768x723.png 768w, https://www.loria.fr/wp-content/uploads/Colloquium_couleur.png 1042w" sizes="(max-width: 300px) 100vw, 300px" /></p> <p><a class="text-center" href="https://www.loria.fr/fr/colloquium-loria/">L’agenda du colloquium</a></p> <p><a class="text-center" href="/communication/colloquium-loria-exposes-et-videos/">Expos茅s pr茅c茅dents<br /> </a></p> </div> </div><div> <div class="wp-block-buttons is-content-justification-center is-layout-flex wp-container-core-buttons-is-layout-1 wp-block-buttons-is-layout-flex"></div> </div> </div> </div></div>  </div> </div>  <div class="partenaires"> <div class="container"> <div class="row">  <div class="col-xs-4"> <div class="wp-block-group is-nowrap is-layout-flex wp-container-core-group-is-layout-1 wp-block-group-is-layout-flex"></div> </div><div class="col-xs-4"><div class="wp-block-image"> <figure class="aligncenter size-large"><img loading="lazy" decoding="async" width="1024" height="139" src="https://www.loria.fr/wp-content/uploads/2024_Ttutelles_footer-site-web--1024x139.png" alt="" class="wp-image-25706" srcset="https://www.loria.fr/wp-content/uploads/2024_Ttutelles_footer-site-web--1024x139.png 1024w, https://www.loria.fr/wp-content/uploads/2024_Ttutelles_footer-site-web--300x41.png 300w, https://www.loria.fr/wp-content/uploads/2024_Ttutelles_footer-site-web--768x104.png 768w, https://www.loria.fr/wp-content/uploads/2024_Ttutelles_footer-site-web--1536x208.png 1536w, https://www.loria.fr/wp-content/uploads/2024_Ttutelles_footer-site-web--2048x277.png 2048w" sizes="(max-width: 1024px) 100vw, 1024px" /></figure></div></div> </div> </div> </div>  <div class="footer"> <div class="container"> <div class="row"> <div class="col-sm-3"><h1><span class="blue-bullet"> </span><span class="pink-bullet"> </span>脌 propos</h1> <div class="textwidget"><ul> <li style="list-style-type: none;"> <ul> <li><a href="/hors-navigation/plan-du-site/">Plan du site</a></li> <li><a href="/?page_id=136">Mentions l茅gales</a></li> <li><a href="https://annuaire.inria.fr" target="_blank" rel="noopener">Annuaire (acc猫s restreint)</a></li> </ul> </li> </ul> </div> </div><div class="col-sm-3"><h1><span class="blue-bullet"> </span><span class="pink-bullet"> </span>Contact</h1> <div class="textwidget"><p>Loria<br /> Campus Scientifique<br /> BP 239<br /> 54506 Vandoeuvre-l猫s-Nancy</p> <p>T茅l.: +33 3 83 59 20 00</p> <p><a href="/presentation/acces-au-loria/">Nous trouver plus facilement</a></p> </div> </div><div class="col-sm-3"><h1><span class="blue-bullet"> </span><span class="pink-bullet"> </span>L’actualit茅 du Loria</h1> <div class="textwidget"><p><a href="https://mastodon.social/@Labo_Loria"><img loading="lazy" decoding="async" class="alignleft wp-image-10445" src="https://www.loria.fr/wp-content/uploads/mastodon_blanc.png" alt="" width="35" height="35" /></a></p> <p><a href="https://bsky.app/profile/labo-loria.bsky.social"><img loading="lazy" decoding="async" class="alignleft wp-image-10445" src="https://www.loria.fr/wp-content/uploads/Bluesky_blanc.png" alt="" width="35" height="35" /></a></p> <p><a href="https://www.linkedin.com/company/loria/"><img loading="lazy" decoding="async" class="alignleft wp-image-10444" src="https://www.loria.fr/wp-content/uploads/2020/06/linkedinPicto.png" alt="" width="35" height="35" srcset="https://www.loria.fr/wp-content/uploads/2020/06/linkedinPicto.png 1068w, https://www.loria.fr/wp-content/uploads/2020/06/linkedinPicto-300x300.png 300w, https://www.loria.fr/wp-content/uploads/2020/06/linkedinPicto-1024x1024.png 1024w, https://www.loria.fr/wp-content/uploads/2020/06/linkedinPicto-150x150.png 150w, https://www.loria.fr/wp-content/uploads/2020/06/linkedinPicto-768x767.png 768w" sizes="(max-width: 35px) 100vw, 35px" /></a></p> </div> </div><div class="col-sm-3"><h1><span class="blue-bullet"> </span><span class="pink-bullet"> </span>Acc猫s priv茅</h1> <div class="textwidget"><ul> <li><a href="http://intranet.loria.fr">Intranet</a></li> <li><a href="/wp-admin">Extranet</a></li> </ul> </div> </div> </div> </div> </div> <div class="colophon"> <div class="container"> <p class="text-center"> </p> </div> </div>  <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.3/jquery.min.js"></script>   <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/js/bootstrap.min.js" integrity="sha384-0mSbJDEHialfmuBBQP6A4Qrprq5OVfW37PRR3j5ELqxss1yVqOtnepnHVP9aJ7xS" crossorigin="anonymous"></script>  <script src="https://www.loria.fr/wp-content/themes/loria2016/mockup_tools.js"></script> <script type="text/javascript"> // shorten news text $('.actu p').shorten_text(150); // disable googlemaps scroll to zoom $('.map-container').click(function () { $('.map-container iframe').css("pointer-events", "auto"); }); // show fixed tabbar if scrolled $(document).scroll(function() { var y = $(this).scrollTop(); if (y > 250) { $('.navbar-fixed-top').removeClass('navbar-invisible'); } else { $('.navbar-fixed-top').addClass('navbar-invisible'); } }); $( ".tribe-events-nav-previous a" ).click(function(event) { var link = $(event.target).attr('href'); console.log('redirect to: '+link); window.location.href = link; return false; }); $( ".tribe-events-nav-next a" ).click(function(event) { var link = $(event.target).attr('href'); console.log('redirect to: '+link); window.location.href = link; return false; }); </script>  <script> ( function ( body ) { 'use strict'; body.className = body.className.replace( /\btribe-no-js\b/, 'tribe-js' ); } )( document.body ); </script> <script> /* <![CDATA[ */var tribe_l10n_datatables = {"aria":{"sort_ascending":": activer pour trier la colonne ascendante","sort_descending":": activer pour trier la colonne descendante"},"length_menu":"Afficher les saisies _MENU_","empty_table":"Aucune donn\u00e9e disponible sur le tableau","info":"Affichant_START_ \u00e0 _END_ du _TOTAL_ des saisies","info_empty":"Affichant 0 \u00e0 0 de 0 saisies","info_filtered":"(filtr\u00e9 \u00e0 partir du total des saisies _MAX_ )","zero_records":"Aucun enregistrement correspondant trouv\u00e9","search":"Rechercher :","all_selected_text":"Tous les \u00e9l\u00e9ments de cette page ont \u00e9t\u00e9 s\u00e9lectionn\u00e9s. ","select_all_link":"S\u00e9lectionner toutes les pages","clear_selection":"Effacer la s\u00e9lection.","pagination":{"all":"Tout","next":"Suivant","previous":"Pr\u00e9c\u00e9dent"},"select":{"rows":{"0":"","_":": a s\u00e9lectionn\u00e9 %d rang\u00e9es","1":": a s\u00e9lectionn\u00e9 une rang\u00e9e"}},"datepicker":{"dayNames":["dimanche","lundi","mardi","mercredi","jeudi","vendredi","samedi"],"dayNamesShort":["dim","lun","mar","mer","jeu","ven","sam"],"dayNamesMin":["D","L","M","M","J","V","S"],"monthNames":["janvier","f\u00e9vrier","mars","avril","mai","juin","juillet","ao\u00fbt","septembre","octobre","novembre","d\u00e9cembre"],"monthNamesShort":["janvier","f\u00e9vrier","mars","avril","mai","juin","juillet","ao\u00fbt","septembre","octobre","novembre","d\u00e9cembre"],"monthNamesMin":["Jan","F\u00e9v","Mar","Avr","Mai","Juin","Juil","Ao\u00fbt","Sep","Oct","Nov","D\u00e9c"],"nextText":"Suivant","prevText":"Pr\u00e9c\u00e9dent","currentText":"Aujourd\u2019hui ","closeText":"Termin\u00e9","today":"Aujourd\u2019hui ","clear":"Effac\u00e9"}};/* ]]> */ </script><style id='core-block-supports-inline-css' type='text/css'> .wp-container-core-buttons-is-layout-1.wp-container-core-buttons-is-layout-1{justify-content:center;}.wp-container-core-group-is-layout-1.wp-container-core-group-is-layout-1{flex-wrap:nowrap;} </style> <script type="text/javascript" src="https://www.loria.fr/wp-content/plugins/contact-form-7/includes/swv/js/index.js?ver=5.7.7" id="swv-js"></script> <script type="text/javascript" id="contact-form-7-js-extra"> /* <![CDATA[ */ var wpcf7 = {"api":{"root":"https:\/\/www.loria.fr\/wp-json\/","namespace":"contact-form-7\/v1"}}; /* ]]> */ </script> <script type="text/javascript" src="https://www.loria.fr/wp-content/plugins/contact-form-7/includes/js/index.js?ver=5.7.7" id="contact-form-7-js"></script> <script type="text/javascript" src="https://www.loria.fr/wp-content/plugins/simple-share-buttons-adder/js/ssba.js?ver=1717496107" id="simple-share-buttons-adder-ssba-js"></script> <script type="text/javascript" id="simple-share-buttons-adder-ssba-js-after"> /* <![CDATA[ */ Main.boot( [] ); /* ]]> */ </script> <script type="text/javascript" src="https://www.google.com/recaptcha/api.js?render=6LfQQnkhAAAAAD5IrkZqsi7_T6gu0RIOm3LmqZ2s&ver=3.0" id="google-recaptcha-js"></script> <script type="text/javascript" src="https://www.loria.fr/wp-includes/js/dist/vendor/wp-polyfill-inert.min.js?ver=3.1.2" id="wp-polyfill-inert-js"></script> <script type="text/javascript" src="https://www.loria.fr/wp-includes/js/dist/vendor/regenerator-runtime.min.js?ver=0.14.0" id="regenerator-runtime-js"></script> <script type="text/javascript" src="https://www.loria.fr/wp-includes/js/dist/vendor/wp-polyfill.min.js?ver=3.15.0" id="wp-polyfill-js"></script> <script type="text/javascript" id="wpcf7-recaptcha-js-extra"> /* <![CDATA[ */ var wpcf7_recaptcha = {"sitekey":"6LfQQnkhAAAAAD5IrkZqsi7_T6gu0RIOm3LmqZ2s","actions":{"homepage":"homepage","contactform":"contactform"}}; /* ]]> */ </script> <script type="text/javascript" src="https://www.loria.fr/wp-content/plugins/contact-form-7/modules/recaptcha/index.js?ver=5.7.7" id="wpcf7-recaptcha-js"></script> <script type="text/javascript" id="eael-general-js-extra"> /* <![CDATA[ */ var localize = {"ajaxurl":"https:\/\/www.loria.fr\/wp-admin\/admin-ajax.php","nonce":"795899b11b","i18n":{"added":"Added ","compare":"Compare","loading":"Loading..."},"eael_translate_text":{"required_text":"is a required field","invalid_text":"Invalid","billing_text":"Billing","shipping_text":"Shipping","fg_mfp_counter_text":"of"},"page_permalink":"https:\/\/www.loria.fr\/fr\/la-recherche\/les-equipes\/mosel-veridis\/","cart_redirectition":"","cart_page_url":"","el_breakpoints":{"mobile":{"label":"Portrait mobile","value":767,"default_value":767,"direction":"max","is_enabled":true},"mobile_extra":{"label":"Mobile Paysage","value":880,"default_value":880,"direction":"max","is_enabled":false},"tablet":{"label":"Tablette en mode portrait","value":1024,"default_value":1024,"direction":"max","is_enabled":true},"tablet_extra":{"label":"Tablette en mode paysage","value":1200,"default_value":1200,"direction":"max","is_enabled":false},"laptop":{"label":"Portable","value":1366,"default_value":1366,"direction":"max","is_enabled":false},"widescreen":{"label":"\u00c9cran large","value":2400,"default_value":2400,"direction":"min","is_enabled":false}}}; /* ]]> */ </script> <script type="text/javascript" src="https://www.loria.fr/wp-content/plugins/essential-addons-for-elementor-lite/assets/front-end/js/view/general.min.js?ver=6.0.2" id="eael-general-js"></script> <script type="text/javascript"> /* <![CDATA[ */ document.querySelectorAll("ul.nav-menu").forEach( ulist => { if (ulist.querySelectorAll("li").length == 0) { ulist.style.display = "none"; } } ); /* ]]> */ </script>   <script type="text/javascript"> var _paq = _paq || []; _paq.push(['trackPageView']); _paq.push(['enableLinkTracking']); (function() { var u="https://piwik.inria.fr/"; _paq.push(['setTrackerUrl', u+'piwik.php']); _paq.push(['setSiteId', 45]); var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0]; g.type='text/javascript'; g.async=true; g.defer=true; g.src=u+'piwik.js'; s.parentNode.insertBefore(g,s); })(); </script> <noscript><p><img src="https://piwik.inria.fr/piwik.php?idsite=45&rec=1" style="border:0;" alt="" /></p></noscript>  </body> </html>