{"id":1468,"date":"2026-06-15T22:58:43","date_gmt":"2026-06-15T20:58:43","guid":{"rendered":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/?page_id=1468"},"modified":"2026-06-15T22:58:43","modified_gmt":"2026-06-15T20:58:43","slug":"lmv-team-day-2026","status":"publish","type":"page","link":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/lmv-team-day-2026\/","title":{"rendered":"LMV Team Day 2026"},"content":{"rendered":"\n
08h30 \u2014 09h00<\/td>Accueil caf\u00e9<\/td><\/tr>
09h00 \u2014 09h05<\/td>Kick-off de la journ\u00e9e<\/td>– Jules C. et Jolan P.<\/td><\/tr>
09h05 \u2013\u2013 10h00<\/td>Analyse d’atteignabilit\u00e9 : Calcul automatique d’approximations concluantes en r\u00e9\u00e9criture<\/td>– Yohan B.<\/td><\/tr>
10h00 \u2014 10h30<\/td>Formalisation de l’\u00e9limination des coupures en th\u00e9orie des jeux. (Internship defense<\/em>)<\/td>– Thomas T.<\/td><\/tr>
10h30 \u2014 10h45<\/td>Pause caf\u00e9<\/td><\/tr>
10h45 \u2014 11h15<\/td>Projet de recherche et int\u00e9gration<\/td>– Guillaume A.<\/td><\/tr>
11h15 \u2014 11h45<\/td>tbd.<\/td>– Yani Z.<\/td><\/tr>
12h00 \u2014 13h30<\/td>Pause midi <\/td><\/tr>
13h45 \u2013\u2013 14h15<\/td>Bilan de l’\u00e9quipe et retour du conseil scientifique<\/td>– Fred L.<\/td><\/tr>
14h15 \u2014 15h20<\/td>Session UniVerSE
– Contexte du d\u00e9but du projet UniVerSE: ICVL + d\u00e9p\u00f4t ANR JCJC
– A Review of the UVL Ecosystem
– mech-uvl: A Mechanized Semantic Toolkit for the Universal Variability Language<\/td>		– Jolan P.
– Nicolas P.
– Fred L.<\/td><\/tr>
15h20 \u2013\u2013 15h35<\/td>Pause caf\u00e9<\/td><\/tr>
15h35 \u2014 16h20<\/td>Kairos : de la sp\u00e9cification temporelle de s\u00fbret\u00e9 \u00e0 la preuve locale<\/td>– Terence C.<\/td><\/tr>
16h20 \u2014 17h20<\/td>Atelier – projet futur<\/td>– \u00c9quipe LMV par groupe<\/td><\/tr>
17h20 \u2013\u2013 17h30<\/td>Wrap-up et cl\u00f4ture<\/td>– Jules C. et Jolan P.<\/td><\/tr>
19h00 \u2014 21h00<\/td>Diner <\/td><\/tr><\/tbody><\/table><\/figure>\n","protected":false},"excerpt":{"rendered":"

08h30 \u2014 09h00 Accueil caf\u00e9 09h00 \u2014 09h05 Kick-off de la journ\u00e9e – Jules C. et Jolan P. 09h05 \u2013\u2013 10h00 Analyse d’atteignabilit\u00e9 : Calcul automatique d’approximations concluantes en r\u00e9\u00e9criture – Yohan B. 10h00 \u2014 10h30 Formalisation de l’\u00e9limination des coupures en th\u00e9orie des jeux. (Internship defense) – Thomas T. 10h30 \u2014 10h45 Pause caf\u00e9 … Continue reading “LMV Team Day 2026”<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1468","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/pages\/1468","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/comments?post=1468"}],"version-history":[{"count":1,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/pages\/1468\/revisions"}],"predecessor-version":[{"id":1470,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/pages\/1468\/revisions\/1470"}],"wp:attachment":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/media?parent=1468"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}