<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-03689075</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-23T23:19:26+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">33èmes journées francophones des langages applicatifs</title>
            <author role="sad">
              <persName>
                <forename type="first">Chantal</forename>
                <surname>Keller</surname>
              </persName>
              <email type="md5">2c7a919ba5344845cfd949172f25eb6b</email>
              <email type="domain">lri.fr</email>
              <idno type="idhal" notation="string">chantal-keller</idno>
              <idno type="idhal" notation="numeric">15985</idno>
              <idno type="halauthorid" notation="string">31852-15985</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1282-0677</idno>
              <idno type="IDREF">https://www.idref.fr/176956875</idno>
              <affiliation ref="#struct-1065710"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Timothy</forename>
                <surname>Bourke</surname>
              </persName>
              <email type="md5">627431a6c6d487d4fb57abf07f4990a8</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">tbrk</idno>
              <idno type="idhal" notation="numeric">1591</idno>
              <idno type="halauthorid" notation="string">19816-1591</idno>
              <idno type="IDREF">https://www.idref.fr/202418812</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0601-4182</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-454670"/>
              <affiliation ref="#struct-25027"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Sandrine</forename>
                <surname>Blazy</surname>
              </persName>
              <email type="md5">81a4c4103a614c9374f9e34297c74863</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">sandrine-blazy</idno>
              <idno type="idhal" notation="numeric">18646</idno>
              <idno type="halauthorid" notation="string">16637-18646</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0189-0223</idno>
              <idno type="IDREF">https://www.idref.fr/153042567</idno>
              <orgName ref="#struct-105160"/>
              <affiliation ref="#struct-491212"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Frédéric</forename>
                <surname>Bour</surname>
              </persName>
              <email type="md5">d6c0271b0a0301e2e8c028545e0acbbb</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="numeric">1120246</idno>
              <idno type="halauthorid" notation="string">1462552-1120246</idno>
              <affiliation ref="#struct-568599"/>
              <affiliation ref="#struct-1008529"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Guillaume</forename>
                <surname>Bury</surname>
              </persName>
              <email type="md5">6a37d416fb50648ec42ec474d03fdc8e</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">guillaume-bury</idno>
              <idno type="idhal" notation="numeric">5431</idno>
              <idno type="halauthorid" notation="string">27014-5431</idno>
              <idno type="IDREF">https://www.idref.fr/243688938</idno>
              <idno type="ORCID">https://orcid.org/0009-0002-1267-251X</idno>
              <affiliation ref="#struct-231491"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Stefania</forename>
                <surname>Dumbrava</surname>
              </persName>
              <email type="md5">8cf1caf4603c83cad349b7c14bb3f666</email>
              <email type="domain">ensiie.fr</email>
              <idno type="idhal" notation="string">stefania-dumbrava</idno>
              <idno type="idhal" notation="numeric">170187</idno>
              <idno type="halauthorid" notation="string">20186-170187</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6664-0620</idno>
              <idno type="IDREF">https://www.idref.fr/198185553</idno>
              <affiliation ref="#struct-563936"/>
              <affiliation ref="#struct-442703"/>
              <affiliation ref="#struct-179741"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Diane</forename>
                <surname>Gallois-Wong</surname>
              </persName>
              <email type="md5">3c73e36d0e83715b12ed19f42036adc9</email>
              <email type="domain">lri.fr</email>
              <idno type="idhal" notation="string">diane-gallois-wong</idno>
              <idno type="idhal" notation="numeric">743741</idno>
              <idno type="halauthorid" notation="string">32867-743741</idno>
              <idno type="IDREF">https://www.idref.fr/25460224X</idno>
              <affiliation ref="#struct-577698"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Adrien</forename>
                <surname>Guatto</surname>
              </persName>
              <idno type="halauthorid">656774-0</idno>
              <affiliation ref="#struct-1005016"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">David</forename>
                <surname>Janin</surname>
              </persName>
              <email type="md5">ea85695351c16b0cf0126385d28c34df</email>
              <email type="domain">labri.fr</email>
              <idno type="idhal" notation="string">janin</idno>
              <idno type="idhal" notation="numeric">2125</idno>
              <idno type="halauthorid" notation="string">7131-2125</idno>
              <idno type="IDREF">https://www.idref.fr/13673524X</idno>
              <affiliation ref="#struct-3102"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Marie</forename>
                <surname>Kerjean</surname>
              </persName>
              <email type="md5">16d82dbcabe8a262804e328d6e91cbe6</email>
              <email type="domain">lipn.univ-paris13.fr</email>
              <idno type="idhal" notation="string">marie-kerjean</idno>
              <idno type="idhal" notation="numeric">752059</idno>
              <idno type="halauthorid" notation="string">47423-752059</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6141-6251</idno>
              <idno type="IDREF">https://www.idref.fr/241141346</idno>
              <affiliation ref="#struct-1000994"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Luc</forename>
                <surname>Pellissier</surname>
              </persName>
              <email type="md5">1788c552c9140c45cea2c810f0606783</email>
              <email type="domain">u-pec.fr</email>
              <idno type="idhal" notation="string">luc-pellissier</idno>
              <idno type="idhal" notation="numeric">141</idno>
              <idno type="halauthorid" notation="string">26474-141</idno>
              <affiliation ref="#struct-182989"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Mário</forename>
                <surname>Pereira</surname>
              </persName>
              <email type="md5">9a92c0f3df9b61e9776d660495ea37dd</email>
              <email type="domain">lri.fr</email>
              <idno type="idhal" notation="string">mario-jose-parreira-pereira</idno>
              <idno type="idhal" notation="numeric">6322</idno>
              <idno type="halauthorid" notation="string">28042-6322</idno>
              <affiliation ref="#struct-420636"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Alix</forename>
                <surname>Trieu</surname>
              </persName>
              <email type="md5">0a726f15d0e319071b06e1c3428c6b3b</email>
              <email type="domain">cs.au.dk</email>
              <idno type="idhal" notation="string">alix-trieu</idno>
              <idno type="idhal" notation="numeric">172800</idno>
              <idno type="halauthorid" notation="string">36684-172800</idno>
              <idno type="IDREF">https://www.idref.fr/236436546</idno>
              <affiliation ref="#struct-19908"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Yannick</forename>
                <surname>Zakowski</surname>
              </persName>
              <email type="md5">303f8df5bf85fbf323404df91f6ca4bc</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">yzakowski</idno>
              <idno type="idhal" notation="numeric">14177</idno>
              <idno type="halauthorid" notation="string">18824-14177</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4585-6470</idno>
              <affiliation ref="#struct-1096185"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Timothy</forename>
                <surname>Bourke</surname>
              </persName>
              <email type="md5">627431a6c6d487d4fb57abf07f4990a8</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2022-06-09 15:24:21</date>
              <date type="whenWritten">2022-06-06</date>
              <date type="whenModified">2026-01-23 09:12:07</date>
              <date type="whenReleased">2022-06-09 15:37:46</date>
              <date type="whenProduced">2022-06-28</date>
              <date type="whenEndEmbargoed">2022-06-06</date>
              <ref type="file" target="https://inria.hal.science/hal-03689075v1/document">
                <date notBefore="2022-06-06"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-03689075v1/file/proceedings-jfla-2022.pdf" id="file-3689075-3224168">
                <date notBefore="2022-06-06"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="188840">
                <persName>
                  <forename>Timothy</forename>
                  <surname>Bourke</surname>
                </persName>
                <email type="md5">627431a6c6d487d4fb57abf07f4990a8</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03689075</idno>
            <idno type="halUri">https://inria.hal.science/hal-03689075</idno>
            <idno type="halBibtex">keller:hal-03689075</idno>
            <idno type="halRefHtml">Chantal Keller; Timothy Bourke. &lt;a target="_blank" href="http://jfla.inria.fr/jfla2022.html"&gt;&lt;/a&gt;, pp.1-292, 2022</idno>
            <idno type="halRef">Chantal Keller; Timothy Bourke. , pp.1-292, 2022</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3689075-3224168"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENS-LYON">École Normale Supérieure de Lyon</idno>
            <idno type="stamp" n="UNIV-PARIS13">Université Paris-Nord - Paris XIII </idno>
            <idno type="stamp" n="ENS-PARIS">Ecole Normale Supérieure de Paris</idno>
            <idno type="stamp" n="UNIV-RENNES1">Université de Rennes 1</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="CDF">Collège de France</idno>
            <idno type="stamp" n="UNIV-LYON1">Université Claude Bernard - Lyon I</idno>
            <idno type="stamp" n="UNIV-UBS">Université de Bretagne Sud</idno>
            <idno type="stamp" n="ENS-CACHAN">Ecole Normale Supérieure de Cachan</idno>
            <idno type="stamp" n="INSA-RENNES">Institut National des Sciences Appliquées de Rennes</idno>
            <idno type="stamp" n="ENSEIRB">Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux</idno>
            <idno type="stamp" n="INRIA-RENNES">INRIA Rennes - Bretagne Atlantique</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="IRISA">Irisa</idno>
            <idno type="stamp" n="LACL" corresp="UPEC">Laboratoire d'Algorithmique Complexité et Logique</idno>
            <idno type="stamp" n="LIP" corresp="UNIV-LYON1">Laboratoire de l'Informatique du Parallélisme</idno>
            <idno type="stamp" n="UNIV-BORDEAUX">Université de Bordeaux</idno>
            <idno type="stamp" n="TELECOM-SUDPARIS" corresp="INSTITUT-MINES-TELECOM">Télécom SudParis</idno>
            <idno type="stamp" n="IRISA_SET">IRISA_SET</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="UPEC" corresp="CV_UPEC">Université Paris-Est Créteil Val-de-Marne</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="LIPN" corresp="UNIV-PARIS13">Laboratoire d'Informatique de Paris-Nord</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="TESTBORDEAUX">TESTBORDEAUX</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UR1-HAL">Publications labos UR1 dans HAL-Rennes 1</idno>
            <idno type="stamp" n="PSL">Université Paris sciences et lettres</idno>
            <idno type="stamp" n="UR1-MATH-STIC">UR1 - publications Maths-STIC</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="UR1-UFR-ISTIC">UFR ISTIC Informatique et électronique</idno>
            <idno type="stamp" n="INRIA-PSL">INRIA-PSL</idno>
            <idno type="stamp" n="TEST-UR-CSS">TEST Université de Rennes CSS</idno>
            <idno type="stamp" n="UNIV-RENNES">Université de Rennes</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="INRIA-300009">Inria 300009</idno>
            <idno type="stamp" n="IP_PARIS">Institut Polytechnique de Paris</idno>
            <idno type="stamp" n="UDL">UDL</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="SORBONNE-PARIS-NORD">Université Sorbonne Paris Nord</idno>
            <idno type="stamp" n="UNIV-PARIS">Université Paris Cité</idno>
            <idno type="stamp" n="UNIVERSITE-PARIS" corresp="UNIV-PARIS">Université Paris Cité</idno>
            <idno type="stamp" n="UP-SCIENCES">Université Paris Cité - Faculté des Sciences</idno>
            <idno type="stamp" n="ENS-PSL" corresp="PSL">École normale supérieure - PSL</idno>
            <idno type="stamp" n="CDF-PSL" corresp="PSL">Collège de France - PSL </idno>
            <idno type="stamp" n="UNIVERSITE-PARIS-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="UR1-MATH-NUM">Pôle UnivRennes - Mathématiques - Numérique </idno>
            <idno type="stamp" n="ENS-PARIS-SACLAY">Ecole Normale Supérieure paris-Saclay</idno>
            <idno type="stamp" n="ENS-PSACLAY">Ecole Normale Supérieure Paris-Saclay</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="LMF">Laboratoire Méthodes Formelles</idno>
            <idno type="stamp" n="CYBERSCHOOL">CyberSchool - Ecole universitaire de recherche en Cybersécurité</idno>
            <idno type="stamp" n="CONFRENCE-NATIONALE-SUR-LES-APPLICATIONS-PRATIQUES-DE-LINTELLIGENCE-ARTIFICIELLE" corresp="CNRS">Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle </idno>
            <idno type="stamp" n="JFLA2022" corresp="JFLA">Trente-Troisièmes Journées Francophones des Langages Applicatifs</idno>
            <idno type="stamp" n="INRIA-LYS">INRIA-LYON</idno>
            <idno type="stamp" n="IRIF">Institut de Recherche en Informatique Fondamentale</idno>
            <idno type="stamp" n="ACT-R" corresp="UNIV-PARIS13">Act'R </idno>
            <idno type="stamp" n="ENSIIE">ENSIIE</idno>
            <idno type="stamp" n="DIENS" corresp="ENS-PARIS">Département d'informatique de l'ENS-PSL</idno>
            <idno type="stamp" n="JFLA">Journées Francophones des Langages Applicatifs</idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</idno>
            <idno type="stamp" n="UNIVERSITE-BORDEAUX">Université de Bordeaux</idno>
            <idno type="stamp" n="DEPARTEMENT-DE-MATHEMATIQUES">Collection du Département de Mathématiques</idno>
            <idno type="stamp" n="IP-PARIS-DEPARTEMENT-MATHEMATIQUES">Département de Mathèmatiques</idno>
            <idno type="stamp" n="IP-PARIS-MATHEMATIQUES">IP Paris Département de Mathématiques</idno>
            <idno type="stamp" n="IP-PARIS-INFORMATION-COMMUNICATION-ELECTRONIQUE">IP Paris Département d'Information, de Communication et d'Électronique</idno>
            <idno type="stamp" n="IP-PARIS-INFORMATIQUE-DONNEES-ET-IA">IP Paris Département d'Informatique, de Données et d'IA</idno>
            <idno type="stamp" n="SAMOVAR">Services répartis, Architectures, Modélisation, Validation, Administration des Réseaux</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">33èmes journées francophones des langages applicatifs</title>
                <author role="sad">
                  <persName>
                    <forename type="first">Chantal</forename>
                    <surname>Keller</surname>
                  </persName>
                  <email type="md5">2c7a919ba5344845cfd949172f25eb6b</email>
                  <email type="domain">lri.fr</email>
                  <idno type="idhal" notation="string">chantal-keller</idno>
                  <idno type="idhal" notation="numeric">15985</idno>
                  <idno type="halauthorid" notation="string">31852-15985</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1282-0677</idno>
                  <idno type="IDREF">https://www.idref.fr/176956875</idno>
                  <affiliation ref="#struct-1065710"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Timothy</forename>
                    <surname>Bourke</surname>
                  </persName>
                  <email type="md5">627431a6c6d487d4fb57abf07f4990a8</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">tbrk</idno>
                  <idno type="idhal" notation="numeric">1591</idno>
                  <idno type="halauthorid" notation="string">19816-1591</idno>
                  <idno type="IDREF">https://www.idref.fr/202418812</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0601-4182</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-454670"/>
                  <affiliation ref="#struct-25027"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Sandrine</forename>
                    <surname>Blazy</surname>
                  </persName>
                  <email type="md5">81a4c4103a614c9374f9e34297c74863</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">sandrine-blazy</idno>
                  <idno type="idhal" notation="numeric">18646</idno>
                  <idno type="halauthorid" notation="string">16637-18646</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0189-0223</idno>
                  <idno type="IDREF">https://www.idref.fr/153042567</idno>
                  <orgName ref="#struct-105160"/>
                  <affiliation ref="#struct-491212"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Frédéric</forename>
                    <surname>Bour</surname>
                  </persName>
                  <email type="md5">d6c0271b0a0301e2e8c028545e0acbbb</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="numeric">1120246</idno>
                  <idno type="halauthorid" notation="string">1462552-1120246</idno>
                  <affiliation ref="#struct-568599"/>
                  <affiliation ref="#struct-1008529"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Guillaume</forename>
                    <surname>Bury</surname>
                  </persName>
                  <email type="md5">6a37d416fb50648ec42ec474d03fdc8e</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">guillaume-bury</idno>
                  <idno type="idhal" notation="numeric">5431</idno>
                  <idno type="halauthorid" notation="string">27014-5431</idno>
                  <idno type="IDREF">https://www.idref.fr/243688938</idno>
                  <idno type="ORCID">https://orcid.org/0009-0002-1267-251X</idno>
                  <affiliation ref="#struct-231491"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Stefania</forename>
                    <surname>Dumbrava</surname>
                  </persName>
                  <email type="md5">8cf1caf4603c83cad349b7c14bb3f666</email>
                  <email type="domain">ensiie.fr</email>
                  <idno type="idhal" notation="string">stefania-dumbrava</idno>
                  <idno type="idhal" notation="numeric">170187</idno>
                  <idno type="halauthorid" notation="string">20186-170187</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6664-0620</idno>
                  <idno type="IDREF">https://www.idref.fr/198185553</idno>
                  <affiliation ref="#struct-563936"/>
                  <affiliation ref="#struct-442703"/>
                  <affiliation ref="#struct-179741"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Diane</forename>
                    <surname>Gallois-Wong</surname>
                  </persName>
                  <email type="md5">3c73e36d0e83715b12ed19f42036adc9</email>
                  <email type="domain">lri.fr</email>
                  <idno type="idhal" notation="string">diane-gallois-wong</idno>
                  <idno type="idhal" notation="numeric">743741</idno>
                  <idno type="halauthorid" notation="string">32867-743741</idno>
                  <idno type="IDREF">https://www.idref.fr/25460224X</idno>
                  <affiliation ref="#struct-577698"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Adrien</forename>
                    <surname>Guatto</surname>
                  </persName>
                  <idno type="halauthorid">656774-0</idno>
                  <affiliation ref="#struct-1005016"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">David</forename>
                    <surname>Janin</surname>
                  </persName>
                  <email type="md5">ea85695351c16b0cf0126385d28c34df</email>
                  <email type="domain">labri.fr</email>
                  <idno type="idhal" notation="string">janin</idno>
                  <idno type="idhal" notation="numeric">2125</idno>
                  <idno type="halauthorid" notation="string">7131-2125</idno>
                  <idno type="IDREF">https://www.idref.fr/13673524X</idno>
                  <affiliation ref="#struct-3102"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Marie</forename>
                    <surname>Kerjean</surname>
                  </persName>
                  <email type="md5">16d82dbcabe8a262804e328d6e91cbe6</email>
                  <email type="domain">lipn.univ-paris13.fr</email>
                  <idno type="idhal" notation="string">marie-kerjean</idno>
                  <idno type="idhal" notation="numeric">752059</idno>
                  <idno type="halauthorid" notation="string">47423-752059</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6141-6251</idno>
                  <idno type="IDREF">https://www.idref.fr/241141346</idno>
                  <affiliation ref="#struct-1000994"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Luc</forename>
                    <surname>Pellissier</surname>
                  </persName>
                  <email type="md5">1788c552c9140c45cea2c810f0606783</email>
                  <email type="domain">u-pec.fr</email>
                  <idno type="idhal" notation="string">luc-pellissier</idno>
                  <idno type="idhal" notation="numeric">141</idno>
                  <idno type="halauthorid" notation="string">26474-141</idno>
                  <affiliation ref="#struct-182989"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Mário</forename>
                    <surname>Pereira</surname>
                  </persName>
                  <email type="md5">9a92c0f3df9b61e9776d660495ea37dd</email>
                  <email type="domain">lri.fr</email>
                  <idno type="idhal" notation="string">mario-jose-parreira-pereira</idno>
                  <idno type="idhal" notation="numeric">6322</idno>
                  <idno type="halauthorid" notation="string">28042-6322</idno>
                  <affiliation ref="#struct-420636"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Alix</forename>
                    <surname>Trieu</surname>
                  </persName>
                  <email type="md5">0a726f15d0e319071b06e1c3428c6b3b</email>
                  <email type="domain">cs.au.dk</email>
                  <idno type="idhal" notation="string">alix-trieu</idno>
                  <idno type="idhal" notation="numeric">172800</idno>
                  <idno type="halauthorid" notation="string">36684-172800</idno>
                  <idno type="IDREF">https://www.idref.fr/236436546</idno>
                  <affiliation ref="#struct-19908"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Yannick</forename>
                    <surname>Zakowski</surname>
                  </persName>
                  <email type="md5">303f8df5bf85fbf323404df91f6ca4bc</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">yzakowski</idno>
                  <idno type="idhal" notation="numeric">14177</idno>
                  <idno type="halauthorid" notation="string">18824-14177</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4585-6470</idno>
                  <affiliation ref="#struct-1096185"/>
                </author>
              </analytic>
              <monogr>
                <editor>Chantal Keller</editor>
                <editor>Timothy Bourke</editor>
                <imprint>
                  <biblScope unit="pp">1-292</biblScope>
                  <date type="datePub">2022-06-28</date>
                </imprint>
              </monogr>
              <ref type="publisher">http://jfla.inria.fr/jfla2022.html</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Electroacoustique</term>
                <term xml:lang="en">Programation</term>
                <term xml:lang="en">Scala</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</classCode>
              <classCode scheme="halTypology" n="OUV">Books</classCode>
              <classCode scheme="halOldTypology" n="DOUV">Directions of work or proceedings</classCode>
              <classCode scheme="halTreeTypology" n="OUV">Books</classCode>
            </textClass>
            <abstract xml:lang="fr">
              <p>Les 33èmes Journées Francophones des Langages Applicatifs (JFLA) se sont tenues à Saint-Médard-d'Excideuil, plus précisément Domaine d'Essendiéras (Périgord), du mardi 28 juin 2022 au vendredi 1er juillet 2022.Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir les ponts entre les différentes thématiques.- Langages fonctionnels et applicatifs : sémantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes.- Assistants de preuve : implémentation, nouvelles tactiques,  développements présentant un intérêt technique ou méthodologique.- Logique, correspondance de Curry-Howard, réalisabilité, extraction de programmes, modèles.- Spécification, prototypage, développements formels d'algorithmes.- Vérification de programmes ou de modèles, méthode déductive, interprétation abstraite, raffinement.- Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web.Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1065710" status="VALID">
          <idno type="IdRef">25474589X</idno>
          <idno type="RNSR">202123712M</idno>
          <idno type="ROR">https://ror.org/00gdtta79</idno>
          <idno type="Wikidata">Q109042513</idno>
          <orgName>Laboratoire Méthodes Formelles</orgName>
          <orgName type="acronym">LMF</orgName>
          <date type="start">2021-01-01</date>
          <desc>
            <address>
              <addrLine>4, avenue des Sciences, 91190, Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-419361" type="direct"/>
            <relation name="UMR9021" active="#struct-441569" type="direct"/>
            <relation active="#struct-523723" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-454670" status="VALID">
          <idno type="IdRef">158093453</idno>
          <idno type="RNSR">201120983P</idno>
          <idno type="ROR">https://ror.org/02tnfe688</idno>
          <orgName>Parallélisme de Kahn Synchrone</orgName>
          <orgName type="acronym">Parkas</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2029-10-31</date>
          <desc>
            <address>
              <addrLine>45 rue d'Ulm F-75230 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/parkas</ref>
          </desc>
          <listRelation>
            <relation active="#struct-25027" type="direct"/>
            <relation active="#struct-59704" type="indirect"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
            <relation active="#struct-441569" type="direct"/>
            <relation active="#struct-454310" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-25027" status="VALID">
          <idno type="IdRef">148034055</idno>
          <idno type="RNSR">199812876J</idno>
          <idno type="ROR">05y6rqs46</idno>
          <orgName>Département d'informatique - ENS-PSL</orgName>
          <orgName type="acronym">DI-ENS</orgName>
          <date type="start">1999-01-01</date>
          <desc>
            <address>
              <addrLine>École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.di.ens.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-59704" type="direct"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-491212" status="OLD">
          <idno type="RNSR">200918993K</idno>
          <orgName>Software certification with semantic analysis</orgName>
          <orgName type="acronym">CELTIQUE</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2022-05-31</date>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu 35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inria.fr/equipes/celtique</ref>
          </desc>
          <listRelation>
            <relation active="#struct-419153" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-491188" type="direct"/>
            <relation active="#struct-490899" type="indirect"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
            <relation active="#struct-481355" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-568599" status="VALID">
          <idno type="RNSR">201923244M</idno>
          <idno type="ROR">https://ror.org/01qemch77</idno>
          <orgName>Langages de programmation : systèmes de types, concurrence, preuve de programme</orgName>
          <orgName type="acronym">CAMBIUM</orgName>
          <date type="start">2019-01-01</date>
          <date type="end">2028-12-31</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inria.fr/equipes/cambium</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300026" type="direct"/>
            <relation active="#struct-454310" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1008529" status="VALID">
          <orgName>Tarides [Paris]</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://tarides.com/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-231491" status="VALID">
          <orgName>OCamlPro SAS</orgName>
          <desc>
            <address>
              <addrLine>6, allée de la Croix Saint-Pierre F-91190, Gif-sur-Yvette, FRANCE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ocamlpro.com/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-442703" status="VALID">
          <orgName>Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing</orgName>
          <orgName type="acronym">ACMES-SAMOVAR</orgName>
          <desc>
            <address>
              <addrLine>TELECOM Sudparis 9 rue Charles Fourier 91011 EVRY</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://samovar.telecom-sudparis.eu</ref>
          </desc>
          <listRelation>
            <relation active="#struct-638" type="direct"/>
            <relation active="#struct-352124" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-179741" status="VALID">
          <orgName>Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise</orgName>
          <orgName type="acronym">ENSIIE</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ensiie.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-577698" status="VALID">
          <orgName>Nomadic Labs</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://nomadic-labs.com/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-1005016" status="VALID">
          <idno type="IdRef">193993007</idno>
          <idno type="RNSR">201621976X</idno>
          <idno type="ROR">https://ror.org/02krdtz55</idno>
          <idno type="Wikidata">Q51783269</idno>
          <orgName>Institut de Recherche en Informatique Fondamentale</orgName>
          <orgName type="acronym">IRIF (UMR_8243)</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Université Paris CitéBâtiment Sophie Germain, Case courrier 70148 Place Aurélie Nemours75205 Paris Cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irif.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR8243" active="#struct-441569" type="direct"/>
            <relation name="UMR_8243" active="#struct-557826" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-3102" status="VALID">
          <idno type="IdRef">155054465</idno>
          <idno type="ISNI">0000000122898198</idno>
          <idno type="RNSR">199511665F</idno>
          <idno type="ROR">https://ror.org/03adqg323</idno>
          <idno type="Wikidata">Q3214395</idno>
          <orgName>Laboratoire Bordelais de Recherche en Informatique</orgName>
          <orgName type="acronym">LaBRI</orgName>
          <date type="start">1988-01-01</date>
          <desc>
            <address>
              <addrLine>Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.labri.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-259761" type="direct"/>
            <relation active="#struct-300366" type="direct"/>
            <relation name="UMR5800 / URA1304" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1000994" status="VALID">
          <idno type="IdRef">191907855</idno>
          <idno type="RNSR">200112433P</idno>
          <idno type="ROR">05g1zjw44</idno>
          <orgName>Laboratoire d'Informatique de Paris-Nord</orgName>
          <orgName type="acronym">LIPN</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Institut Galilée, Université Paris 13, 99 avenue Jean-Baptiste Clément, F-93430, Villetaneuse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-lipn.univ-paris13.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR7030" active="#struct-441569" type="direct"/>
            <relation active="#struct-581146" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-182989" status="VALID">
          <idno type="IdRef">113845588</idno>
          <idno type="RNSR">200715457A</idno>
          <orgName>Laboratoire d'Algorithmique Complexité et Logique</orgName>
          <orgName type="acronym">LACL</orgName>
          <desc>
            <address>
              <addrLine>LACL, Université Paris-Est Créteil Val-de-Marne, 61 avenue du Général de Gaulle 94010 Créteil cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lacl.fr</ref>
          </desc>
          <listRelation>
            <relation name="EA4219" active="#struct-420786" type="direct"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-420636" status="VALID">
          <orgName>NOVA Laboratory for Computer Science and Informatics</orgName>
          <orgName type="acronym">NOVA-LINCS</orgName>
          <desc>
            <address>
              <addrLine>Departamento de InformáticaFaculdade de Ciências e TecnologiaUniversidade Nova de LisboaCampus da Caparica2829-516 Caparica</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">http://nova-lincs.di.fct.unl.pt/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-502001" type="direct"/>
            <relation active="#struct-450840" type="indirect"/>
            <relation active="#struct-327246" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-19908" status="VALID">
          <idno type="IdRef">026461307</idno>
          <idno type="ROR">https://ror.org/01aj84f44</idno>
          <orgName>Aarhus University [Aarhus]</orgName>
          <desc>
            <address>
              <addrLine>Nordre Ringgade 1 DK-8000 Aarhus C</addrLine>
              <country key="DK"/>
            </address>
            <ref type="url">http://www.au.dk/en/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-1096185" status="VALID">
          <idno type="RNSR">201822804N</idno>
          <idno type="ROR">https://ror.org/03k192506</idno>
          <orgName>Compilation et Analyse, Logiciel et Matériel</orgName>
          <orgName type="acronym">CASH</orgName>
          <date type="start">2019-06-01</date>
          <date type="end">2025-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-lyon.fr/LIP/CASH/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-35418" type="direct"/>
            <relation active="#struct-6818" type="indirect"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR5668 / URA1398" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1096051" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-523723" status="VALID">
          <idno type="ROR">https://ror.org/00hx6zz33</idno>
          <orgName>Ecole Normale Supérieure  Paris-Saclay</orgName>
          <orgName type="acronym">ENS Paris Saclay</orgName>
          <desc>
            <address>
              <addrLine>4 avenue des Sciences, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://ens-paris-saclay.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-59704" status="VALID">
          <idno type="IdRef">031738419</idno>
          <idno type="ISNI">0000000123532622</idno>
          <idno type="ROR">https://ror.org/05a0dhs15</idno>
          <orgName>École normale supérieure - Paris</orgName>
          <orgName type="acronym">ENS-PSL</orgName>
          <date type="start">1985-07-24</date>
          <desc>
            <address>
              <addrLine>45, Rue d'Ulm - 75230 Paris cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens.psl.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-564132" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-564132" status="VALID">
          <idno type="IdRef">241597595</idno>
          <idno type="ISNI">0000 0004 1784 3645</idno>
          <idno type="ROR">https://ror.org/013cjyk83</idno>
          <orgName>Université Paris Sciences et Lettres</orgName>
          <orgName type="acronym">PSL</orgName>
          <desc>
            <address>
              <addrLine>60 rue Mazarine 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.psl.eu/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-454310" status="VALID">
          <idno type="IdRef">241614864</idno>
          <idno type="RNSR">196718247G</idno>
          <idno type="ROR">https://ror.org/05eyd5d35</idno>
          <orgName>Centre Inria de Paris</orgName>
          <date type="start">2016-03-10</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-419153" status="VALID">
          <idno type="RNSR">198018249C</idno>
          <idno type="ROR">https://ror.org/04040yw90</idno>
          <orgName>Centre Inria de l'Université de Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/rennes</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-491188" status="VALID">
          <orgName>LANGAGE ET GÉNIE LOGICIEL</orgName>
          <orgName type="acronym">IRISA-D4</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-490899" type="direct"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
            <relation active="#struct-481355" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-490899" status="VALID">
          <idno type="IdRef">026386909</idno>
          <idno type="ISNI">0000 0001 2298 7270</idno>
          <idno type="RNSR">200012163A</idno>
          <idno type="ROR">https://ror.org/00myn0z94</idno>
          <orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
          <orgName type="acronym">IRISA</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Avenue du général LeclercCampus de Beaulieu 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irisa.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105160" type="direct"/>
            <relation active="#struct-117606" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="direct"/>
            <relation active="#struct-247362" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation name="UMR6074" active="#struct-441569" type="direct"/>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-105160" status="VALID">
          <idno type="IdRef">26693823X</idno>
          <idno type="ROR">https://ror.org/015m7wh34</idno>
          <orgName>Université de Rennes</orgName>
          <orgName type="acronym">UR</orgName>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-rennes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-117606" status="VALID">
          <idno type="ROR">https://ror.org/04xaa4j22</idno>
          <orgName>Institut National des Sciences Appliquées - Rennes</orgName>
          <orgName type="acronym">INSA Rennes</orgName>
          <desc>
            <address>
              <addrLine>20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-rennes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-172265" status="VALID">
          <idno type="IdRef">05017746X</idno>
          <idno type="ISNI">0000000121680285</idno>
          <idno type="ROR">https://ror.org/04ed7fw48</idno>
          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <date type="start">1995-02-07</date>
          <desc>
            <address>
              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-247362" status="VALID">
          <idno type="ROR">https://ror.org/03rxtdc22</idno>
          <orgName>École normale supérieure - Rennes</orgName>
          <orgName type="acronym">ENS Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-rennes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-481355" status="VALID">
          <idno type="IdRef">202743233</idno>
          <idno type="ROR">https://ror.org/030hj3061</idno>
          <orgName>IMT Atlantique</orgName>
          <orgName type="acronym">IMT Atlantique</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -Campus Rennes :  2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt-atlantique.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300026" status="VALID">
          <orgName>Collège de France</orgName>
          <orgName type="acronym">CdF (institution)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-638" status="VALID">
          <idno type="IdRef">281286515</idno>
          <idno type="ISNI">0000000403830480</idno>
          <idno type="RNSR">200319330C</idno>
          <orgName>Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux</orgName>
          <orgName type="acronym">SAMOVAR</orgName>
          <desc>
            <address>
              <addrLine>Télécom Sudparis, 9 rue Charles Fourier -91011 Evry cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://samovar.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-352124" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-352124" status="VALID">
          <idno type="IdRef">162347510</idno>
          <idno type="ISNI">0000000406406351</idno>
          <idno type="ROR">https://ror.org/05xvk4r52</idno>
          <idno type="Wikidata">Q43305</idno>
          <orgName>Télécom SudParis</orgName>
          <orgName type="acronym">TSP</orgName>
          <desc>
            <address>
              <addrLine>9 rue Charles Fourier -91011 Evry Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
            <relation name="563936" active="#struct-563936" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-557826" status="VALID">
          <idno type="IdRef">236453505</idno>
          <idno type="ISNI">0000 0004 7885 7602</idno>
          <idno type="ROR">https://ror.org/05f82e368</idno>
          <orgName>Université Paris Cité</orgName>
          <orgName type="acronym">UPCité</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>85 boulevard Saint-Germain75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://u-paris.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-259761" status="VALID">
          <idno type="IdRef">175206562</idno>
          <idno type="ROR">https://ror.org/057qpr032</idno>
          <orgName>Université de Bordeaux</orgName>
          <orgName type="acronym">UB</orgName>
          <desc>
            <address>
              <addrLine>35, place Pey Berland - 33076 Bordeaux</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-bordeaux.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300366" status="VALID">
          <orgName>École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-581146" status="VALID">
          <idno type="IdRef">02640463X</idno>
          <idno type="ISNI">0000000121496883</idno>
          <idno type="ROR">https://ror.org/0199hds37</idno>
          <orgName>Université Sorbonne Paris Nord</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>99, avenue Jean-Baptiste Clément, 93430 Villetaneuse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-paris13.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-420786" status="VALID">
          <idno type="IdRef">028021037</idno>
          <idno type="ISNI">0000000121497878</idno>
          <idno type="ROR">https://ror.org/05ggc9x40</idno>
          <orgName>Université Paris-Est Créteil Val-de-Marne - Paris 12</orgName>
          <orgName type="acronym">UPEC UP12</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>61 avenue du Général de Gaulle - 94010 Créteil cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-pec.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-502001" status="VALID">
          <orgName>Departamento de Informática</orgName>
          <orgName type="acronym">DI</orgName>
          <date type="start">2017-07-21</date>
          <desc>
            <address>
              <addrLine>Faculdade de Ciências e TecnologiaUniversidade Nova de LisboaQuinta da Torre, 2829 -516 CAPARICA, PORTUGAL</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">http://www.di.fct.unl.pt/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-450840" type="direct"/>
            <relation active="#struct-327246" type="indirect"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-450840" status="VALID">
          <orgName>Faculdade de Ciências e Tecnologia = School of Science &amp; Technology</orgName>
          <orgName type="acronym">FCT NOVA</orgName>
          <date type="start">1977-01-01</date>
          <desc>
            <address>
              <addrLine>Quinta da Torre, Campus Universitário, 2829-516 Caparica</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">http://www.fct.unl.pt/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-327246" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-327246" status="VALID">
          <orgName>Universidade Nova de Lisboa = NOVA University Lisbon</orgName>
          <orgName type="acronym">NOVA</orgName>
          <desc>
            <address>
              <addrLine>Campus de Campolide1099-085 Lisboa</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">http://www.unl.pt/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-35418" status="VALID">
          <idno type="IdRef">191041289</idno>
          <idno type="ISNI">0000000104538607</idno>
          <idno type="RNSR">200317503S</idno>
          <idno type="ROR">04msnz457</idno>
          <orgName>Laboratoire de l'Informatique du Parallélisme</orgName>
          <orgName type="acronym">LIP</orgName>
          <date type="start">1990-01-01</date>
          <desc>
            <address>
              <addrLine>46 Allée d'Italie 69364 LYON CEDEX 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-lyon.fr/LIP/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-6818" type="direct"/>
            <relation active="#struct-301088" type="direct"/>
            <relation active="#struct-194495" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR5668 / URA1398" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-6818" status="VALID">
          <idno type="IdRef">149154992</idno>
          <idno type="ISNI">0000000123319856</idno>
          <idno type="ROR">https://ror.org/04zmssz18</idno>
          <idno type="Wikidata">Q10159</idno>
          <orgName>École normale supérieure de Lyon</orgName>
          <orgName type="acronym">ENS de Lyon</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>15 parvis René Descartes - BP 7000 - 69342 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens-lyon.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301088" status="VALID">
          <idno type="ROR">https://ror.org/01rk35k63</idno>
          <orgName>Université de Lyon</orgName>
          <desc>
            <address>
              <addrLine>92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-lyon.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-194495" status="VALID">
          <idno type="IdRef">026402823</idno>
          <idno type="ISNI">0000000121686185</idno>
          <idno type="ROR">https://ror.org/029brtt94</idno>
          <orgName>Université Claude Bernard Lyon 1</orgName>
          <orgName type="acronym">UCBL</orgName>
          <desc>
            <address>
              <addrLine>43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon1.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1096051" status="VALID">
          <idno type="RNSR">202224236C</idno>
          <idno type="ROR">https://ror.org/022gakr41</idno>
          <orgName>Centre Inria de Lyon</orgName>
          <desc>
            <address>
              <addrLine>Inria de Lyon / Bâtiment CEI-2 / Campus La Doua - Villeurbanne / 56, Boulevard Niels Bohr / CS 52132 / 69 603 Villeurbanne</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inria.fr/fr/centre-inria-de-lyon</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>