{"id":902,"date":"2024-07-02T10:14:53","date_gmt":"2024-07-02T08:14:53","guid":{"rendered":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/?page_id=902"},"modified":"2026-03-09T10:03:44","modified_gmt":"2026-03-09T09:03:44","slug":"working-groups","status":"publish","type":"page","link":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/working-groups\/","title":{"rendered":"Working Group"},"content":{"rendered":"\n<h2 class=\"wp-block-heading\">On-going Working Group (since 2024)<\/h2>\n\n\n\n<h3 class=\"wp-block-heading\">LMV (since mid 2024)<\/h3>\n\n\n\n<p>This working group is the general purpose working group of the LMV team. It is organised by the LMV team.&nbsp;<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><strong>202<\/strong>6<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Monday, July 20, 2026, 2PM, SR3: TBA<\/li>\n\n\n\n<li>Monday, July 7, 2026, 2PM, SR3: TBA<\/li>\n\n\n\n<li>Monday, June 22, 2026, 2PM, SR3: TBA<\/li>\n\n\n\n<li>Monday, June 8, 2026, 2PM, SR3: TBA<\/li>\n\n\n\n<li>Monday, May 11, 2026, 2PM, SR3: Talk by Fr\u00e9d\u00e9ric Loulergue on the paper &#8220;Generating Distributed Programs from Event-B Models&#8221;<\/li>\n\n\n\n<li>Monday, May 4, 2026, 2PM, SR3:  Talk by Lucas Ransan<\/li>\n\n\n\n<li>Monday, April 27, 2026, 2PM, SR3: Talk by Jean-Michel Couvreur<\/li>\n\n\n\n<li>Monday, April 13, 2026, 2PM, SR3: Talk by Olivia Proust<\/li>\n\n\n\n<li>Monday-Tuesday March 30-31, 2026: Visit of the Scientific Council of the LIFO<\/li>\n\n\n\n<li>Monday, March 23, 2026, 2PM, SR3 : Talk by Frederic Loulergue: Activity Report of the LMV Team 2022-2025<\/li>\n\n\n\n<li>Monday, March 2, 2026, 2PM, SR3: Talk by Yohan Boichut on recent results <\/li>\n\n\n\n<li>Monday, February 16, 2026, 2PM, SR Tower: Talk by Jules Chouquet on Multi-Agent Temporal Logics: Models &amp; Proofs<\/li>\n\n\n\n<li>Monday, February 9, 2026, 3PM, SR3: Talk by Frederic Loulergue on the paper &#8220;Formal Verification of a Distributed Dynamic Reconfiguration Protocol&#8221;<\/li>\n\n\n\n<li>Monday, January 12, 2026, 2PM, SR3: Talk by Jolan Philippe on the paper &#8220;Kconfig metamodel: a first approach&#8221;<\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\">2025<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Monday, December 1, 2025, 11AM, SR3: Talk by T\u00e9rence Clastres<\/li>\n\n\n\n<li>Monday, November 24, 2025, 3PM, SR3: Team meeting about the team&#8217;s activities report<\/li>\n\n\n\n<li>Monday, November 17, 2025, 2PM, SR1: LIFO Seminar by Meven Lennon-Bertrand<\/li>\n\n\n\n<li>Monday, October 20, 2025, 2PM, SR1: LIFO Seminar by Tomaz Kosar<\/li>\n\n\n\n<li>Monday, October 13, 2025, 1:45PM, SR3: Talk by Jordan Ischard<\/li>\n\n\n\n<li>Monday, October 6, 2025, 1:45PM, SR3: Talk by Yani Ziani<\/li>\n\n\n\n<li>Monday, September 29, 2025, 2PM, IRD: General assembly of LIFO<\/li>\n\n\n\n<li>Monday, September 8, 2025, 1:30PM, SR3: New academic year meeting<\/li>\n\n\n\n<li>Monday, July 16-17, 2025, LMV Days at Ch\u00e2teau des Muids <\/li>\n\n\n\n<li>Monday, June 23, 2025, 2:00 PM, room SR3: Team meeting about the team&#8217;s activities report<\/li>\n\n\n\n<li>Monday, May 19, 2025, 9:15AM, room SR3: Talk by J\u00e9r\u00e9my Damour,&nbsp;Formalisation d&#8217;une analyse de r\u00e9gion pour Frama-C\/WP<\/li>\n\n\n\n<li>Monday, May 12, 2025, 2:00 PM, room SR3: Team meeting<\/li>\n\n\n\n<li>Monday, March 24, 2025, 2:00 PM, room SR3: Talk by Jordan Ischard,&nbsp;A Mechanized Formalization of an FRP Language with Effects<\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\"><strong>2024 Second Semester<\/strong><\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Wednesday, October 23, 2024, 2:00 PM, room SR3, Talk by Jordan Ischard,&nbsp;SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs<\/li>\n\n\n\n<li>Wednesday, October 23, 2024, 2:00 PM, room SR3, Talk by Tomaz Kosar (University of Maribor),&nbsp;Language workbench Jetbrains MPS<\/li>\n\n\n\n<li>Monday, July 15, 2024, 11:00 AM, room SR3. Talk by Myriam Clouet. Refinement of requirements for critical systems<\/li>\n\n\n\n<li>Wednesday, July 10, 2024, 2:00 PM, room SR3. Talk by Marine Delvallez. <\/li>\n\n\n\n<li>Monday, June 24, 2024,&nbsp;<span style=\"font-size: 1rem;\">2:00 PM, room &nbsp;SR3.&nbsp;<\/span>Talk by T\u00e9rence Clastres. Deductive verification of reactive programs<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"mce_3\">Past Working Groups&nbsp;(since 2024)<\/h2>\n\n\n\n<h2 class=\"wp-block-heading\"><strong>\u03bb-calculi<\/strong>&nbsp;&amp;&nbsp;Linear Logic<\/h2>\n\n\n\n<p>This working group is organized by Jules Chouquet.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Wednesday, June 5, 2024    10:30 AM, room SR1. Talk by Ana\u00efs Halftmeyer about Curry-Howard correspondence and natural language processing<\/li>\n\n\n\n<li>Friday, May 24, 2024, 10:30 AM, room SR1. Introduction to linear logic: proof nets<\/li>\n\n\n\n<li>Tuesday, May 21, 2024, 10:30 AM, room E13. Typed lambda-calculus and foundations of Curry-Howard isomorphism<\/li>\n\n\n\n<li>Thursday, April 25, 2024, 2:00 PM, room &nbsp;SR1. Introduction to linear logic: exponentials, cut elimination<\/li>\n\n\n\n<li>Wednesday, April 24, 2024, 2:00 PM, room &nbsp;SR1. Introduction to lambda-calculus: Church-Rosser, normal forms, encodings<\/li>\n\n\n\n<li>Thursday, April 18, 2024, 10:30 AM, room SR3. Talk by Kostia Chardonnet: initiation to quantum lambda calculus<\/li>\n\n\n\n<li>Tuesday, April 16, 2024, &nbsp;10:30 AM, room SR3. Introduction to lambda-calculus<\/li>\n\n\n\n<li>Thursday, April 11, 2024 2:00 PM, room &nbsp;SR1. Introduction to linear logic: Motivations, formulas, sequent calculus<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>On-going Working Group (since 2024) LMV (since mid 2024) This working group is the general purpose working group of the LMV team. It is organised by the LMV team.&nbsp; 2026 2025 2024 Second Semester Past Working Groups&nbsp;(since 2024) \u03bb-calculi&nbsp;&amp;&nbsp;Linear Logic This working group is organized by Jules Chouquet.<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-902","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/pages\/902","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\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/comments?post=902"}],"version-history":[{"count":27,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/pages\/902\/revisions"}],"predecessor-version":[{"id":1367,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/pages\/902\/revisions\/1367"}],"wp:attachment":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/media?parent=902"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}