<?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-05081623</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-12T19:46:35+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users</title>
            <author role="aut">
              <persName>
                <forename type="first">Ana</forename>
                <surname>de Almeida Borges</surname>
              </persName>
              <idno type="halauthorid">2681048-0</idno>
              <affiliation ref="#struct-3447"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Annalí</forename>
                <surname>Casanueva Artís</surname>
              </persName>
              <idno type="halauthorid">1477247-0</idno>
              <affiliation ref="#struct-301309"/>
              <affiliation ref="#struct-578027"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Rémy</forename>
                <surname>Falleri</surname>
              </persName>
              <email type="md5">8c6c764b7697bbccf3b5c29c6453a71d</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">jrfaller</idno>
              <idno type="idhal" notation="numeric">5190</idno>
              <idno type="halauthorid" notation="string">15847-5190</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8284-7218</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=m_FFE5IAAAAJ</idno>
              <idno type="IDREF">https://www.idref.fr/139291512</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=m_FFE5IAAAAJ</idno>
              <affiliation ref="#struct-3102"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Emilio</forename>
                <forename type="middle">Jesús</forename>
                <surname>Gallego Arias</surname>
              </persName>
              <idno type="halauthorid">3541622-0</idno>
              <affiliation ref="#struct-557826"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Érik</forename>
                <surname>Martin-Dorel</surname>
              </persName>
              <email type="md5">9010b1db3eb6f913cebd25eb87689291</email>
              <email type="domain">ens-lyon.org</email>
              <idno type="idhal" notation="string">erik-martin-dorel</idno>
              <idno type="idhal" notation="numeric">1766</idno>
              <idno type="halauthorid" notation="string">23639-1766</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9716-9491</idno>
              <idno type="IDREF">https://www.idref.fr/164762299</idno>
              <affiliation ref="#struct-1612876"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Karl</forename>
                <surname>Palmskog</surname>
              </persName>
              <email type="md5">fabc6930eb2cc6512b1fd4976726f79b</email>
              <email type="domain">kth.se</email>
              <idno type="idhal" notation="numeric">1254804</idno>
              <idno type="halauthorid" notation="string">1765306-1254804</idno>
              <affiliation ref="#struct-366312"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alexander</forename>
                <surname>Serebrenik</surname>
              </persName>
              <email type="md5">329df580fd6f0ad5fd39920dd214397e</email>
              <email type="domain">tue.nl</email>
              <idno type="idhal" notation="numeric">1254805</idno>
              <idno type="halauthorid" notation="string">856272-1254805</idno>
              <affiliation ref="#struct-4629"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Théo</forename>
                <surname>Zimmermann</surname>
              </persName>
              <email type="md5">c21879275f1465755ba7b8166b025a40</email>
              <email type="domain">ens.fr</email>
              <idno type="idhal" notation="string">theozim</idno>
              <idno type="idhal" notation="numeric">179473</idno>
              <idno type="halauthorid" notation="string">25632-179473</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3580-8806</idno>
              <idno type="IDREF">https://www.idref.fr/250396092</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=-NgHOiwAAAAJ</idno>
              <affiliation ref="#struct-554439"/>
              <affiliation ref="#struct-121818"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Théo</forename>
                <surname>Zimmermann</surname>
              </persName>
              <email type="md5">93cfa1f28fe720061c5f37377caa07a9</email>
              <email type="domain">telecom-paris.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-05-23 11:33:36</date>
              <date type="whenModified">2026-04-03 03:03:02</date>
              <date type="whenReleased">2025-05-23 15:30:04</date>
              <date type="whenProduced">2025-02-20</date>
              <date type="whenEndEmbargoed">2025-05-23</date>
              <ref type="file" target="https://hal.science/hal-05081623v1/document">
                <date notBefore="2025-05-23"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-05081623v1/file/s10817-025-09720-1.pdf" id="file-5081623-4396448">
                <date notBefore="2025-05-23"/>
              </ref>
              <fs>
                <f name="inra_publicVise_local" notation="string" n="SC">
                  <string>inra_publicVise_local_SC</string>
                </f>
              </fs>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="315443">
                <persName>
                  <forename>Théo</forename>
                  <surname>Zimmermann</surname>
                </persName>
                <email type="md5">93cfa1f28fe720061c5f37377caa07a9</email>
                <email type="domain">telecom-paris.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-05081623</idno>
            <idno type="halUri">https://hal.science/hal-05081623</idno>
            <idno type="halBibtex">dealmeidaborges:hal-05081623</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of Automated Reasoning&lt;/i&gt;, 2025, 69 (8), pp.1-29. &lt;a target="_blank" href="https://dx.doi.org/10.1007/s10817-025-09720-1"&gt;&amp;#x27E8;10.1007/s10817-025-09720-1&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Journal of Automated Reasoning, 2025, 69 (8), pp.1-29. &amp;#x27E8;10.1007/s10817-025-09720-1&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-5081623-4396448"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="SHS">Sciences de l'Homme et de la Société</idno>
            <idno type="stamp" n="UNIV-PARIS1">Université Panthéon-Sorbonne - Paris I</idno>
            <idno type="stamp" n="ENS-PARIS">Ecole Normale Supérieure de Paris</idno>
            <idno type="stamp" n="ENPC" corresp="PARISTECH">École nationale des ponts et chaussées </idno>
            <idno type="stamp" n="PJSE" corresp="SHS">Paris-Jourdan Sciences économiques</idno>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="PSE">Paris School of Economics</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="EHESS">Ecole des Hautes Etudes en Sciences Sociales</idno>
            <idno type="stamp" n="ENST">Ecole Nationale Supérieure des Télécommunications</idno>
            <idno type="stamp" n="ENSEIRB">Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux</idno>
            <idno type="stamp" n="LABRI">Laboratoire Bordelais de Recherche en Informatique</idno>
            <idno type="stamp" n="UNIV-BORDEAUX">Université de Bordeaux</idno>
            <idno type="stamp" n="TELECOM-PARISTECH" corresp="PARISTECH">Télécom Paris</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="PSL">Université Paris sciences et lettres</idno>
            <idno type="stamp" n="LTCI" corresp="TELECOM-PARISTECH">Laboratoire Traitement et Communication de l'Information</idno>
            <idno type="stamp" n="INFRES" corresp="TELECOM-PARISTECH">Département Informatique et Réseaux</idno>
            <idno type="stamp" n="ACES" corresp="TELECOM-PARISTECH">Equipe Autonomic and Critical Embedded Systems</idno>
            <idno type="stamp" n="IP_PARIS">Institut Polytechnique de Paris</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="INRAE">Institut National de Recherche en Agriculture, Alimentation et Environnement</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="IRIT">IRIT - Institut de Recherche en Informatique de Toulouse</idno>
            <idno type="stamp" n="IRIT-ACADIE" corresp="IRIT">Assistance à la Certification d’Applications DIstribuées et Embarquées</idno>
            <idno type="stamp" n="PSE-POST-PRINT">PSE Post-Print</idno>
            <idno type="stamp" n="ENS-PSL" corresp="PSL">École normale supérieure - PSL</idno>
            <idno type="stamp" n="IRIT-FSL" corresp="IRIT">Fiabilité des Systèmes et des Logiciels</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</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>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Ana</forename>
                    <surname>de Almeida Borges</surname>
                  </persName>
                  <idno type="halauthorid">2681048-0</idno>
                  <affiliation ref="#struct-3447"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Annalí</forename>
                    <surname>Casanueva Artís</surname>
                  </persName>
                  <idno type="halauthorid">1477247-0</idno>
                  <affiliation ref="#struct-301309"/>
                  <affiliation ref="#struct-578027"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Rémy</forename>
                    <surname>Falleri</surname>
                  </persName>
                  <email type="md5">8c6c764b7697bbccf3b5c29c6453a71d</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">jrfaller</idno>
                  <idno type="idhal" notation="numeric">5190</idno>
                  <idno type="halauthorid" notation="string">15847-5190</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8284-7218</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=m_FFE5IAAAAJ</idno>
                  <idno type="IDREF">https://www.idref.fr/139291512</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=m_FFE5IAAAAJ</idno>
                  <affiliation ref="#struct-3102"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Emilio</forename>
                    <forename type="middle">Jesús</forename>
                    <surname>Gallego Arias</surname>
                  </persName>
                  <idno type="halauthorid">3541622-0</idno>
                  <affiliation ref="#struct-557826"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Érik</forename>
                    <surname>Martin-Dorel</surname>
                  </persName>
                  <email type="md5">9010b1db3eb6f913cebd25eb87689291</email>
                  <email type="domain">ens-lyon.org</email>
                  <idno type="idhal" notation="string">erik-martin-dorel</idno>
                  <idno type="idhal" notation="numeric">1766</idno>
                  <idno type="halauthorid" notation="string">23639-1766</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9716-9491</idno>
                  <idno type="IDREF">https://www.idref.fr/164762299</idno>
                  <affiliation ref="#struct-1612876"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Karl</forename>
                    <surname>Palmskog</surname>
                  </persName>
                  <email type="md5">fabc6930eb2cc6512b1fd4976726f79b</email>
                  <email type="domain">kth.se</email>
                  <idno type="idhal" notation="numeric">1254804</idno>
                  <idno type="halauthorid" notation="string">1765306-1254804</idno>
                  <affiliation ref="#struct-366312"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexander</forename>
                    <surname>Serebrenik</surname>
                  </persName>
                  <email type="md5">329df580fd6f0ad5fd39920dd214397e</email>
                  <email type="domain">tue.nl</email>
                  <idno type="idhal" notation="numeric">1254805</idno>
                  <idno type="halauthorid" notation="string">856272-1254805</idno>
                  <affiliation ref="#struct-4629"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Théo</forename>
                    <surname>Zimmermann</surname>
                  </persName>
                  <email type="md5">c21879275f1465755ba7b8166b025a40</email>
                  <email type="domain">ens.fr</email>
                  <idno type="idhal" notation="string">theozim</idno>
                  <idno type="idhal" notation="numeric">179473</idno>
                  <idno type="halauthorid" notation="string">25632-179473</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3580-8806</idno>
                  <idno type="IDREF">https://www.idref.fr/250396092</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=-NgHOiwAAAAJ</idno>
                  <affiliation ref="#struct-554439"/>
                  <affiliation ref="#struct-121818"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">15114</idno>
                <idno type="issn">0168-7433</idno>
                <idno type="eissn">1573-0670</idno>
                <title level="j">Journal of Automated Reasoning</title>
                <imprint>
                  <publisher>Springer Verlag</publisher>
                  <biblScope unit="volume">69</biblScope>
                  <biblScope unit="issue">8</biblScope>
                  <biblScope unit="pp">1-29</biblScope>
                  <date type="datePub">2025-02-20</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/s10817-025-09720-1</idno>
              <idno type="wos">001427046000001</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Coq</term>
                <term xml:lang="en">Community</term>
                <term xml:lang="en">Survey</term>
                <term xml:lang="en">Statistical analysis</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ms">Computer Science [cs]/Mathematical Software [cs.MS]</classCode>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</classCode>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>The Coq Community Survey 2022 was an online public survey of users of the Coq proof assistant conducted during February 2022. Broadly, the survey asked about use of Coq features, user interfaces, libraries, plugins, and tools, views on renaming Coq and Coq improvements, and also demographic data such as education and experience with Coq and other proof assistants and programming languages. The survey received 466 submitted responses, making it the largest survey of users of an interactive theorem prover (ITP) so far. We present the design of the survey, a summary of key results, and analysis of answers relevant to ITP technology development and usage. In particular, we analyze user characteristics associated with adoption of tools and libraries and make comparisons to adjacent software communities. Notably, we find that experience has significant impact on Coq user behavior, including on usage of tools, libraries, and integrated development environments (IDEs).</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-3447" status="VALID">
          <idno type="ROR">https://ror.org/021018s57</idno>
          <orgName>Universitat de Barcelona</orgName>
          <orgName type="acronym">UB</orgName>
          <desc>
            <address>
              <addrLine>Gran Via de les Corts Catalanes, 585, 08007 Barcelona</addrLine>
              <country key="ES"/>
            </address>
            <ref type="url">http://www.ub.edu/web/ub/en</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-301309" status="OLD">
          <idno type="IdRef">195137299</idno>
          <idno type="RNSR">200617701U</idno>
          <idno type="ROR">https://ror.org/01qtp1053</idno>
          <orgName>Paris School of Economics</orgName>
          <orgName type="acronym">PSE</orgName>
          <date type="start">2006-01-01</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>48 boulevard Jourdan 75014 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.parisschoolofeconomics.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-7550" type="direct"/>
            <relation active="#struct-59704" type="direct"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-99539" type="direct"/>
            <relation active="#struct-301545" type="direct"/>
            <relation active="#struct-441569" type="direct"/>
            <relation active="#struct-577435" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-578027" status="OLD">
          <idno type="IdRef">165593520</idno>
          <idno type="RNSR">199812873F</idno>
          <idno type="ROR">https://ror.org/03vtagt31</idno>
          <orgName>Paris Jourdan Sciences Economiques</orgName>
          <orgName type="acronym">PJSE</orgName>
          <date type="start">2020-01-01</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>48 boulevard Jourdan 75014 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.pse.ens.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR8545" active="#struct-7550" type="direct"/>
            <relation active="#struct-59704" type="direct"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-99539" type="direct"/>
            <relation active="#struct-301545" type="direct"/>
            <relation name="UMR8545" active="#struct-441569" type="direct"/>
            <relation name="UMR1393" active="#struct-577435" 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="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="researchteam" xml:id="struct-1612876" status="VALID">
          <orgName>Assistance à la Certification d’Applications DIstribuées et Embarquées</orgName>
          <orgName type="acronym">IRIT-ACADIE</orgName>
          <date type="start">2025-01-01</date>
          <desc>
            <address>
              <addrLine>IRIT118 Route de Narbonne31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/-Equipe-ACADIE-</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1612872" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation name="UMR5505" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
            <relation active="#struct-1574795" type="indirect"/>
            <relation active="#struct-1612865" type="indirect"/>
            <relation name="FED4171" active="#struct-1574795" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-366312" status="VALID">
          <idno type="ROR">https://ror.org/026vcq606</idno>
          <orgName>KTH Royal Institute of Technology [Stockholm]</orgName>
          <orgName type="acronym">KTH</orgName>
          <desc>
            <address>
              <addrLine>SE-100 44, Stockholm, Sweden</addrLine>
              <country key="SE"/>
            </address>
            <ref type="url">https://www.kth.se/en</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-4629" status="VALID">
          <idno type="IdRef">03247508X</idno>
          <idno type="ISNI">0000 0004 0398 8763</idno>
          <idno type="ROR">https://ror.org/02c2kyt77</idno>
          <idno type="Wikidata">Q280824</idno>
          <orgName>Eindhoven University of Technology [Eindhoven]</orgName>
          <orgName type="acronym">TU/e</orgName>
          <desc>
            <address>
              <addrLine>Technische Universiteit Eindhoven - Den Dolech 2 5612 AZ Eindhoven</addrLine>
              <country key="NL"/>
            </address>
            <ref type="url">https://www.tue.nl/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-554439" status="VALID">
          <orgName>Autonomic and Critical Embedded Systems</orgName>
          <orgName type="acronym">ACES</orgName>
          <date type="start">2019-02-22</date>
          <desc>
            <address>
              <addrLine>Télécom Paris 19 Place Marguerite Perey 91120 PALAISEAU</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://ltci.telecom-paristech.fr/research-team/aces/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-484335" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation active="#struct-1048346" type="indirect"/>
            <relation active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-121818" status="VALID">
          <orgName>Département Informatique et Réseaux</orgName>
          <orgName type="acronym">INFRES</orgName>
          <desc>
            <address>
              <addrLine>46, rue Barrault 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.telecom-paris.fr/fr/recherche/laboratoires/laboratoire-traitement-et-communication-de-linformation-ltci/les-departements-denseignement-et-recherche</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300362" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-7550" status="VALID">
          <idno type="IdRef">027361802</idno>
          <idno type="ISNI">000000012173743X</idno>
          <idno type="ROR">https://ror.org/002t25c44</idno>
          <orgName>Université Paris 1 Panthéon-Sorbonne</orgName>
          <orgName type="acronym">UP1</orgName>
          <desc>
            <address>
              <addrLine>12 place du Panthéon, 75231 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.pantheonsorbonne.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="institution" xml:id="struct-99539" status="VALID">
          <idno type="IdRef">026374889</idno>
          <idno type="ROR">https://ror.org/02d9dg697</idno>
          <orgName>École des hautes études en sciences sociales</orgName>
          <orgName type="acronym">EHESS</orgName>
          <date type="start">1975-01-01</date>
          <desc>
            <address>
              <addrLine>54, boulevard Raspail 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ehess.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301545" status="OLD">
          <idno type="ROR">https://ror.org/02nwvxz07</idno>
          <orgName>École nationale des ponts et chaussées</orgName>
          <orgName type="acronym">ENPC</orgName>
          <date type="start">1747-02-14</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>École nationale des ponts et chaussées, 6-8 avenue Blaise-Pascal, Cité Descartes, Champs-sur-Marne, 77455 Marne-la-Vallée cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://ecoledesponts.fr/</ref>
          </desc>
        </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="institution" xml:id="struct-577435" status="VALID">
          <idno type="ROR">https://ror.org/003vg9w96</idno>
          <orgName>Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement</orgName>
          <orgName type="acronym">INRAE</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </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="laboratory" xml:id="struct-1612872" status="VALID">
          <idno type="IdRef">030947448</idno>
          <idno type="ISNI">0000000121927225</idno>
          <idno type="RNSR">199511949P</idno>
          <idno type="ROR">https://ror.org/01rx4qw44</idno>
          <orgName>Institut de recherche en informatique de Toulouse</orgName>
          <orgName type="acronym">IRIT</orgName>
          <date type="start">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 Route de Narbonne, F-31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation name="UMR5505" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
            <relation active="#struct-1574795" type="direct"/>
            <relation active="#struct-1612865" type="direct"/>
            <relation name="FED4171" active="#struct-1574795" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1574795" status="VALID">
          <orgName>Université de Toulouse</orgName>
          <orgName type="acronym">EPE UT</orgName>
          <date type="start">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 toute de Narbonne, 31062 Toulouse cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1612865" status="VALID">
          <orgName>Toulouse Mind &amp; Brain Institut</orgName>
          <orgName type="acronym">TMBI</orgName>
          <date type="start">2025-01-01</date>
          <desc>
            <address>
              <addrLine>CHU Purpan, Pavillon Baudot, 31059 Toulouse cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.tmbi.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation name="FED4171" active="#struct-1574795" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-484335" status="VALID">
          <idno type="IdRef">162384270</idno>
          <idno type="ISNI">0000 0000 9194 9502</idno>
          <idno type="RNSR">200319327Z</idno>
          <idno type="ROR">https://ror.org/057er4c39</idno>
          <orgName>Laboratoire Traitement et Communication de l'Information</orgName>
          <orgName type="acronym">LTCI</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Télécom Paris 19 Place Marguerite Perey 91120 PALAISEAU</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.telecom-paris.fr/fr/recherche/laboratoires/laboratoire-traitement-et-communication-de-linformation-ltci</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
            <relation active="#struct-1048346" type="direct"/>
            <relation active="#struct-563936" type="indirect"/>
          </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-1048346" status="VALID">
          <idno type="IdRef">026375273</idno>
          <idno type="ISNI">0000 0001 2108 2779</idno>
          <idno type="ROR">https://ror.org/01naq7912</idno>
          <orgName>Télécom Paris</orgName>
          <date type="start">2019-06-12</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.telecom-paris.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
            <relation active="#struct-563936" type="direct"/>
          </listRelation>
        </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="institution" xml:id="struct-300362" status="VALID">
          <idno type="ROR">https://ror.org/01naq7912</idno>
          <orgName>Télécom ParisTech</orgName>
          <date type="start">2008-01-01</date>
          <date type="end">2019-06-11</date>
          <desc>
            <address>
              <addrLine>46 rue Barrault 75634 Paris Cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.telecom-paris.fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>