{"id":8,"date":"2018-02-02T16:37:38","date_gmt":"2018-02-02T15:37:38","guid":{"rendered":"http:\/\/lig-membres.imag.fr\/sellamiy\/?p=8"},"modified":"2020-01-08T11:52:02","modified_gmt":"2020-01-08T10:52:02","slug":"english-welcome","status":"publish","type":"post","link":"https:\/\/lig-membres.imag.fr\/sellamiy\/2018\/02\/02\/english-welcome\/","title":{"rendered":"Publications"},"content":{"rendered":"<p>PhD Thesis. (<a href=\"http:\/\/lig-membres.imag.fr\/sellamiy\/wp-content\/uploads\/sites\/249\/2020\/01\/these.pdf\">06\/01\/20<\/a>)<\/p>\n<p>M. Echenim, N. Peltier, and Y. Sellami. Ilinva: Using Abduction to Generate Loop Invariants. In Frontiers of Combining Systems, FroCoS 2019, Proceedings, 2019. (<a href=\"https:\/\/arxiv.org\/abs\/1906.11033\">ArXiV<\/a>)<\/p>\n<p>M. Echenim, N. Peltier, and Y. Sellami. A generic framework for implicate generation modulo theories. In Automated Reasoning, International Joint Conference, IJCAR 2018, Proceedings, 2018. (<a href=\"https:\/\/arxiv.org\/abs\/1807.04557\">ArXiV<\/a>)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>PhD Thesis. (06\/01\/20) M. Echenim, N. Peltier, and Y. Sellami. Ilinva: Using Abduction to Generate Loop Invariants. In Frontiers of [&hellip;]<\/p>\n","protected":false},"author":867,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"footnotes":""},"categories":[1],"tags":[],"class_list":["post-8","post","type-post","status-publish","format-standard","hentry","category-non-classe"],"_links":{"self":[{"href":"https:\/\/lig-membres.imag.fr\/sellamiy\/wp-json\/wp\/v2\/posts\/8","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/lig-membres.imag.fr\/sellamiy\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/lig-membres.imag.fr\/sellamiy\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/lig-membres.imag.fr\/sellamiy\/wp-json\/wp\/v2\/users\/867"}],"replies":[{"embeddable":true,"href":"https:\/\/lig-membres.imag.fr\/sellamiy\/wp-json\/wp\/v2\/comments?post=8"}],"version-history":[{"count":9,"href":"https:\/\/lig-membres.imag.fr\/sellamiy\/wp-json\/wp\/v2\/posts\/8\/revisions"}],"predecessor-version":[{"id":32,"href":"https:\/\/lig-membres.imag.fr\/sellamiy\/wp-json\/wp\/v2\/posts\/8\/revisions\/32"}],"wp:attachment":[{"href":"https:\/\/lig-membres.imag.fr\/sellamiy\/wp-json\/wp\/v2\/media?parent=8"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/lig-membres.imag.fr\/sellamiy\/wp-json\/wp\/v2\/categories?post=8"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/lig-membres.imag.fr\/sellamiy\/wp-json\/wp\/v2\/tags?post=8"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}