CINXE.COM

<!doctype html> <html lang="fr-FR"> <head> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=10.0, user-scalable=yes"> <link rel="profile" href="http://gmpg.org/xfn/11"> <title>Logiques – LIRMM</title> <meta name='robots' content='max-image-preview:large' /> <style>img:is([sizes="auto" i], [sizes^="auto," i]) { contain-intrinsic-size: 3000px 1500px }</style> <link rel="alternate" href="https://www.lirmm.fr/logic/" hreflang="en" /> <link rel="alternate" href="https://www.lirmm.fr/logique/" hreflang="fr" /> <link rel='dns-prefetch' href='//www.lirmm.fr' /> <link rel="alternate" type="application/rss+xml" title="LIRMM » Flux" href="https://www.lirmm.fr/feed/" /> <link rel="alternate" type="application/rss+xml" title="LIRMM » Flux des commentaires" href="https://www.lirmm.fr/comments/feed/" /> <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.lirmm.fr\/wp-includes\/js\/wp-emoji-release.min.js?ver=6.7.2"}}; /*! 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> <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'> :root{--wp--preset--aspect-ratio--square: 1;--wp--preset--aspect-ratio--4-3: 4/3;--wp--preset--aspect-ratio--3-4: 3/4;--wp--preset--aspect-ratio--3-2: 3/2;--wp--preset--aspect-ratio--2-3: 2/3;--wp--preset--aspect-ratio--16-9: 16/9;--wp--preset--aspect-ratio--9-16: 9/16;--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;}.is-layout-flex{flex-wrap: wrap;align-items: center;}.is-layout-flex > :is(*, div){margin: 0;}body .is-layout-grid{display: grid;}.is-layout-grid > :is(*, div){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;} :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;} :root :where(.wp-block-pullquote){font-size: 1.5em;line-height: 1.6;} </style> <link rel='stylesheet' id='wp-hal-style1-css' href='https://www.lirmm.fr/wp-content/plugins/hal/css/style.css?ver=6.7.2' type='text/css' media='all' /> <link rel='stylesheet' id='osm-map-css-css' href='https://www.lirmm.fr/wp-content/plugins/osm/css/osm_map.css?ver=6.7.2' type='text/css' media='all' /> <link rel='stylesheet' id='osm-ol3-css-css' href='https://www.lirmm.fr/wp-content/plugins/osm/js/OL/7.1.0/ol.css?ver=6.7.2' type='text/css' media='all' /> <link rel='stylesheet' id='osm-ol3-ext-css-css' href='https://www.lirmm.fr/wp-content/plugins/osm/css/osm_map_v3.css?ver=6.7.2' type='text/css' media='all' /> <link rel='stylesheet' id='ivory-search-styles-css' href='https://www.lirmm.fr/wp-content/plugins/add-search-to-menu/public/css/ivory-search.min.css?ver=5.5.9' type='text/css' media='all' /> <link rel='stylesheet' id='newsletter-css' href='https://www.lirmm.fr/wp-content/plugins/newsletter/style.css?ver=8.7.6' type='text/css' media='all' /> <link rel='stylesheet' id='ics-calendar-css' href='https://www.lirmm.fr/wp-content/plugins/ics-calendar/assets/style.min.css?ver=11.5.7' type='text/css' media='all' /> <link rel='stylesheet' id='elementor-icons-css' href='https://www.lirmm.fr/wp-content/plugins/elementor/assets/lib/eicons/css/elementor-icons.min.css?ver=5.36.0' type='text/css' media='all' /> <link rel='stylesheet' id='elementor-frontend-css' href='https://www.lirmm.fr/wp-content/plugins/elementor/assets/css/frontend.min.css?ver=3.28.3' type='text/css' media='all' /> <link rel='stylesheet' id='elementor-post-417-css' href='https://www.lirmm.fr/wp-content/uploads/sites/3/elementor/css/post-417.css?ver=1742836565' type='text/css' media='all' /> <link rel='stylesheet' id='font-awesome-5-all-css' href='https://www.lirmm.fr/wp-content/plugins/elementor/assets/lib/font-awesome/css/all.min.css?ver=3.28.3' type='text/css' media='all' /> <link rel='stylesheet' id='font-awesome-4-shim-css' href='https://www.lirmm.fr/wp-content/plugins/elementor/assets/lib/font-awesome/css/v4-shims.min.css?ver=3.28.3' type='text/css' media='all' /> <link rel='stylesheet' id='widget-testimonial-css' href='https://www.lirmm.fr/wp-content/plugins/elementor/assets/css/widget-testimonial.min.css?ver=3.28.3' type='text/css' media='all' /> <link rel='stylesheet' id='widget-toggle-css' href='https://www.lirmm.fr/wp-content/plugins/elementor/assets/css/widget-toggle.min.css?ver=3.28.3' type='text/css' media='all' /> <link rel='stylesheet' id='elementor-post-17840-css' href='https://www.lirmm.fr/wp-content/uploads/sites/3/elementor/css/post-17840.css?ver=1742849198' type='text/css' media='all' /> <link rel='stylesheet' id='font-awesome-css' href='https://www.lirmm.fr/wp-content/plugins/elementor/assets/lib/font-awesome/css/font-awesome.min.css?ver=4.7.0' type='text/css' media='all' /> <link rel='stylesheet' id='customify-style-css' href='https://www.lirmm.fr/wp-content/themes/customify/style.min.css?ver=0.4.8' type='text/css' media='all' /> <style id='customify-style-inline-css' type='text/css'> #masthead.sticky-active .site-header-inner {box-shadow: 0px 5px 10px 0px rgba(50,50,50,0.06) ;;}.header-top .header--row-inner,body:not(.fl-builder-edit) .button,body:not(.fl-builder-edit) button:not(.menu-mobile-toggle, .components-button, .customize-partial-edit-shortcut-button),body:not(.fl-builder-edit) input[type="button"]:not(.ed_button),button.button,input[type="button"]:not(.ed_button, .components-button, .customize-partial-edit-shortcut-button),input[type="reset"]:not(.components-button, .customize-partial-edit-shortcut-button),input[type="submit"]:not(.components-button, .customize-partial-edit-shortcut-button),.pagination .nav-links > *:hover,.pagination .nav-links span,.nav-menu-desktop.style-full-height .primary-menu-ul > li.current-menu-item > a,.nav-menu-desktop.style-full-height .primary-menu-ul > li.current-menu-ancestor > a,.nav-menu-desktop.style-full-height .primary-menu-ul > li > a:hover,.posts-layout .readmore-button:hover{ background-color: #235787;}.posts-layout .readmore-button {color: #235787;}.pagination .nav-links > *:hover,.pagination .nav-links span,.entry-single .tags-links a:hover,.entry-single .cat-links a:hover,.posts-layout .readmore-button,.posts-layout .readmore-button:hover{ border-color: #235787;}.customify-builder-btn{ background-color: #c3512f;}body{ color: #686868;}abbr, acronym { border-bottom-color: #686868;}a { color: #1e4b75;}a:hover,a:focus,.link-meta:hover, .link-meta a:hover{ color: #111111;}h2 + h3,.comments-area h2 + .comments-title,.h2 + h3,.comments-area .h2 + .comments-title,.page-breadcrumb { border-top-color: #eaecee;}blockquote,.site-content .widget-area .menu li.current-menu-item > a:before{ border-left-color: #eaecee;}@media screen and (min-width: 64em) { .comment-list .children li.comment { border-left-color: #eaecee; } .comment-list .children li.comment:after { background-color: #eaecee; }}.page-titlebar, .page-breadcrumb,.posts-layout .entry-inner { border-bottom-color: #eaecee;}.header-search-form .search-field,.entry-content .page-links a,.header-search-modal,.pagination .nav-links > *,.entry-footer .tags-links a, .entry-footer .cat-links a,.search .content-area article,.site-content .widget-area .menu li.current-menu-item > a,.posts-layout .entry-inner,.post-navigation .nav-links,article.comment .comment-meta,.widget-area .widget_pages li a, .widget-area .widget_categories li a, .widget-area .widget_archive li a, .widget-area .widget_meta li a, .widget-area .widget_nav_menu li a, .widget-area .widget_product_categories li a, .widget-area .widget_recent_entries li a, .widget-area .widget_rss li a,.widget-area .widget_recent_comments li{ border-color: #eaecee;}.header-search-modal::before { border-top-color: #eaecee; border-left-color: #eaecee;}@media screen and (min-width: 48em) { .content-sidebar.sidebar_vertical_border .content-area { border-right-color: #eaecee; } .sidebar-content.sidebar_vertical_border .content-area { border-left-color: #eaecee; } .sidebar-sidebar-content.sidebar_vertical_border .sidebar-primary { border-right-color: #eaecee; } .sidebar-sidebar-content.sidebar_vertical_border .sidebar-secondary { border-right-color: #eaecee; } .content-sidebar-sidebar.sidebar_vertical_border .sidebar-primary { border-left-color: #eaecee; } .content-sidebar-sidebar.sidebar_vertical_border .sidebar-secondary { border-left-color: #eaecee; } .sidebar-content-sidebar.sidebar_vertical_border .content-area { border-left-color: #eaecee; border-right-color: #eaecee; } .sidebar-content-sidebar.sidebar_vertical_border .content-area { border-left-color: #eaecee; border-right-color: #eaecee; }}article.comment .comment-post-author {background: #6d6d6d;}.pagination .nav-links > *,.link-meta,.link-meta a,.color-meta,.entry-single .tags-links:before,.entry-single .cats-links:before{ color: #6d6d6d;}h1, h2, h3, h4, h5, h6 { color: #2b2b2b;}.site-content .widget-title { color: #444444;}#page-cover {background-image: url("https://zzz.lirmm.fr/wp-content/uploads/sites/3/2020/05/PhotosLIRMM.jpg?t=1589463320276");}#page-cover {background-repeat: repeat;}.header--row:not(.header--transparent).header-top .header--row-inner {background-color: #ffffff;} .sub-menu .li-duplicator {display:none !important;}.header-search_icon-item .header-search-modal {border-style: solid;} .header-search_icon-item .search-field {border-style: solid;} .dark-mode .header-search_box-item .search-form-fields, .header-search_box-item .search-form-fields {border-style: solid;} a.item--button {color: #ffffff; text-decoration-color: #ffffff;background-color: #969696;} #cb-row--footer-main .footer--row-inner {background-color: rgba(112,108,102,0.85)}#blog-posts .posts-layout .entry-media {border-radius: 0px;}#blog-posts .posts-layout .entry-thumbnail img {transform: scale(1);}#blog-posts .posts-layout .entry-media:hover .entry-thumbnail img {transform: scale(1);}body {background-color: #FFFFFF;} .site-content .content-area {background-color: #FFFFFF;} /* CSS for desktop */.sticky.sticky-active .header--row.header-top.header--sticky .customify-grid, .sticky.sticky-active .header--row.header-top.header--sticky .style-full-height .primary-menu-ul > li > a {min-height: 53px;}.sticky.sticky-active .header--row.header-main.header--sticky .customify-grid, .sticky.sticky-active .header--row.header-main.header--sticky .style-full-height .primary-menu-ul > li > a {min-height: 20px;}.sticky.sticky-active .header--row.header-bottom.header--sticky .customify-grid, .sticky.sticky-active .header--row.header-bottom.header--sticky .style-full-height .primary-menu-ul > li > a {min-height: 0px;}#page-cover .page-cover-inner {min-height: 430px;}#page-titlebar {text-align: left;}#page-titlebar {padding-left: 13px;} .header--row.header-top .customify-grid, .header--row.header-top .style-full-height .primary-menu-ul > li > a {min-height: 33px;}.header--row.header-main .customify-grid, .header--row.header-main .style-full-height .primary-menu-ul > li > a {min-height: 37px;}.header--row.header-bottom .customify-grid, .header--row.header-bottom .style-full-height .primary-menu-ul > li > a {min-height: 37px;}.site-header .site-branding img { max-width: 329px; } .site-header .cb-row--mobile .site-branding img { width: 329px; }.header--row .builder-first--nav-icon {text-align: right;}.header-search_icon-item .search-submit {margin-left: -40px;}.header-search_box-item .search-submit{margin-left: -40px;} .header-search_box-item .woo_bootster_search .search-submit{margin-left: -40px;} .header-search_box-item .header-search-form button.search-submit{margin-left:-40px;}.header--row .builder-first--primary-menu {text-align: right;}.header-social-icons.customify-builder-social-icons li a { font-size: 17px; }.header-social-icons.customify-builder-social-icons li a {padding: 0.1em;}.header-social-icons.customify-builder-social-icons li {margin-left: 2px; margin-right: 2px;}#cb-row--footer-main .footer--row-inner {margin-top: 0px;margin-right: 0px;margin-bottom: 0px;margin-left: 0px;padding-top: 9px;padding-right: 9px;padding-bottom: 9px;padding-left: 9px;} #cb-row--footer-top .footer--row-inner {margin-top: 0px;margin-right: 0px;margin-bottom: 0px;margin-left: 0px;padding-top: 0px;padding-right: 0px;padding-bottom: 0px;padding-left: 0px;} #blog-posts .posts-layout .entry .entry-media {padding-top: 100%;}/* CSS for tablet */@media screen and (max-width: 1024px) { #page-cover .page-cover-inner {min-height: 250px;}.header--row .builder-first--nav-icon {text-align: right;}.header-search_icon-item .search-submit {margin-left: -40px;}.header-search_box-item .search-submit{margin-left: -40px;} .header-search_box-item .woo_bootster_search .search-submit{margin-left: -40px;} .header-search_box-item .header-search-form button.search-submit{margin-left:-40px;} }/* CSS for mobile */@media screen and (max-width: 568px) { #page-cover .page-cover-inner {min-height: 200px;}.header--row.header-top .customify-grid, .header--row.header-top .style-full-height .primary-menu-ul > li > a {min-height: 33px;}.header--row .builder-first--nav-icon {text-align: right;}.header-search_icon-item .search-submit {margin-left: -40px;}.header-search_box-item .search-submit{margin-left: -40px;} .header-search_box-item .woo_bootster_search .search-submit{margin-left: -40px;} .header-search_box-item .header-search-form button.search-submit{margin-left:-40px;} } </style> <link rel='stylesheet' id='customify-customify-pro-e5f8b3e5ddc639f8d7216e1f77f80a8a-css' href='http://www.lirmm.fr/wp-content/uploads/sites/3/customify-pro/customify-pro-e5f8b3e5ddc639f8d7216e1f77f80a8a.css?ver=20250404022405' type='text/css' media='all' /> <link rel='stylesheet' id='eael-general-css' href='https://www.lirmm.fr/wp-content/plugins/essential-addons-for-elementor-lite/assets/front-end/css/view/general.min.css?ver=6.1.9' type='text/css' media='all' /> <link rel='stylesheet' id='elementor-gf-local-roboto-css' href='http://www.lirmm.fr/wp-content/uploads/sites/3/elementor/google-fonts/css/roboto.css?ver=1742222321' type='text/css' media='all' /> <link rel='stylesheet' id='elementor-icons-shared-0-css' href='https://www.lirmm.fr/wp-content/plugins/elementor/assets/lib/font-awesome/css/fontawesome.min.css?ver=5.15.3' type='text/css' media='all' /> <link rel='stylesheet' id='elementor-icons-fa-solid-css' href='https://www.lirmm.fr/wp-content/plugins/elementor/assets/lib/font-awesome/css/solid.min.css?ver=5.15.3' type='text/css' media='all' /> <script type="text/javascript" id="jquery-core-js-extra"> /* <![CDATA[ */ var Customify_Pro_JS = {"header_sticky_up":"","scrolltop_duration":"500","scrolltop_offset":"100","megaMenu":{"ajax_url":"https:\/\/www.lirmm.fr\/wp-admin\/admin-ajax.php","loading_icon":"<div class=\"mega-spinner\"><div class=\"uil-squares-css\" style=\"transform:scale(0.4);\"><div><div><\/div><\/div><div><div><\/div><\/div><div><div><\/div><\/div><div><div><\/div><\/div><div><div><\/div><\/div><div><div><\/div><\/div><div><div><\/div><\/div><div><div><\/div><\/div><\/div><\/div>","theme_support":[]},"cn_cookie_expiry":"hour","infinity_load":{"posts":{"enable":1,"load_type":"auto","loading_text":"Loading","load_more_text":"Load More"},"products":{"enable":1,"load_type":"auto","loading_text":"Loading","load_more_text":"Load More"}}}; /* ]]> */ </script> <script type="text/javascript" src="https://www.lirmm.fr/wp-includes/js/jquery/jquery.min.js?ver=3.7.1" id="jquery-core-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-includes/js/jquery/jquery-migrate.min.js?ver=3.4.1" id="jquery-migrate-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/osm/js/OL/2.13.1/OpenLayers.js?ver=6.7.2" id="osm-ol-library-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/osm/js/OSM/openlayers/OpenStreetMap.js?ver=6.7.2" id="osm-osm-library-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/osm/js/OSeaM/harbours.js?ver=6.7.2" id="osm-harbours-library-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/osm/js/OSeaM/map_utils.js?ver=6.7.2" id="osm-map-utils-library-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/osm/js/OSeaM/utilities.js?ver=6.7.2" id="osm-utilities-library-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/osm/js/osm-plugin-lib.js?ver=6.7.2" id="OsmScript-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/osm/js/polyfill/v2/polyfill.min.js?features=requestAnimationFrame%2CElement.prototype.classList%2CURL&ver=6.7.2" id="osm-polyfill-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/osm/js/OL/7.1.0/ol.js?ver=6.7.2" id="osm-ol3-library-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/osm/js/osm-v3-plugin-lib.js?ver=6.7.2" id="osm-ol3-ext-library-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/osm/js/osm-metabox-events.js?ver=6.7.2" id="osm-ol3-metabox-events-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/osm/js/osm-startup-lib.js?ver=6.7.2" id="osm-map-startup-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/elementor/assets/lib/font-awesome/js/v4-shims.min.js?ver=3.28.3" id="font-awesome-4-shim-js"></script> <link rel="https://api.w.org/" href="https://www.lirmm.fr/wp-json/" /><link rel="alternate" title="JSON" type="application/json" href="https://www.lirmm.fr/wp-json/wp/v2/pages/17840" /><link rel="EditURI" type="application/rsd+xml" title="RSD" href="https://www.lirmm.fr/xmlrpc.php?rsd" /> <meta name="generator" content="WordPress 6.7.2" /> <link rel="canonical" href="https://www.lirmm.fr/logique/" /> <link rel='shortlink' href='https://www.lirmm.fr/?p=17840' /> <link rel="alternate" title="oEmbed (JSON)" type="application/json+oembed" href="https://www.lirmm.fr/wp-json/oembed/1.0/embed?url=https%3A%2F%2Fwww.lirmm.fr%2Flogique%2F" /> <link rel="alternate" title="oEmbed (XML)" type="text/xml+oembed" href="https://www.lirmm.fr/wp-json/oembed/1.0/embed?url=https%3A%2F%2Fwww.lirmm.fr%2Flogique%2F&format=xml" /> <script type="text/javascript"> /** all layers have to be in this global array - in further process each map will have something like vectorM[map_ol3js_n][layer_n] */ var vectorM = [[]]; /** put translations from PHP/mo to JavaScript */ var translations = []; /** global GET-Parameters */ var HTTP_GET_VARS = []; </script> <meta name="generator" content="Elementor 3.28.3; features: additional_custom_breakpoints, e_local_google_fonts; settings: css_print_method-external, google_font-enabled, font_display-auto"> <style> .e-con.e-parent:nth-of-type(n+4):not(.e-lazyloaded):not(.e-no-lazyload), .e-con.e-parent:nth-of-type(n+4):not(.e-lazyloaded):not(.e-no-lazyload) * { background-image: none !important; } @media screen and (max-height: 1024px) { .e-con.e-parent:nth-of-type(n+3):not(.e-lazyloaded):not(.e-no-lazyload), .e-con.e-parent:nth-of-type(n+3):not(.e-lazyloaded):not(.e-no-lazyload) * { background-image: none !important; } } @media screen and (max-height: 640px) { .e-con.e-parent:nth-of-type(n+2):not(.e-lazyloaded):not(.e-no-lazyload), .e-con.e-parent:nth-of-type(n+2):not(.e-lazyloaded):not(.e-no-lazyload) * { background-image: none !important; } } </style> <script>window.onload = function() { const loaderId = "WebIrisLoader"; if (document.getElementById(loaderId) === null) { var script = document.createElement('script'); script.type = "text/javascript"; script.src = "https://web-iris.lirmm.fr/WebIris/distant-stable/loader.js"; script.id = loaderId; document.body.appendChild(script); } }</script><link rel="icon" href="https://www.lirmm.fr/wp-content/uploads/sites/3/2020/05/cropped-iconeLIRMM-32x32.jpg" sizes="32x32" /> <link rel="icon" href="https://www.lirmm.fr/wp-content/uploads/sites/3/2020/05/cropped-iconeLIRMM-192x192.jpg" sizes="192x192" /> <link rel="apple-touch-icon" href="https://www.lirmm.fr/wp-content/uploads/sites/3/2020/05/cropped-iconeLIRMM-180x180.jpg" /> <meta name="msapplication-TileImage" content="https://www.lirmm.fr/wp-content/uploads/sites/3/2020/05/cropped-iconeLIRMM-270x270.jpg" /> <style type="text/css" id="wp-custom-css"> .customify-container, .layout-contained { max-width: 100% !important; } .page-breadcrumb-list {text-transform: lowercase; font-size: 15px} .annuaire-personne{ border-bottom-style: solid; border-bottom-width: 2px; border-bottom-color : #f0f0f0; } li.current-cat {background-color; #F9F9F9;} /* CSS pour widget listcategory li.post_tag { color:#4632DA; } li.categories { color:#4632DA; } li.categories { ... } li.cat-item { ... } li.cat-item-7 { ... } li.current-cat { ... } li.current-cat-parent { ... } ul.children { ... } */ /*reduce hight of copyright footer*/ .footer-bottom .footer--row-inner { padding-top: .8em; padding-bottom: .8em; } .site-footer .widget-title { color: #fff!important; } /* .nav-menu-desktop .menu-item { height: auto !important; z-index: 1 !important; } */ /* pour que les longs menus ne se trouvent pas en arri猫re plan */ .site-header { z-index: 999; } .inline-block { display: inline-block; margin-right: 6px; } </style> <style type="text/css" media="screen">.is-menu path.search-icon-path { fill: #848484;}body .popup-search-close:after, body .search-close:after { border-color: #848484;}body .popup-search-close:before, body .search-close:before { border-color: #848484;}</style></head> <body class="page-template-default page page-id-17840 wp-custom-logo customify metaslider-plugin content-sidebar main-layout-content-sidebar sidebar_vertical_border site-full-width menu_sidebar_slide_left no-cookie-bar elementor-default elementor-template-full-width elementor-kit-417 elementor-page elementor-page-17840"> <div id="page" class="site box-shadow"> <a class="skip-link screen-reader-text" href="#site-content">Aller au contenu</a> <a class="close is-size-medium close-panel close-sidebar-panel" href="#"> <span class="hamburger hamburger--squeeze is-active"> <span class="hamburger-box"> <span class="hamburger-inner"><span class="screen-reader-text">Menu</span></span> </span> </span> <span class="screen-reader-text">Fermer</span> </a><header id="masthead" class="site-header header-v2"><div id="masthead-inner" class="site-header-inner"> <div class="header-top header--row layout-fullwidth header--sticky" id="cb-row--header-top" data-row-id="top" data-show-on="desktop mobile"> <div class="header--row-inner header-top-inner light-mode"> <div class="customify-container"> <div class="customify-grid cb-row--desktop hide-on-mobile hide-on-tablet customify-grid-middle"><div class="row-v2 row-v2-top no-center"><div class="col-v2 col-v2-left"><div class="item--inner builder-item--html" data-section="header_html" data-item-id="html" ><div class="builder-header-html-item item--html"><p><a href="https://www.lirmm.fr"><img decoding="async" src="/wp-content/uploads/sites/3/2021/04/Logo-LIRMM-long_329x113.png" alt="logo LIRMM" /></a></p> </div></div></div><div class="col-v2 col-v2-right"><div class="item--inner builder-item--html_3" data-section="header_html_3" data-item-id="html_3" ><div class="builder-header-html_3-item item--html"><div class="inline-block"> <a href="https://muse.edu.umontpellier.fr/" target="_blank"><img decoding="async" src="/wp-content/uploads/sites/3/2022/02/logo_muse_50.png" alt="logo Muse, Montpellier Universit茅 d鈥橢xcellence" /></a></div> <div class="inline-block"> <a href="https://www.umontpellier.fr/" target="_blank"><img decoding="async" src="/wp-content/uploads/sites/3/2022/02/logo_um_50.png" alt="logo Universit茅 de Montpellier" /></a></div> <div class="inline-block"> <a href="https://www.cnrs.fr/" target="_blank"><img decoding="async" src="/wp-content/uploads/sites/3/2024/01/LOGO_CNRS_BLEU_50x49.png" alt="logo Centre National de la Recherche Scientifique" /></a></div> </div></div><div class="item--inner builder-item--html_2" data-section="header_html_2" data-item-id="html_2" ><div class="builder-header-html_2-item item--html"><div class="inline-block"> <a href="https://www.univ-montp3.fr/" target="_blank"><img decoding="async" src="//www.lirmm.fr/wp-content/uploads/sites/3/2025/01/LOGO_UdMPV_NOIR_50.png" alt="logo Montpellier Universit茅 Paul Val茅ry" /></a></div> <div class="inline-block"> <a href="https://www.univ-perp.fr" target="_blank"><img decoding="async" src="/wp-content/uploads/sites/3/2025/01/logo_UPVD_50-2.png" alt="Logo Universit茅 Perpignan Via Domitia" /></a></div> <div class="inline-block"> <a href="https://www.inria.fr/fr" target="_blank"><img decoding="async" src="/wp-content/uploads/sites/3/2022/02/logo_inria_rouge_50.png" alt="logo inria" /></a></div> </div></div></div></div></div><div class="cb-row--mobile hide-on-desktop customify-grid customify-grid-middle"><div class="row-v2 row-v2-top no-center"><div class="col-v2 col-v2-left"><div class="item--inner builder-item--html" data-section="header_html" data-item-id="html" ><div class="builder-header-html-item item--html"><p><a href="https://www.lirmm.fr"><img decoding="async" src="/wp-content/uploads/sites/3/2021/04/Logo-LIRMM-long_329x113.png" alt="logo LIRMM" /></a></p> </div></div></div><div class="col-v2 col-v2-right"><div class="item--inner builder-item--nav-icon" data-section="header_menu_icon" data-item-id="nav-icon" > <button type="button" class="menu-mobile-toggle item-button is-size-desktop-medium is-size-tablet-medium is-size-mobile-medium" aria-label="nav icon"> <span class="hamburger hamburger--squeeze"> <span class="hamburger-box"> <span class="hamburger-inner"></span> </span> </span> <span class="nav-icon--label hide-on-tablet hide-on-mobile">Menu</span></button> </div></div></div></div> </div> </div> </div> <div class="header-main header--row layout-full-contained header--sticky" id="cb-row--header-main" data-row-id="main" data-show-on="desktop mobile"> <div class="header--row-inner header-main-inner light-mode"> <div class="customify-container"> <div class="customify-grid cb-row--desktop hide-on-mobile hide-on-tablet customify-grid-middle"><div class="row-v2 row-v2-main no-center"><div class="col-v2 col-v2-left"><div class="item--inner builder-item--primary-menu has_menu" data-section="header_menu_primary" data-item-id="primary-menu" ><nav id="site-navigation-main-desktop" class="site-navigation primary-menu primary-menu-main nav-menu-desktop primary-menu-desktop style-border-bottom"><ul id="menu-menu-principal" class="primary-menu-ul menu nav-menu"><li id="menu-item--main-desktop-981" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-981"><a><span class="link-before">Accueil<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-0"> <li id="menu-item--main-desktop-2586" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-2586"><a href="https://www.lirmm.fr/presentation/"><span class="link-before">Pr茅sentation</span></a></li> <li id="menu-item--main-desktop-72" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-72"><a href="https://www.lirmm.fr/organisation/"><span class="link-before">Organisation</span></a></li> <li id="menu-item--main-desktop-81" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-81"><a href="https://www.lirmm.fr/historique/"><span class="link-before">Historique</span></a></li> </ul> </li> <li id="menu-item--main-desktop-1032" class="menu-item menu-item-type-custom menu-item-object-custom current-menu-ancestor menu-item-has-children menu-item-1032"><a><span class="link-before">Recherche<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-0"> <li id="menu-item--main-desktop-2824" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-2824"><a href="#"><span class="link-before">D茅partements<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--main-desktop-388" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-388"><a href="https://www.lirmm.fr/departement-informatique/"><span class="link-before">Informatique</span></a></li> <li id="menu-item--main-desktop-433" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-433"><a href="https://www.lirmm.fr/departement-microelectronique/"><span class="link-before">Micro茅lectronique</span></a></li> <li id="menu-item--main-desktop-432" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-432"><a href="https://www.lirmm.fr/departement-robotique/"><span class="link-before">Robotique</span></a></li> </ul> </li> <li id="menu-item--main-desktop-15653" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-15653"><a href="https://www.lirmm.fr/equipes/"><span class="link-before">脡quipes</span></a></li> <li id="menu-item--main-desktop-17661" class="menu-item menu-item-type-custom menu-item-object-custom current-menu-ancestor current-menu-parent menu-item-has-children menu-item-17661"><a href="#"><span class="link-before">Axes transverses<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--main-desktop-17478" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-17478"><a href="https://www.lirmm.fr/mer-ocean/"><span class="link-before">Axe transverse Mer et Oc茅an</span></a></li> <li id="menu-item--main-desktop-17848" class="menu-item menu-item-type-post_type menu-item-object-page current-menu-item page_item page-item-17840 current_page_item menu-item-17848"><a href="https://www.lirmm.fr/logique/" aria-current="page"><span class="link-before">Logiques</span></a></li> <li id="menu-item--main-desktop-19095" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-19095"><a href="https://www.lirmm.fr/securite/"><span class="link-before">S茅curit茅 & suret茅</span></a></li> <li id="menu-item--main-desktop-21258" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-21258"><a href="https://www.lirmm.fr/intelligence-artificielle/"><span class="link-before">Axe IA et Science des donn茅es</span></a></li> <li id="menu-item--main-desktop-23478" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-23478"><a href="https://www.lirmm.fr/sciences-du-logiciel/"><span class="link-before">Sciences du logiciel</span></a></li> </ul> </li> <li id="menu-item--main-desktop-20358" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-20358"><a href="https://www.lirmm.fr/plateformes/"><span class="link-before">Plateformes<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--main-desktop-395" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-395"><a href="https://www.lirmm.fr/plateformes/plateformes-en-informatique/"><span class="link-before">Informatique</span></a></li> <li id="menu-item--main-desktop-406" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-406"><a href="https://www.lirmm.fr/plateformes/plateformes-en-microelectronique/"><span class="link-before">Micro茅lectronique</span></a></li> <li id="menu-item--main-desktop-405" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-405"><a href="https://www.lirmm.fr/plateformes/plateforme-en-robotique/"><span class="link-before">Robotique</span></a></li> </ul> </li> <li id="menu-item--main-desktop-3101" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-3101"><a target="_blank" href="https://hal-lirmm.ccsd.cnrs.fr/"><span class="link-before">Publications</span></a></li> <li id="menu-item--main-desktop-214" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-214"><a href="https://www.lirmm.fr/theses-soutenues/"><span class="link-before">Th猫ses soutenues</span></a></li> <li id="menu-item--main-desktop-3103" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-3103"><a href="#"><span class="link-before">Projets internationaux<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--main-desktop-27057" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-27057"><a href="https://www.lirmm.fr/projets-europeens/"><span class="link-before">Europe</span></a></li> <li id="menu-item--main-desktop-228" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-228"><a href="https://www.lirmm.fr/irp-et-lia/"><span class="link-before">IRP et LIA</span></a></li> </ul> </li> <li id="menu-item--main-desktop-4229" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-4229"><a href="#"><span class="link-before">Projets nationaux<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--main-desktop-2986" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-2986"><a href="https://www.lirmm.fr/programmes-dinvestissements-davenir/"><span class="link-before">PIA</span></a></li> <li id="menu-item--main-desktop-26957" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-26957"><a href="https://www.lirmm.fr/projets-anr/"><span class="link-before">Projets ANR</span></a></li> </ul> </li> <li id="menu-item--main-desktop-213" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-213"><a href="https://www.lirmm.fr/animations-scientifiques-du-lirmm/"><span class="link-before">Animations scientifiques</span></a></li> </ul> </li> <li id="menu-item--main-desktop-1033" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-1033"><a><span class="link-before">Partenariats<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-0"> <li id="menu-item--main-desktop-160" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-160"><a href="https://www.lirmm.fr/presentation-partenariats/"><span class="link-before">Pr茅sentation</span></a></li> <li id="menu-item--main-desktop-14937" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-14937"><a href="#"><span class="link-before">Actualit茅s et s茅minaires<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--main-desktop-14951" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-14951"><a href="/category/partenariat/"><span class="link-before">Actualit茅s</span></a></li> <li id="menu-item--main-desktop-18531" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-18531"><a href="https://www.lirmm.fr/seminaires-de-valorisation/"><span class="link-before">S茅minaires de valorisation</span></a></li> </ul> </li> <li id="menu-item--main-desktop-5281" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-5281"><a href="https://www.lirmm.fr/domaines-dexpertise/"><span class="link-before">Domaines d鈥檈xpertise</span></a></li> <li id="menu-item--main-desktop-5280" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-5280"><a href="https://www.lirmm.fr/partenariat-creation-dentreprise/"><span class="link-before">Partenariat & Cr茅ation d鈥檈ntreprise</span></a></li> </ul> </li> <li id="menu-item--main-desktop-3035" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-3035"><a href="https://www.lirmm.fr/etudier-au-lirmm/"><span class="link-before">脡tudier au LIRMM</span></a></li> <li id="menu-item--main-desktop-15881" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-15881"><a href="#"><span class="link-before">Nos engagements<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-0"> <li id="menu-item--main-desktop-19984" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-19984"><a href="https://www.lirmm.fr/green-lirmm/"><span class="link-before">Green LIRMM<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--main-desktop-22752" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-22752"><a href="https://www.lirmm.fr/mobilite/"><span class="link-before">Mobilit茅</span></a></li> <li id="menu-item--main-desktop-22751" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-22751"><a href="https://www.lirmm.fr/energie/"><span class="link-before">脡nergie</span></a></li> <li id="menu-item--main-desktop-22765" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-22765"><a href="https://www.lirmm.fr/numerique/"><span class="link-before">Num茅rique</span></a></li> <li id="menu-item--main-desktop-22790" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-22790"><a href="https://www.lirmm.fr/dechets/"><span class="link-before">D茅chets</span></a></li> <li id="menu-item--main-desktop-22789" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-22789"><a href="https://www.lirmm.fr/evenements/"><span class="link-before">脡v茅nements</span></a></li> <li id="menu-item--main-desktop-22788" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-22788"><a href="https://www.lirmm.fr/recherche/"><span class="link-before">Recherche</span></a></li> <li id="menu-item--main-desktop-22787" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-22787"><a href="https://www.lirmm.fr/divers/"><span class="link-before">Divers</span></a></li> </ul> </li> <li id="menu-item--main-desktop-18412" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-18412"><a href="https://www.lirmm.fr/science-ouverte/"><span class="link-before">Science Ouverte<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--main-desktop-25253" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-25253"><a href="https://www.lirmm.fr/generaliser-lacces-ouvert-aux-publications/"><span class="link-before">G茅n茅raliser l鈥檃cc猫s ouvert aux publications scientifiques</span></a></li> <li id="menu-item--main-desktop-25254" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-25254"><a href="https://www.lirmm.fr/gerer-et-partager-les-donnees-de-recherche/"><span class="link-before">G茅rer et partager les donn茅es de recherche pour les rendre r茅utilisables</span></a></li> <li id="menu-item--main-desktop-25252" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-25252"><a href="https://www.lirmm.fr/algorithmes-codes-sources-et-logiciels-libres/"><span class="link-before">Algorithmes, codes sources et logiciels libres</span></a></li> <li id="menu-item--main-desktop-25255" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-25255"><a href="https://www.lirmm.fr/les-enjeux-de-la-science-ouverte/"><span class="link-before">Les enjeux de la Science Ouverte</span></a></li> </ul> </li> <li id="menu-item--main-desktop-16506" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16506"><a href="https://www.lirmm.fr/egalite-parite/"><span class="link-before">脡galit茅-parit茅</span></a></li> </ul> </li> <li id="menu-item--main-desktop-17598" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-17598"><a href="#"><span class="link-before">Actualit茅s<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-0"> <li id="menu-item--main-desktop-4082" class="menu-item menu-item-type-taxonomy menu-item-object-category menu-item-4082"><a href="https://www.lirmm.fr/category/prix-et-recompenses/"><span class="link-before">Prix et r茅compenses</span></a></li> <li id="menu-item--main-desktop-4315" class="menu-item menu-item-type-taxonomy menu-item-object-category menu-item-4315"><a href="https://www.lirmm.fr/category/presse/"><span class="link-before">Presse</span></a></li> <li id="menu-item--main-desktop-4316" class="menu-item menu-item-type-taxonomy menu-item-object-category menu-item-4316"><a href="https://www.lirmm.fr/category/evenements/"><span class="link-before">脡v猫nements</span></a></li> </ul> </li> <li id="menu-item--main-desktop-9418" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-9418"><a href="https://www.lirmm.fr/annuaire/"><span class="link-before">Annuaire</span></a></li> <li id="menu-item--main-desktop-14729" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-14729"><a href="https://www.lirmm.fr/contact-et-acces/"><span class="link-before">contact & acc猫s</span></a></li> <li id="menu-item--main-desktop-25679" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-25679"><a href="https://www.lirmm.fr/recrutement-au-lirmm/"><span class="link-before">Emplois</span></a></li> <li id="menu-item--main-desktop-27323-en" class="lang-item lang-item-9 lang-item-en lang-item-first menu-item menu-item-type-custom menu-item-object-custom menu-item-27323-en"><a href="https://www.lirmm.fr/logic/" hreflang="en-GB" lang="en-GB"><span class="link-before"><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;" /></span></a></li> <li id="menu-item--main-desktop-27323-fr" class="lang-item lang-item-12 lang-item-fr current-lang menu-item menu-item-type-custom menu-item-object-custom menu-item-27323-fr"><a href="https://www.lirmm.fr/logique/" hreflang="fr-FR" lang="fr-FR"><span class="link-before"><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;" /></span></a></li> </ul></nav></div></div><div class="col-v2 col-v2-right"><div class="item--inner builder-item--search_icon" data-section="search_icon" data-item-id="search_icon" ><div class="header-search_icon-item item--search_icon"> <a class="search-icon" href="#" aria-label="open search tool"> <span class="ic-search"> <svg aria-hidden="true" focusable="false" role="presentation" xmlns="http://www.w3.org/2000/svg" width="20" height="21" viewBox="0 0 20 21"> <path fill="currentColor" fill-rule="evenodd" d="M12.514 14.906a8.264 8.264 0 0 1-4.322 1.21C3.668 16.116 0 12.513 0 8.07 0 3.626 3.668.023 8.192.023c4.525 0 8.193 3.603 8.193 8.047 0 2.033-.769 3.89-2.035 5.307l4.999 5.552-1.775 1.597-5.06-5.62zm-4.322-.843c3.37 0 6.102-2.684 6.102-5.993 0-3.31-2.732-5.994-6.102-5.994S2.09 4.76 2.09 8.07c0 3.31 2.732 5.993 6.102 5.993z"></path> </svg> </span> <span class="ic-close"> <svg version="1.1" id="Capa_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px" width="612px" height="612px" viewBox="0 0 612 612" fill="currentColor" style="enable-background:new 0 0 612 612;" xml:space="preserve"><g><g id="cross"><g><polygon points="612,36.004 576.521,0.603 306,270.608 35.478,0.603 0,36.004 270.522,306.011 0,575.997 35.478,611.397 306,341.411 576.521,611.397 612,575.997 341.459,306.011 " /></g></g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g></svg> </span> <span class="arrow-down"></span> </a> <div class="header-search-modal-wrapper"> <form role="search" class="header-search-modal header-search-form" action="https://www.lirmm.fr/"> <label> <span class="screen-reader-text">Rechercher :</span> <input type="search" class="search-field" placeholder="Recherche..." value="" name="s" title="Rechercher :" /> </label> <button type="submit" class="search-submit" aria-label="submit search"> <svg aria-hidden="true" focusable="false" role="presentation" xmlns="http://www.w3.org/2000/svg" width="20" height="21" viewBox="0 0 20 21"> <path fill="currentColor" fill-rule="evenodd" d="M12.514 14.906a8.264 8.264 0 0 1-4.322 1.21C3.668 16.116 0 12.513 0 8.07 0 3.626 3.668.023 8.192.023c4.525 0 8.193 3.603 8.193 8.047 0 2.033-.769 3.89-2.035 5.307l4.999 5.552-1.775 1.597-5.06-5.62zm-4.322-.843c3.37 0 6.102-2.684 6.102-5.993 0-3.31-2.732-5.994-6.102-5.994S2.09 4.76 2.09 8.07c0 3.31 2.732 5.993 6.102 5.993z"></path> </svg> </button> </form> </div> </div></div></div></div></div><div class="cb-row--mobile hide-on-desktop customify-grid customify-grid-middle"><div class="row-v2 row-v2-main no-left no-center"><div class="col-v2 col-v2-right"><div class="item--inner builder-item--search_icon" data-section="search_icon" data-item-id="search_icon" ><div class="header-search_icon-item item--search_icon"> <a class="search-icon" href="#" aria-label="open search tool"> <span class="ic-search"> <svg aria-hidden="true" focusable="false" role="presentation" xmlns="http://www.w3.org/2000/svg" width="20" height="21" viewBox="0 0 20 21"> <path fill="currentColor" fill-rule="evenodd" d="M12.514 14.906a8.264 8.264 0 0 1-4.322 1.21C3.668 16.116 0 12.513 0 8.07 0 3.626 3.668.023 8.192.023c4.525 0 8.193 3.603 8.193 8.047 0 2.033-.769 3.89-2.035 5.307l4.999 5.552-1.775 1.597-5.06-5.62zm-4.322-.843c3.37 0 6.102-2.684 6.102-5.993 0-3.31-2.732-5.994-6.102-5.994S2.09 4.76 2.09 8.07c0 3.31 2.732 5.993 6.102 5.993z"></path> </svg> </span> <span class="ic-close"> <svg version="1.1" id="Capa_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px" width="612px" height="612px" viewBox="0 0 612 612" fill="currentColor" style="enable-background:new 0 0 612 612;" xml:space="preserve"><g><g id="cross"><g><polygon points="612,36.004 576.521,0.603 306,270.608 35.478,0.603 0,36.004 270.522,306.011 0,575.997 35.478,611.397 306,341.411 576.521,611.397 612,575.997 341.459,306.011 " /></g></g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g><g></g></svg> </span> <span class="arrow-down"></span> </a> <div class="header-search-modal-wrapper"> <form role="search" class="header-search-modal header-search-form" action="https://www.lirmm.fr/"> <label> <span class="screen-reader-text">Rechercher :</span> <input type="search" class="search-field" placeholder="Recherche..." value="" name="s" title="Rechercher :" /> </label> <button type="submit" class="search-submit" aria-label="submit search"> <svg aria-hidden="true" focusable="false" role="presentation" xmlns="http://www.w3.org/2000/svg" width="20" height="21" viewBox="0 0 20 21"> <path fill="currentColor" fill-rule="evenodd" d="M12.514 14.906a8.264 8.264 0 0 1-4.322 1.21C3.668 16.116 0 12.513 0 8.07 0 3.626 3.668.023 8.192.023c4.525 0 8.193 3.603 8.193 8.047 0 2.033-.769 3.89-2.035 5.307l4.999 5.552-1.775 1.597-5.06-5.62zm-4.322-.843c3.37 0 6.102-2.684 6.102-5.993 0-3.31-2.732-5.994-6.102-5.994S2.09 4.76 2.09 8.07c0 3.31 2.732 5.993 6.102 5.993z"></path> </svg> </button> </form> </div> </div></div></div></div></div> </div> </div> </div> <div id="header-menu-sidebar" class="header-menu-sidebar menu-sidebar-panel light-mode"><div id="header-menu-sidebar-bg" class="header-menu-sidebar-bg"><div id="header-menu-sidebar-inner" class="header-menu-sidebar-inner"><div class="builder-item-sidebar mobile-item--search_box"><div class="item--inner" data-item-id="search_box" data-section="search_box"><div class="header-search_box-item item--search_box"> <form role="search" class="header-search-form " action="https://www.lirmm.fr/"> <div class="search-form-fields"> <span class="screen-reader-text">Rechercher :</span> <input type="search" class="search-field" placeholder="Recherche..." value="" name="s" title="Rechercher :" /> </div> <button type="submit" class="search-submit" aria-label="Submit Search"> <svg aria-hidden="true" focusable="false" role="presentation" xmlns="http://www.w3.org/2000/svg" width="20" height="21" viewBox="0 0 20 21"> <path fill="currentColor" fill-rule="evenodd" d="M12.514 14.906a8.264 8.264 0 0 1-4.322 1.21C3.668 16.116 0 12.513 0 8.07 0 3.626 3.668.023 8.192.023c4.525 0 8.193 3.603 8.193 8.047 0 2.033-.769 3.89-2.035 5.307l4.999 5.552-1.775 1.597-5.06-5.62zm-4.322-.843c3.37 0 6.102-2.684 6.102-5.993 0-3.31-2.732-5.994-6.102-5.994S2.09 4.76 2.09 8.07c0 3.31 2.732 5.993 6.102 5.993z"></path> </svg> </button> </form> </div></div></div><div class="builder-item-sidebar mobile-item--primary-menu mobile-item--menu "><div class="item--inner" data-item-id="primary-menu" data-section="header_menu_primary"><nav id="site-navigation-sidebar-mobile" class="site-navigation primary-menu primary-menu-sidebar nav-menu-mobile primary-menu-mobile style-border-bottom"><ul id="menu-menu-principal" class="primary-menu-ul menu nav-menu"><li id="menu-item--sidebar-mobile-981" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-981"><a><span class="link-before">Accueil<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-0"> <li id="menu-item--sidebar-mobile-2586" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-2586"><a href="https://www.lirmm.fr/presentation/"><span class="link-before">Pr茅sentation</span></a></li> <li id="menu-item--sidebar-mobile-72" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-72"><a href="https://www.lirmm.fr/organisation/"><span class="link-before">Organisation</span></a></li> <li id="menu-item--sidebar-mobile-81" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-81"><a href="https://www.lirmm.fr/historique/"><span class="link-before">Historique</span></a></li> </ul> </li> <li id="menu-item--sidebar-mobile-1032" class="menu-item menu-item-type-custom menu-item-object-custom current-menu-ancestor menu-item-has-children menu-item-1032"><a><span class="link-before">Recherche<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-0"> <li id="menu-item--sidebar-mobile-2824" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-2824"><a href="#"><span class="link-before">D茅partements<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--sidebar-mobile-388" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-388"><a href="https://www.lirmm.fr/departement-informatique/"><span class="link-before">Informatique</span></a></li> <li id="menu-item--sidebar-mobile-433" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-433"><a href="https://www.lirmm.fr/departement-microelectronique/"><span class="link-before">Micro茅lectronique</span></a></li> <li id="menu-item--sidebar-mobile-432" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-432"><a href="https://www.lirmm.fr/departement-robotique/"><span class="link-before">Robotique</span></a></li> </ul> </li> <li id="menu-item--sidebar-mobile-15653" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-15653"><a href="https://www.lirmm.fr/equipes/"><span class="link-before">脡quipes</span></a></li> <li id="menu-item--sidebar-mobile-17661" class="menu-item menu-item-type-custom menu-item-object-custom current-menu-ancestor current-menu-parent menu-item-has-children menu-item-17661"><a href="#"><span class="link-before">Axes transverses<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--sidebar-mobile-17478" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-17478"><a href="https://www.lirmm.fr/mer-ocean/"><span class="link-before">Axe transverse Mer et Oc茅an</span></a></li> <li id="menu-item--sidebar-mobile-17848" class="menu-item menu-item-type-post_type menu-item-object-page current-menu-item page_item page-item-17840 current_page_item menu-item-17848"><a href="https://www.lirmm.fr/logique/" aria-current="page"><span class="link-before">Logiques</span></a></li> <li id="menu-item--sidebar-mobile-19095" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-19095"><a href="https://www.lirmm.fr/securite/"><span class="link-before">S茅curit茅 & suret茅</span></a></li> <li id="menu-item--sidebar-mobile-21258" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-21258"><a href="https://www.lirmm.fr/intelligence-artificielle/"><span class="link-before">Axe IA et Science des donn茅es</span></a></li> <li id="menu-item--sidebar-mobile-23478" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-23478"><a href="https://www.lirmm.fr/sciences-du-logiciel/"><span class="link-before">Sciences du logiciel</span></a></li> </ul> </li> <li id="menu-item--sidebar-mobile-20358" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-20358"><a href="https://www.lirmm.fr/plateformes/"><span class="link-before">Plateformes<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--sidebar-mobile-395" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-395"><a href="https://www.lirmm.fr/plateformes/plateformes-en-informatique/"><span class="link-before">Informatique</span></a></li> <li id="menu-item--sidebar-mobile-406" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-406"><a href="https://www.lirmm.fr/plateformes/plateformes-en-microelectronique/"><span class="link-before">Micro茅lectronique</span></a></li> <li id="menu-item--sidebar-mobile-405" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-405"><a href="https://www.lirmm.fr/plateformes/plateforme-en-robotique/"><span class="link-before">Robotique</span></a></li> </ul> </li> <li id="menu-item--sidebar-mobile-3101" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-3101"><a target="_blank" href="https://hal-lirmm.ccsd.cnrs.fr/"><span class="link-before">Publications</span></a></li> <li id="menu-item--sidebar-mobile-214" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-214"><a href="https://www.lirmm.fr/theses-soutenues/"><span class="link-before">Th猫ses soutenues</span></a></li> <li id="menu-item--sidebar-mobile-3103" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-3103"><a href="#"><span class="link-before">Projets internationaux<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--sidebar-mobile-27057" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-27057"><a href="https://www.lirmm.fr/projets-europeens/"><span class="link-before">Europe</span></a></li> <li id="menu-item--sidebar-mobile-228" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-228"><a href="https://www.lirmm.fr/irp-et-lia/"><span class="link-before">IRP et LIA</span></a></li> </ul> </li> <li id="menu-item--sidebar-mobile-4229" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-4229"><a href="#"><span class="link-before">Projets nationaux<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--sidebar-mobile-2986" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-2986"><a href="https://www.lirmm.fr/programmes-dinvestissements-davenir/"><span class="link-before">PIA</span></a></li> <li id="menu-item--sidebar-mobile-26957" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-26957"><a href="https://www.lirmm.fr/projets-anr/"><span class="link-before">Projets ANR</span></a></li> </ul> </li> <li id="menu-item--sidebar-mobile-213" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-213"><a href="https://www.lirmm.fr/animations-scientifiques-du-lirmm/"><span class="link-before">Animations scientifiques</span></a></li> </ul> </li> <li id="menu-item--sidebar-mobile-1033" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-1033"><a><span class="link-before">Partenariats<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-0"> <li id="menu-item--sidebar-mobile-160" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-160"><a href="https://www.lirmm.fr/presentation-partenariats/"><span class="link-before">Pr茅sentation</span></a></li> <li id="menu-item--sidebar-mobile-14937" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-14937"><a href="#"><span class="link-before">Actualit茅s et s茅minaires<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--sidebar-mobile-14951" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-14951"><a href="/category/partenariat/"><span class="link-before">Actualit茅s</span></a></li> <li id="menu-item--sidebar-mobile-18531" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-18531"><a href="https://www.lirmm.fr/seminaires-de-valorisation/"><span class="link-before">S茅minaires de valorisation</span></a></li> </ul> </li> <li id="menu-item--sidebar-mobile-5281" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-5281"><a href="https://www.lirmm.fr/domaines-dexpertise/"><span class="link-before">Domaines d鈥檈xpertise</span></a></li> <li id="menu-item--sidebar-mobile-5280" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-5280"><a href="https://www.lirmm.fr/partenariat-creation-dentreprise/"><span class="link-before">Partenariat & Cr茅ation d鈥檈ntreprise</span></a></li> </ul> </li> <li id="menu-item--sidebar-mobile-3035" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-3035"><a href="https://www.lirmm.fr/etudier-au-lirmm/"><span class="link-before">脡tudier au LIRMM</span></a></li> <li id="menu-item--sidebar-mobile-15881" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-15881"><a href="#"><span class="link-before">Nos engagements<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-0"> <li id="menu-item--sidebar-mobile-19984" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-19984"><a href="https://www.lirmm.fr/green-lirmm/"><span class="link-before">Green LIRMM<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--sidebar-mobile-22752" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-22752"><a href="https://www.lirmm.fr/mobilite/"><span class="link-before">Mobilit茅</span></a></li> <li id="menu-item--sidebar-mobile-22751" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-22751"><a href="https://www.lirmm.fr/energie/"><span class="link-before">脡nergie</span></a></li> <li id="menu-item--sidebar-mobile-22765" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-22765"><a href="https://www.lirmm.fr/numerique/"><span class="link-before">Num茅rique</span></a></li> <li id="menu-item--sidebar-mobile-22790" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-22790"><a href="https://www.lirmm.fr/dechets/"><span class="link-before">D茅chets</span></a></li> <li id="menu-item--sidebar-mobile-22789" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-22789"><a href="https://www.lirmm.fr/evenements/"><span class="link-before">脡v茅nements</span></a></li> <li id="menu-item--sidebar-mobile-22788" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-22788"><a href="https://www.lirmm.fr/recherche/"><span class="link-before">Recherche</span></a></li> <li id="menu-item--sidebar-mobile-22787" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-22787"><a href="https://www.lirmm.fr/divers/"><span class="link-before">Divers</span></a></li> </ul> </li> <li id="menu-item--sidebar-mobile-18412" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-18412"><a href="https://www.lirmm.fr/science-ouverte/"><span class="link-before">Science Ouverte<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-1"> <li id="menu-item--sidebar-mobile-25253" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-25253"><a href="https://www.lirmm.fr/generaliser-lacces-ouvert-aux-publications/"><span class="link-before">G茅n茅raliser l鈥檃cc猫s ouvert aux publications scientifiques</span></a></li> <li id="menu-item--sidebar-mobile-25254" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-25254"><a href="https://www.lirmm.fr/gerer-et-partager-les-donnees-de-recherche/"><span class="link-before">G茅rer et partager les donn茅es de recherche pour les rendre r茅utilisables</span></a></li> <li id="menu-item--sidebar-mobile-25252" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-25252"><a href="https://www.lirmm.fr/algorithmes-codes-sources-et-logiciels-libres/"><span class="link-before">Algorithmes, codes sources et logiciels libres</span></a></li> <li id="menu-item--sidebar-mobile-25255" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-25255"><a href="https://www.lirmm.fr/les-enjeux-de-la-science-ouverte/"><span class="link-before">Les enjeux de la Science Ouverte</span></a></li> </ul> </li> <li id="menu-item--sidebar-mobile-16506" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16506"><a href="https://www.lirmm.fr/egalite-parite/"><span class="link-before">脡galit茅-parit茅</span></a></li> </ul> </li> <li id="menu-item--sidebar-mobile-17598" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-17598"><a href="#"><span class="link-before">Actualit茅s<span class="nav-icon-angle"> </span></span></a> <ul class="sub-menu sub-lv-0"> <li id="menu-item--sidebar-mobile-4082" class="menu-item menu-item-type-taxonomy menu-item-object-category menu-item-4082"><a href="https://www.lirmm.fr/category/prix-et-recompenses/"><span class="link-before">Prix et r茅compenses</span></a></li> <li id="menu-item--sidebar-mobile-4315" class="menu-item menu-item-type-taxonomy menu-item-object-category menu-item-4315"><a href="https://www.lirmm.fr/category/presse/"><span class="link-before">Presse</span></a></li> <li id="menu-item--sidebar-mobile-4316" class="menu-item menu-item-type-taxonomy menu-item-object-category menu-item-4316"><a href="https://www.lirmm.fr/category/evenements/"><span class="link-before">脡v猫nements</span></a></li> </ul> </li> <li id="menu-item--sidebar-mobile-9418" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-9418"><a href="https://www.lirmm.fr/annuaire/"><span class="link-before">Annuaire</span></a></li> <li id="menu-item--sidebar-mobile-14729" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-14729"><a href="https://www.lirmm.fr/contact-et-acces/"><span class="link-before">contact & acc猫s</span></a></li> <li id="menu-item--sidebar-mobile-25679" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-25679"><a href="https://www.lirmm.fr/recrutement-au-lirmm/"><span class="link-before">Emplois</span></a></li> <li id="menu-item--sidebar-mobile-27323-en" class="lang-item lang-item-9 lang-item-en lang-item-first menu-item menu-item-type-custom menu-item-object-custom menu-item-27323-en"><a href="https://www.lirmm.fr/logic/" hreflang="en-GB" lang="en-GB"><span class="link-before"><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;" /></span></a></li> <li id="menu-item--sidebar-mobile-27323-fr" class="lang-item lang-item-12 lang-item-fr current-lang menu-item menu-item-type-custom menu-item-object-custom menu-item-27323-fr"><a href="https://www.lirmm.fr/logique/" hreflang="fr-FR" lang="fr-FR"><span class="link-before"><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;" /></span></a></li> </ul></nav></div></div><div class="builder-item-sidebar mobile-item--social-icons"><div class="item--inner" data-item-id="social-icons" data-section="header_social_icons"></div></div><div class="builder-item-sidebar mobile-item--button"><div class="item--inner" data-item-id="button" data-section="header_button"><a href="" class="item--button customify-btn customify-builder-btn is-icon-before"><i class="fa fa-book"></i> ANNUAIRE</a></div></div></div></div></div></div></header> <div id="page-titlebar" class="page-header--item page-titlebar "> <div class="page-titlebar-inner customify-container"> <h1 class="titlebar-title h4">Logiques</h1> </div> </div> <div id="site-content" class="site-content"> <div class="customify-container"> <div class="customify-grid"> <main id="main" class="content-area customify-col-9_sm-12"> <div data-elementor-type="wp-page" data-elementor-id="17840" class="elementor elementor-17840" data-elementor-post-type="page"> <section class="elementor-section elementor-top-section elementor-element elementor-element-fec974e elementor-section-boxed elementor-section-height-default elementor-section-height-default" data-id="fec974e" data-element_type="section"> <div class="elementor-container elementor-column-gap-default"> <div class="elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-426f884" data-id="426f884" data-element_type="column"> <div class="elementor-widget-wrap elementor-element-populated"> <div class="elementor-element elementor-element-ae11e43 elementor-widget elementor-widget-testimonial" data-id="ae11e43" data-element_type="widget" data-widget_type="testimonial.default"> <div class="elementor-widget-container"> <div class="elementor-testimonial-wrapper"> <div class="elementor-testimonial-meta elementor-has-image elementor-testimonial-image-position-aside"> <div class="elementor-testimonial-meta-inner"> <div class="elementor-testimonial-image"> <img decoding="async" width="143" height="150" src="https://www.lirmm.fr/wp-content/uploads/sites/3/2021/12/LIRMM_ChristianRetore.jpg" class="attachment-full size-full wp-image-17849" alt="" /> </div> <div class="elementor-testimonial-details"> <div class="elementor-testimonial-name">Christian RETORE</div> <div class="elementor-testimonial-job">Animateur</div> </div> </div> </div> </div> </div> </div> </div> </div> <div class="elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-d2d47b0" data-id="d2d47b0" data-element_type="column"> <div class="elementor-widget-wrap elementor-element-populated"> <div class="elementor-element elementor-element-56b83bf elementor-widget elementor-widget-testimonial" data-id="56b83bf" data-element_type="widget" data-widget_type="testimonial.default"> <div class="elementor-widget-container"> <div class="elementor-testimonial-wrapper"> <div class="elementor-testimonial-meta elementor-has-image elementor-testimonial-image-position-aside"> <div class="elementor-testimonial-meta-inner"> <div class="elementor-testimonial-image"> <a href="mailto:christian.retore@lirmm.fr" target="_blank"><img loading="lazy" decoding="async" width="900" height="660" src="https://www.lirmm.fr/wp-content/uploads/sites/3/2021/04/contact_MIC_LIRMM-3.jpg" class="attachment-full size-full wp-image-9621" alt="" srcset="https://www.lirmm.fr/wp-content/uploads/sites/3/2021/04/contact_MIC_LIRMM-3.jpg 900w, https://www.lirmm.fr/wp-content/uploads/sites/3/2021/04/contact_MIC_LIRMM-3-300x220.jpg 300w, https://www.lirmm.fr/wp-content/uploads/sites/3/2021/04/contact_MIC_LIRMM-3-768x563.jpg 768w" sizes="(max-width: 900px) 100vw, 900px" /></a> </div> <div class="elementor-testimonial-details"> <a class="elementor-testimonial-name" href="mailto:christian.retore@lirmm.fr" target="_blank">Contact</a> </div> </div> </div> </div> </div> </div> </div> </div> </div> </section> <section class="elementor-section elementor-top-section elementor-element elementor-element-87e8172 elementor-section-boxed elementor-section-height-default elementor-section-height-default" data-id="87e8172" data-element_type="section"> <div class="elementor-container elementor-column-gap-default"> <div class="elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-c3ac230" data-id="c3ac230" data-element_type="column"> <div class="elementor-widget-wrap elementor-element-populated"> <div class="elementor-element elementor-element-a52f6ea elementor-widget elementor-widget-text-editor" data-id="a52f6ea" data-element_type="widget" data-widget_type="text-editor.default"> <div class="elementor-widget-container"> <h4><span style="color: #ff6600">Pr茅sentation</span></h4><p style="text-align: justify">L鈥檌nformatique a pris sa source dans la logique math茅matique, dans les ann茅es 1930 : peut-on d茅cider m茅caniquement de la validit茅 d鈥檜n 茅nonc茅 ? que peut-on calculer ? comment repr茅senter des donn茅es par des entiers ?聽聽 Aujourd鈥檋ui ces questions fondamentales de calculabilit茅 restent d鈥檃ctualit茅, et de nouveaux aspects de la logique se d茅veloppent, notamment pour la s茅curit茅 des programmes et des syst猫mes cyber-physiques, ou pour que les agents et robots dot茅s d鈥檜ne intelligence artificielle puissent raisonner correctement.</p><p style="text-align: justify">Au LIRMM, les membres de plusieurs 茅quipes poursuivent des recherches fondamentales sur le sujet, par exemple sur la calculabilit茅, tout en explorant des applications de la logique apparues plus ou moins r茅cemment, comme les preuves de programmes, la repr茅sentation des connaissances, l鈥檃rgumentation, ou l鈥檃nalyse logique du langage naturel.</p> </div> </div> </div> </div> </div> </section> <section class="elementor-section elementor-top-section elementor-element elementor-element-0b126a9 elementor-section-boxed elementor-section-height-default elementor-section-height-default" data-id="0b126a9" data-element_type="section"> <div class="elementor-container elementor-column-gap-default"> <div class="elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-abc0844" data-id="abc0844" data-element_type="column"> <div class="elementor-widget-wrap elementor-element-populated"> <div class="elementor-element elementor-element-6f9a576 elementor-widget elementor-widget-text-editor" data-id="6f9a576" data-element_type="widget" data-widget_type="text-editor.default"> <div class="elementor-widget-container"> <h4><span style="color: #ff6600">Questions de logique 茅tudi茅es au LIRMM <br /></span></h4><p style="text-align: justify">Parmi les questions de logique qui sont source d鈥檌nteractions entre les membres du LIRMM, nous mentionnons :</p><ul><li style="text-align: justify">La recherche de preuve en logique classique et la v茅rification de programme.</li><li style="text-align: justify">Des fragments d茅cidables de la logique classique, logiques de description, et repr茅sentation des connaissances.</li><li style="text-align: justify">Logique et argumentation : argumentation 脿 la Dung et preuves partielles, logique dialogique.</li><li style="text-align: justify">La recherche de preuve en logique lin茅aire, avec ses applications 脿 la s茅mantique du langage naturel, ou aux r茅seaux de Petri.</li><li style="text-align: justify">La quantification du premier et du second ordre dans des logiques classiques, intuitionnistes, modales, lin茅aires et les quantificateurs non standard et son expression dans le raisonnement en langage naturel (projet UM Quanti 2017)</li><li style="text-align: justify">Calculabilit茅, ensembles constructibles et ordinaux admissibles.</li><li style="text-align: justify">Logique et complexit茅 param茅trique, mod猫les finis, logique monadique du second ordre.</li></ul> </div> </div> </div> </div> </div> </section> <section class="elementor-section elementor-top-section elementor-element elementor-element-3d5eaba elementor-section-boxed elementor-section-height-default elementor-section-height-default" data-id="3d5eaba" data-element_type="section"> <div class="elementor-container elementor-column-gap-default"> <div class="elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-24bcb92" data-id="24bcb92" data-element_type="column"> <div class="elementor-widget-wrap elementor-element-populated"> <div class="elementor-element elementor-element-1b3dd7a elementor-widget elementor-widget-toggle" data-id="1b3dd7a" data-element_type="widget" data-widget_type="toggle.default"> <div class="elementor-widget-container"> <div class="elementor-toggle"> <div class="elementor-toggle-item"> <div id="elementor-tab-title-2851" class="elementor-tab-title" data-tab="1" role="button" aria-controls="elementor-tab-content-2851" aria-expanded="false"> <span class="elementor-toggle-icon elementor-toggle-icon-left" aria-hidden="true"> <span class="elementor-toggle-icon-closed"><i class="fas fa-caret-right"></i></span> <span class="elementor-toggle-icon-opened"><i class="elementor-toggle-icon-opened fas fa-caret-up"></i></span> </span> <a class="elementor-toggle-title" tabindex="0">脡quipes et collaborations</a> </div> <div id="elementor-tab-content-2851" class="elementor-tab-content elementor-clearfix" data-tab="1" role="region" aria-labelledby="elementor-tab-title-2851"><p style="text-align: justify">Les 茅quipes du LIRMM impliqu茅es sur ces th茅matiques sont <a href="/equipes/algco/">ALGCO</a>, <a href="/equipes/ESCAPE/">ESCAPE</a>, <a href="/equipes/BOREAL/">BOREAL</a>, <a href="/equipes/MAREL/">MAREL</a>, <a href="/equipes/SMILE/">SMILE</a> et <a href="/equipes/TEXTE/">TEXTE</a>.</p><p style="text-align: justify">Elles collaborent au-del脿 du LIRMM, localement avec le laboratoire IMAG (Montpellier), au niveau national avec les laboratoires :</p><ul style="text-align: justify"><li><a href="https://www.i2m.univ-amu.fr/la-recherche/groupes-scientifiques/groupe-arithmetique-geometrie-logique-et-representations-aglr/equipe-logique-de-la-programmation-ldp/" target="_blank" rel="noopener">I2M</a> (Marseille),</li><li><a href="http://www.institutnicod.org" target="_blank" rel="noopener">IJN</a> (CNRS-EHESS-ENS),</li><li><a href="https://www.irif.fr" target="_blank" rel="noopener">IRIF</a> (Universit茅 de Paris),</li><li><a href="https://www.labri.fr" target="_blank" rel="noopener">LaBRI</a> (Bordeaux),</li><li><a href="https://team.inria.fr/partout/" target="_blank" rel="noopener">Inria</a> (EPC Partout), <a href="https://deducteam.gitlabpages.inria.fr" target="_blank" rel="noopener">Deducteam聽 </a>et <a href="https://team.inria.fr/valda/fr/" target="_blank" rel="noopener">Valda</a>.</li></ul><p style="text-align: justify">Certains membres de l鈥檃xe participent au :</p><ul style="text-align: justify"><li><a href="https://www.ins2i.cnrs.fr/en/node/1316" target="_blank" rel="noopener">GDR international logique lin茅aire</a>,</li><li><a href="https://www.gdr-im.fr" target="_blank" rel="noopener">GDR informatique math茅matique</a> (GT Scalp et HLT),</li><li><a href="https://philmath.hypotheses.org" target="_blank" rel="noopener">GDR philosophie des math茅matiques</a></li></ul><p style="text-align: justify">A l鈥櫭﹖ranger, des collaborations existent avec :</p><ul><li style="text-align: justify"><a href="https://www.illc.uva.nl" target="_blank" rel="noopener">ILLC</a> Amsterdam (Pays-Bas),</li><li style="text-align: justify"><a href="https://topos.institute" target="_blank" rel="noopener">TU Dresden</a> (Allemagne),</li><li style="text-align: justify"><a href="https://www.berkeley.edu/" target="_blank" rel="noopener">University of Berkeley</a> (CA, USA),</li><li style="text-align: justify"><a href="https://informatics.tuwien.ac.at/orgs/e192" target="_blank" rel="noopener">TU Wien</a> (Autriche),</li><li style="text-align: justify"><a href="http://logica.uniroma3.it" target="_blank" rel="noopener">Universit脿 Roma tre</a> (Italie).</li></ul></div> </div> <div class="elementor-toggle-item"> <div id="elementor-tab-title-2852" class="elementor-tab-title" data-tab="2" role="button" aria-controls="elementor-tab-content-2852" aria-expanded="false"> <span class="elementor-toggle-icon elementor-toggle-icon-left" aria-hidden="true"> <span class="elementor-toggle-icon-closed"><i class="fas fa-caret-right"></i></span> <span class="elementor-toggle-icon-opened"><i class="elementor-toggle-icon-opened fas fa-caret-up"></i></span> </span> <a class="elementor-toggle-title" tabindex="0">Animation scientifique</a> </div> <div id="elementor-tab-content-2852" class="elementor-tab-content elementor-clearfix" data-tab="2" role="region" aria-labelledby="elementor-tab-title-2852"><p style="text-align: justify;">Les membres de l鈥檃xe Logique organisent r茅guli猫rement des journ茅es d鈥櫭﹖udes, notamment la journ茅e UNESCO de la logique chaque 14 janvier depuis 2019, un workshop international sur les quantificateurs epsilon et tau, des journ茅es sur la quantification, des journ茅es sur la logique lin茅aire, les preuves formelles, les fragments d茅cidables de la logique du premier ordre.</p> Des informations plus d茅taill茅es se trouvent <a href="https://www.lirmm.fr/~retore/logiques/index.html" target="_blank" rel="noopener">ici.</a> <h3>Focus :</h3> <h3><strong>Journ茅e Mondiale de la Logique 2023 – </strong><strong>samedi 14 Janvier 2023 10:00-13:00聽</strong></h3> <h3>3 expos茅s :</h3> <ul> <li><strong>10h聽</strong> <em>Incompl茅tude et calculabilit茅聽</em> Bruno DURAND (LIRMM, Univ Montpellier et CNRS)</li> <li><strong>11h</strong> <em>Logique et langage聽: 茅l茅ments d鈥檜ne longue histoire </em> Christian RETOR脡 (LIRMM, Univ Montpellier et CNRS)</li> <li><strong>12h聽</strong> <em>S茅curit茅 des programmes et logique modale聽</em> Davide CATTA (Telecom Paris, Institut Polytechnique de Paris)</li> </ul> <h3>Vid茅os :</h3> <a href="https://seafile.lirmm.fr/d/494b74106d2b4e98bd75/files/?p=%2Ftransfer_4861385_files_42fc1932%2Fcatta.mov" target="_blank">Davide Catta</a></br> <a href="https://seafile.lirmm.fr/d/494b74106d2b4e98bd75/files/?p=%2Ftransfer_4861385_files_42fc1932%2Fretore.mov" target="_blank">Christian RETOR脡</a></br> <a href="https://seafile.lirmm.fr/d/494b74106d2b4e98bd75/files/?p=%2Ftransfer_4861385_files_42fc1932%2Fdurand.mov" target="_blank">Bruno DURAND</a></br> </div> </div> </div> </div> </div> </div> </div> </div> </section> </div> </main> <aside id="sidebar-primary" class="sidebar-primary customify-col-3_sm-12"> <div class="sidebar-primary-inner sidebar-inner widget-area"> <section id="text-56" class="widget widget_text"><h4 class="widget-title">WebIris, Prenez soin de vos yeux !</h4> <div class="textwidget"><p><a href="https://web-iris.lirmm.fr/"><img loading="lazy" decoding="async" class="alignnone size-full wp-image-28363" src="http://www.lirmm.fr/wp-content/uploads/sites/3/2025/03/oeuil.png" alt="" width="85" height="84" /></a></p> </div> </section> </div> </aside> </div> </div> </div> <footer class="site-footer" id="site-footer"> <div class="footer-main footer--row layout-full-contained" id="cb-row--footer-main" data-row-id="main" data-show-on="desktop"> <div class="footer--row-inner footer-main-inner dark-mode"> <div class="customify-container"> <div class="customify-grid customify-grid-top"><div class="customify-col-3_md-3_sm-6_xs-12 builder-item builder-first--footer-3" data-push-left="off-3 _sm-0"><div class="item--inner builder-item--footer-3" data-section="sidebar-widgets-footer-3" data-item-id="footer-3" ><div class="widget-area"><section id="text-11" class="widget widget_text"> <div class="textwidget"><p><a href="/wp-admin" target="_blank" rel="noopener">Acc猫s r茅dacteur </a><br /> <a href="https://intranet.lirmm.fr" target="_blank" rel="noopener">Intranet</a><br /> <a href=" https://grr.ies.umontpellier.fr/grr/" target="_blank" rel="noopener">R茅servation de salle</a></p> </div> </section></div></div></div><div class="customify-col-6_md-6_sm-6_xs-12 builder-item builder-first--footer-4" data-push-left="_sm-0"><div class="item--inner builder-item--footer-4" data-section="sidebar-widgets-footer-4" data-item-id="footer-4" ><div class="widget-area"><section id="text-12" class="widget widget_text"> <div class="textwidget"><p><a href="/informations-legales/">Informations l茅gales</a></p> <p><a href="https://webmail.lirmm.fr/" target="_blank">Webmail</a></p> </div> </section></div></div></div></div> </div> </div> </div> <div class="footer-bottom footer--row layout-full-contained" id="cb-row--footer-bottom" data-row-id="bottom" data-show-on="desktop"> <div class="footer--row-inner footer-bottom-inner dark-mode"> <div class="customify-container"> <div class="customify-grid customify-grid-top"><div class="customify-col-6_md-6_sm-6_xs-12 builder-item builder-first--footer_copyright" data-push-left="_sm-0"><div class="item--inner builder-item--footer_copyright" data-section="footer_copyright" data-item-id="footer_copyright" ><div class="builder-footer-copyright-item footer-copyright"><p>Copyright © 2025 LIRMM</p> </div></div></div></div> </div> </div> </div> </footer></div> <div id="scrolltop" class="scrolltop right"><i class="fa fa-angle-double-up"></i></div> <div id="customify_cookie_notice" class="customify_cookie_notice cn-position-bottom"> <span class="notice-content">We use cookies to ensure that we give you the best experience on our website. We also call on third party commercial services that may use publicity cookies<br> Nous utilisons des traceurs n茅cessaires au bon fonctionnement du site. Nous r茅f茅ren莽ons 茅galement 脿 des sites ext茅rieurs qui peuvent utiliser des traceurs publicitaires.</span> <a href="#" id="customify-accept-cookie" data-cookie-set="accept" class="customify-set-cookie button">Ok</a> </div>  <script> var _paq = window._paq = window._paq || []; /* tracker methods like "setCustomDimension" should be called before "trackPageView" */ _paq.push(['trackPageView']); _paq.push(['enableLinkTracking']); (function() { var u="https://webstat.lirmm.fr/"; _paq.push(['setTrackerUrl', u+'piwik.php']); _paq.push(['setSiteId', '66']); var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0]; g.async=true; g.src=u+'piwik.js'; s.parentNode.insertBefore(g,s); })(); </script>  <script> const lazyloadRunObserver = () => { const lazyloadBackgrounds = document.querySelectorAll( `.e-con.e-parent:not(.e-lazyloaded)` ); const lazyloadBackgroundObserver = new IntersectionObserver( ( entries ) => { entries.forEach( ( entry ) => { if ( entry.isIntersecting ) { let lazyloadBackground = entry.target; if( lazyloadBackground ) { lazyloadBackground.classList.add( 'e-lazyloaded' ); } lazyloadBackgroundObserver.unobserve( entry.target ); } }); }, { rootMargin: '200px 0px 200px 0px' } ); lazyloadBackgrounds.forEach( ( lazyloadBackground ) => { lazyloadBackgroundObserver.observe( lazyloadBackground ); } ); }; const events = [ 'DOMContentLoaded', 'elementor/lazyload/observe', ]; events.forEach( ( event ) => { document.addEventListener( event, lazyloadRunObserver ); } ); </script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/hal/js/cv-hal.js?ver=6.7.2" id="wp-hal-script4-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/ics-calendar/assets/script.min.js?ver=11.5.7" id="ics-calendar-js"></script> <script type="text/javascript" id="ics-calendar-js-after"> /* <![CDATA[ */ var r34ics_ajax_obj = {"ajaxurl":"https:\/\/www.lirmm.fr\/wp-admin\/admin-ajax.php","r34ics_nonce":"c4065de526"}; var ics_calendar_i18n = {"hide_past_events":"Masquer les \u00e9v\u00e9nements pass\u00e9s","show_past_events":"Afficher les \u00e9v\u00e8nements pass\u00e9s"}; var r34ics_days_of_week_map = {"dimanche":"dim","lundi":"lun","mardi":"mar","mercredi":"mer","jeudi":"jeu","vendredi":"ven","samedi":"sam"}; var r34ics_transients_expiration_ms = 3600000; var r34ics_ajax_interval; /* ]]> */ </script> <script type="text/javascript" id="customify-themejs-js-extra"> /* <![CDATA[ */ var Customify_JS = {"is_rtl":"","css_media_queries":{"all":"%s","desktop":"%s","tablet":"@media screen and (max-width: 1024px) { %s }","mobile":"@media screen and (max-width: 568px) { %s }"},"sidebar_menu_no_duplicator":"1"}; /* ]]> */ </script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/themes/customify/assets/js/theme.min.js?ver=0.4.8" id="customify-themejs-js"></script> <script type="text/javascript" src="http://www.lirmm.fr/wp-content/uploads/sites/3/customify-pro/customify-pro-0bc9d9078bd54317852b713e7f420580.js?ver=20250404022405" id="customify-pro-0bc9d9078bd54317852b713e7f420580-js"></script> <script type="text/javascript" id="eael-general-js-extra"> /* <![CDATA[ */ var localize = {"ajaxurl":"https:\/\/www.lirmm.fr\/wp-admin\/admin-ajax.php","nonce":"e6e7214839","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.lirmm.fr\/logique\/","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.lirmm.fr/wp-content/plugins/essential-addons-for-elementor-lite/assets/front-end/js/view/general.min.js?ver=6.1.9" id="eael-general-js"></script> <script type="text/javascript" id="ivory-search-scripts-js-extra"> /* <![CDATA[ */ var IvorySearchVars = {"is_analytics_enabled":"1"}; /* ]]> */ </script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/add-search-to-menu/public/js/ivory-search.min.js?ver=5.5.9" id="ivory-search-scripts-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/elementor-pro/assets/js/webpack-pro.runtime.min.js?ver=3.28.2" id="elementor-pro-webpack-runtime-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/elementor/assets/js/webpack.runtime.min.js?ver=3.28.3" id="elementor-webpack-runtime-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/elementor/assets/js/frontend-modules.min.js?ver=3.28.3" id="elementor-frontend-modules-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-includes/js/dist/hooks.min.js?ver=4d63a3d491d11ffd8ac6" id="wp-hooks-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-includes/js/dist/i18n.min.js?ver=5e580eb46a90c2b997e6" id="wp-i18n-js"></script> <script type="text/javascript" id="wp-i18n-js-after"> /* <![CDATA[ */ wp.i18n.setLocaleData( { 'text direction\u0004ltr': [ 'ltr' ] } ); /* ]]> */ </script> <script type="text/javascript" id="elementor-pro-frontend-js-before"> /* <![CDATA[ */ var ElementorProFrontendConfig = {"ajaxurl":"https:\/\/www.lirmm.fr\/wp-admin\/admin-ajax.php","nonce":"8b57ddfd37","urls":{"assets":"https:\/\/www.lirmm.fr\/wp-content\/plugins\/elementor-pro\/assets\/","rest":"https:\/\/www.lirmm.fr\/wp-json\/"},"settings":{"lazy_load_background_images":true},"popup":{"hasPopUps":false},"shareButtonsNetworks":{"facebook":{"title":"Facebook","has_counter":true},"twitter":{"title":"Twitter"},"linkedin":{"title":"LinkedIn","has_counter":true},"pinterest":{"title":"Pinterest","has_counter":true},"reddit":{"title":"Reddit","has_counter":true},"vk":{"title":"VK","has_counter":true},"odnoklassniki":{"title":"OK","has_counter":true},"tumblr":{"title":"Tumblr"},"digg":{"title":"Digg"},"skype":{"title":"Skype"},"stumbleupon":{"title":"StumbleUpon","has_counter":true},"mix":{"title":"Mix"},"telegram":{"title":"Telegram"},"pocket":{"title":"Pocket","has_counter":true},"xing":{"title":"XING","has_counter":true},"whatsapp":{"title":"WhatsApp"},"email":{"title":"Email"},"print":{"title":"Print"},"x-twitter":{"title":"X"},"threads":{"title":"Threads"}}, "facebook_sdk":{"lang":"fr_FR","app_id":""},"lottie":{"defaultAnimationUrl":"https:\/\/www.lirmm.fr\/wp-content\/plugins\/elementor-pro\/modules\/lottie\/assets\/animations\/default.json"}}; /* ]]> */ </script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/elementor-pro/assets/js/frontend.min.js?ver=3.28.2" id="elementor-pro-frontend-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-includes/js/jquery/ui/core.min.js?ver=1.13.3" id="jquery-ui-core-js"></script> <script type="text/javascript" id="elementor-frontend-js-before"> /* <![CDATA[ */ var elementorFrontendConfig = {"environmentMode":{"edit":false,"wpPreview":false,"isScriptDebug":false},"i18n":{"shareOnFacebook":"Partager sur Facebook","shareOnTwitter":"Partager sur Twitter","pinIt":"L\u2019\u00e9pingler","download":"T\u00e9l\u00e9charger","downloadImage":"T\u00e9l\u00e9charger une image","fullscreen":"Plein \u00e9cran","zoom":"Zoom","share":"Partager","playVideo":"Lire la vid\u00e9o","previous":"Pr\u00e9c\u00e9dent","next":"Suivant","close":"Fermer","a11yCarouselPrevSlideMessage":"Diapositive pr\u00e9c\u00e9dente","a11yCarouselNextSlideMessage":"Diapositive suivante","a11yCarouselFirstSlideMessage":"Ceci est la premi\u00e8re diapositive","a11yCarouselLastSlideMessage":"Ceci est la derni\u00e8re diapositive","a11yCarouselPaginationBulletMessage":"Aller \u00e0 la diapositive"},"is_rtl":false,"breakpoints":{"xs":0,"sm":480,"md":768,"lg":1025,"xl":1440,"xxl":1600},"responsive":{"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}}, "hasCustomBreakpoints":false},"version":"3.28.3","is_static":false,"experimentalFeatures":{"additional_custom_breakpoints":true,"e_local_google_fonts":true,"theme_builder_v2":true,"editor_v2":true,"home_screen":true},"urls":{"assets":"https:\/\/www.lirmm.fr\/wp-content\/plugins\/elementor\/assets\/","ajaxurl":"https:\/\/www.lirmm.fr\/wp-admin\/admin-ajax.php","uploadUrl":"http:\/\/www.lirmm.fr\/wp-content\/uploads\/sites\/3"},"nonces":{"floatingButtonsClickTracking":"c6f6777562"},"swiperClass":"swiper","settings":{"page":[],"editorPreferences":[]},"kit":{"active_breakpoints":["viewport_mobile","viewport_tablet"],"global_image_lightbox":"yes","lightbox_enable_counter":"yes","lightbox_enable_fullscreen":"yes","lightbox_enable_zoom":"yes","lightbox_enable_share":"yes","lightbox_title_src":"title","lightbox_description_src":"description"},"post":{"id":17840,"title":"Logiques%20%E2%80%93%20LIRMM","excerpt":"","featuredImage":false}}; /* ]]> */ </script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/elementor/assets/js/frontend.min.js?ver=3.28.3" id="elementor-frontend-js"></script> <script type="text/javascript" src="https://www.lirmm.fr/wp-content/plugins/elementor-pro/assets/js/elements-handlers.min.js?ver=3.28.2" id="pro-elements-handlers-js"></script> <script type="text/javascript"> (function() { var expirationDate = new Date(); expirationDate.setTime( expirationDate.getTime() + 31536000 * 1000 ); document.cookie = "pll_language=fr; expires=" + expirationDate.toUTCString() + "; path=/; domain=.www.lirmm.fr; secure; SameSite=Lax"; }()); </script> </body> </html>