<?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-05365250</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-21T19:49:02+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Informatique Fondamentale et ses Mathématiques : Une photographie en 2025</title>
            <author role="aut">
              <persName>
                <forename type="first">Denis</forename>
                <surname>Arzelier</surname>
              </persName>
              <email type="md5">e4f87272d39486eb05630e88a4bf28ff</email>
              <email type="domain">laas.fr</email>
              <idno type="idhal" notation="string">denis-arzelier</idno>
              <idno type="idhal" notation="numeric">13230</idno>
              <idno type="halauthorid" notation="string">30191-13230</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0149-1369</idno>
              <idno type="IDREF">https://www.idref.fr/11501831X</idno>
              <affiliation ref="#struct-1612737"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Miriam</forename>
                <surname>Backens</surname>
              </persName>
              <email type="md5">bff593d6d75106fa4be4f1dce089a0f6</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">m-backens</idno>
              <idno type="idhal" notation="numeric">1569527</idno>
              <idno type="halauthorid" notation="string">1085770-1569527</idno>
              <idno type="ARXIV">https://arxiv.org/a/backens_m_1</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5418-1084</idno>
              <affiliation ref="#struct-129671"/>
              <affiliation ref="#struct-206040"/>
              <affiliation ref="#struct-529408"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Kostia</forename>
                <surname>Chardonnet</surname>
              </persName>
              <email type="md5">d369a95420a286f69b485564850d6646</email>
              <email type="domain">protonmail.com</email>
              <idno type="idhal" notation="string">kostia</idno>
              <idno type="idhal" notation="numeric">744191</idno>
              <idno type="halauthorid" notation="string">52580-744191</idno>
              <idno type="IDREF">https://www.idref.fr/267323085</idno>
              <affiliation ref="#struct-206040"/>
              <affiliation ref="#struct-129671"/>
              <affiliation ref="#struct-529408"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pierre</forename>
                <surname>Clairambault</surname>
              </persName>
              <email type="md5">760230925c5ace4b77e88aab144e3d98</email>
              <email type="domain">cnrs.fr</email>
              <idno type="idhal" notation="string">pierre-clairambault</idno>
              <idno type="idhal" notation="numeric">21545</idno>
              <idno type="halauthorid" notation="string">21756-21545</idno>
              <idno type="IDREF">https://www.idref.fr/142512990</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3285-6028</idno>
              <affiliation ref="#struct-527033"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Julien</forename>
                <surname>Courtiel</surname>
              </persName>
              <email type="md5">9c80ba4da3d8ad30ec1b07b404afb912</email>
              <email type="domain">unicaen.fr</email>
              <idno type="idhal" notation="string">julien-courtiel</idno>
              <idno type="idhal" notation="numeric">169755</idno>
              <idno type="halauthorid" notation="string">38037-169755</idno>
              <idno type="IDREF">https://www.idref.fr/184309263</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3441-2818</idno>
              <affiliation ref="#struct-388984"/>
              <affiliation ref="#struct-150"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mioara</forename>
                <surname>Joldeş</surname>
              </persName>
              <email type="md5">33b56a37b3c3923c65732b7df989bfc0</email>
              <email type="domain">laas.fr</email>
              <idno type="idhal" notation="string">mioara-joldes</idno>
              <idno type="idhal" notation="numeric">735561</idno>
              <idno type="halauthorid" notation="string">48428-735561</idno>
              <idno type="IDREF">https://www.idref.fr/156990415</idno>
              <affiliation ref="#struct-1612737"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Bruno</forename>
                <surname>Zanuttini</surname>
              </persName>
              <email type="md5">e1d9037b8b9d13174d58988b0ba36bfb</email>
              <email type="domain">unicaen.fr</email>
              <idno type="idhal" notation="string">bruno-zanuttini</idno>
              <idno type="idhal" notation="numeric">952903</idno>
              <idno type="halauthorid" notation="string">803873-952903</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1639-7236</idno>
              <affiliation ref="#struct-406663"/>
            </author>
            <author role="edt">
              <persName>
                <forename type="first">Pascal</forename>
                <surname>Vanier</surname>
              </persName>
              <email type="md5">2a35271e05188d0f72a8b17dbb0b72c9</email>
              <email type="domain">unicaen.fr</email>
              <idno type="idhal" notation="string">pvanier</idno>
              <idno type="idhal" notation="numeric">14035</idno>
              <idno type="halauthorid" notation="string">20750-14035</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9207-9112</idno>
              <idno type="IDREF">https://www.idref.fr/170394832</idno>
              <affiliation ref="#struct-388984"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Pascal</forename>
                <surname>Vanier</surname>
              </persName>
              <email type="md5">2a35271e05188d0f72a8b17dbb0b72c9</email>
              <email type="domain">unicaen.fr</email>
            </editor>
            <funder ref="#projanr-109504"/>
            <funder>GDR IFM (CNRS)</funder>
            <funder>Université de Caen</funder>
            <funder>Ensicaen</funder>
            <funder>GREYC</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-11-14 13:18:58</date>
              <date type="whenModified">2026-04-22 09:38:30</date>
              <date type="whenReleased">2025-11-14 15:34:52</date>
              <date type="whenProduced">2025-06</date>
              <date type="whenEndEmbargoed">2025-11-14</date>
              <ref type="file" target="https://hal.science/hal-05365250v1/document">
                <date notBefore="2025-11-14"/>
              </ref>
              <ref type="file" subtype="publisherPaid" n="1" target="https://hal.science/hal-05365250v1/file/ejcim.pdf" id="file-5365250-4589738">
                <date notBefore="2025-11-14"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="143906">
                <persName>
                  <forename>Pascal</forename>
                  <surname>Vanier</surname>
                </persName>
                <email type="md5">2a35271e05188d0f72a8b17dbb0b72c9</email>
                <email type="domain">unicaen.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-05365250</idno>
            <idno type="halUri">https://hal.science/hal-05365250</idno>
            <idno type="halBibtex">arzelier:hal-05365250</idno>
            <idno type="halRefHtml">CNRS Éditions, 2025, Informatique Fondamentale et ses Mathématiques, 978-2-271-15855-0</idno>
            <idno type="halRef">CNRS Éditions, 2025, Informatique Fondamentale et ses Mathématiques, 978-2-271-15855-0</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by-nc-nd/4.0/">CC BY-NC-ND 4.0 - Attribution - Non-commercial use - No Derivative Works<ref corresp="#file-5365250-4589738"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="UNIV-TLN">Université de Toulon</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="UNIV-AMU">Aix Marseille Université</idno>
            <idno type="stamp" n="INSA-TOULOUSE">Institut National des Sciences Appliquées de Toulouse</idno>
            <idno type="stamp" n="ENSI-CAEN">Ecole Nationale Supérieure d'Ingénieurs de Caen</idno>
            <idno type="stamp" n="LAAS">Laboratoire d'analyse et d'architecture des systèmes</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="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="GREYC">Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen (GREYC)</idno>
            <idno type="stamp" n="GREYC-AMACC" corresp="GREYC">GREYC amacc</idno>
            <idno type="stamp" n="GREYC-MAD" corresp="GREYC">GREYC mad</idno>
            <idno type="stamp" n="LAAS-ROC" corresp="LAAS-DECISION-ET-OPTIMISATION">Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="COMUE-NORMANDIE">Normandie Université</idno>
            <idno type="stamp" n="LAAS-DECISION-ET-OPTIMISATION" corresp="LAAS">LAAS-Décision et Optimisation</idno>
            <idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="LORIA">Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
            <idno type="stamp" n="LORIA-FM" corresp="LORIA">Department of Formal methods</idno>
            <idno type="stamp" n="LIS-LAB">Laboratoire d'Informatique et Systèmes</idno>
            <idno type="stamp" n="ENSICAEN">École Nationale Supérieure d’Ingénieurs de Caen</idno>
            <idno type="stamp" n="UNICAEN">Université de Caen Normandie</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="ANR">ANR</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="TEST7-HALCNRS">test 7 du portail hal cnrs</idno>
            <idno type="stamp" n="AM2I-UL">Pôle scientifique Automatique, Mathématiques, Informatique et leurs Intéractions de l'Université de Lorraine</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Informatique Fondamentale et ses Mathématiques : Une photographie en 2025</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Denis</forename>
                    <surname>Arzelier</surname>
                  </persName>
                  <email type="md5">e4f87272d39486eb05630e88a4bf28ff</email>
                  <email type="domain">laas.fr</email>
                  <idno type="idhal" notation="string">denis-arzelier</idno>
                  <idno type="idhal" notation="numeric">13230</idno>
                  <idno type="halauthorid" notation="string">30191-13230</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0149-1369</idno>
                  <idno type="IDREF">https://www.idref.fr/11501831X</idno>
                  <affiliation ref="#struct-1612737"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Miriam</forename>
                    <surname>Backens</surname>
                  </persName>
                  <email type="md5">bff593d6d75106fa4be4f1dce089a0f6</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">m-backens</idno>
                  <idno type="idhal" notation="numeric">1569527</idno>
                  <idno type="halauthorid" notation="string">1085770-1569527</idno>
                  <idno type="ARXIV">https://arxiv.org/a/backens_m_1</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5418-1084</idno>
                  <affiliation ref="#struct-129671"/>
                  <affiliation ref="#struct-206040"/>
                  <affiliation ref="#struct-529408"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Kostia</forename>
                    <surname>Chardonnet</surname>
                  </persName>
                  <email type="md5">d369a95420a286f69b485564850d6646</email>
                  <email type="domain">protonmail.com</email>
                  <idno type="idhal" notation="string">kostia</idno>
                  <idno type="idhal" notation="numeric">744191</idno>
                  <idno type="halauthorid" notation="string">52580-744191</idno>
                  <idno type="IDREF">https://www.idref.fr/267323085</idno>
                  <affiliation ref="#struct-206040"/>
                  <affiliation ref="#struct-129671"/>
                  <affiliation ref="#struct-529408"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pierre</forename>
                    <surname>Clairambault</surname>
                  </persName>
                  <email type="md5">760230925c5ace4b77e88aab144e3d98</email>
                  <email type="domain">cnrs.fr</email>
                  <idno type="idhal" notation="string">pierre-clairambault</idno>
                  <idno type="idhal" notation="numeric">21545</idno>
                  <idno type="halauthorid" notation="string">21756-21545</idno>
                  <idno type="IDREF">https://www.idref.fr/142512990</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3285-6028</idno>
                  <affiliation ref="#struct-527033"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Julien</forename>
                    <surname>Courtiel</surname>
                  </persName>
                  <email type="md5">9c80ba4da3d8ad30ec1b07b404afb912</email>
                  <email type="domain">unicaen.fr</email>
                  <idno type="idhal" notation="string">julien-courtiel</idno>
                  <idno type="idhal" notation="numeric">169755</idno>
                  <idno type="halauthorid" notation="string">38037-169755</idno>
                  <idno type="IDREF">https://www.idref.fr/184309263</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3441-2818</idno>
                  <affiliation ref="#struct-388984"/>
                  <affiliation ref="#struct-150"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mioara</forename>
                    <surname>Joldeş</surname>
                  </persName>
                  <email type="md5">33b56a37b3c3923c65732b7df989bfc0</email>
                  <email type="domain">laas.fr</email>
                  <idno type="idhal" notation="string">mioara-joldes</idno>
                  <idno type="idhal" notation="numeric">735561</idno>
                  <idno type="halauthorid" notation="string">48428-735561</idno>
                  <idno type="IDREF">https://www.idref.fr/156990415</idno>
                  <affiliation ref="#struct-1612737"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Bruno</forename>
                    <surname>Zanuttini</surname>
                  </persName>
                  <email type="md5">e1d9037b8b9d13174d58988b0ba36bfb</email>
                  <email type="domain">unicaen.fr</email>
                  <idno type="idhal" notation="string">bruno-zanuttini</idno>
                  <idno type="idhal" notation="numeric">952903</idno>
                  <idno type="halauthorid" notation="string">803873-952903</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1639-7236</idno>
                  <affiliation ref="#struct-406663"/>
                </author>
                <author role="edt">
                  <persName>
                    <forename type="first">Pascal</forename>
                    <surname>Vanier</surname>
                  </persName>
                  <email type="md5">2a35271e05188d0f72a8b17dbb0b72c9</email>
                  <email type="domain">unicaen.fr</email>
                  <idno type="idhal" notation="string">pvanier</idno>
                  <idno type="idhal" notation="numeric">14035</idno>
                  <idno type="halauthorid" notation="string">20750-14035</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9207-9112</idno>
                  <idno type="IDREF">https://www.idref.fr/170394832</idno>
                  <affiliation ref="#struct-388984"/>
                </author>
              </analytic>
              <monogr>
                <idno type="isbn">978-2-271-15855-0</idno>
                <idno type="localRef">Rapport LAAS n° 25512</idno>
                <imprint>
                  <publisher>CNRS Éditions</publisher>
                  <biblScope unit="serie">Informatique Fondamentale et ses Mathématiques</biblScope>
                  <date type="datePub">2025-06</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="OUV">Books</classCode>
              <classCode scheme="halOldTypology" n="OUV">Books</classCode>
              <classCode scheme="halTreeTypology" n="OUV">Books</classCode>
            </textClass>
            <abstract xml:lang="fr">
              <p>L'informatique Fondamentale et ses Mathématiques (IFM) regroupe des thématiques relevant a priori de tous les domaines de l’informatique, pourvu que la démarche de recherche ou le point de vue adoptés soient « mathématisables ». Cet ouvrage réunit les cours proposés à l’édition 2025 de l’École des Jeunes Chercheuses et Chercheurs en Informatique Fondamentale et ses Mathématiques (EJCIFM), organisée à Caen du 16 au 20 juin 2025 dans le cadre du Groupe de recherche en Informatique Fondamentale et ses Mathématiques (GdR IFM) du CNRS. Présentant de manière équilibrée différentes thématiques du domaine IFM, cet ouvrage en propose une photographie.Cinq thèmes sont présentés par sept spécialistes du domaine : l’informatique quantique, la sémantique, la combinatoire énumérative, l’évaluationsymbolique numérique et la compilation de connaissances. Ces chapitres ont été écrits par Miriam Backens, Kostia Chardonnet, Pierre Clairambault,Julien Courtiel, Denis Arzelier, Mioara Joldes et Bruno Zanuttini.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-1612737" status="VALID">
          <orgName>Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes</orgName>
          <orgName type="acronym">LAAS-ROC</orgName>
          <date type="start">2025-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.laas.fr/public/fr/roc</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1612717" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116255" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation name="UPR8001" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
            <relation active="#struct-1574795" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-129671" status="VALID">
          <idno type="RNSR">198618246Y</idno>
          <idno type="ROR">https://ror.org/03fcjvn64</idno>
          <orgName>Centre Inria de l'Université de Lorraine</orgName>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/nancy</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-206040" status="VALID">
          <idno type="IdRef">067077927</idno>
          <idno type="ISNI">0000000121795429</idno>
          <idno type="RNSR">198912571S</idno>
          <idno type="IdUnivLorraine">[UL]RSI--</idno>
          <idno type="ROR">https://ror.org/02vnf0c38</idno>
          <orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
          <orgName type="acronym">LORIA</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-413289" type="direct"/>
            <relation name="UMR7503" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-529408" status="VALID">
          <idno type="RNSR">201822770B</idno>
          <idno type="ROR">https://ror.org/03w9t3v76</idno>
          <orgName>Designing the Future of Computational Models</orgName>
          <orgName type="acronym">MOCQUA</orgName>
          <date type="start">2018-01-01</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inria.fr/equipes/mocqua</ref>
          </desc>
          <listRelation>
            <relation active="#struct-129671" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-423084" type="direct"/>
            <relation active="#struct-206040" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-527033" status="VALID">
          <idno type="IdRef">234768002</idno>
          <idno type="RNSR">201822714R</idno>
          <idno type="ROR">https://ror.org/0257sgk90</idno>
          <idno type="Wikidata">Q52605252</idno>
          <orgName>Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)</orgName>
          <orgName type="acronym">LIS</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>Aix Marseille Université – Campus de Saint Jérôme – Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lis-lab.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR7020" active="#struct-198056" type="direct"/>
            <relation name="UMR7020" active="#struct-303091" type="direct"/>
            <relation name="UMR7020" active="#struct-441569" 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="researchteam" xml:id="struct-388984" status="VALID">
          <orgName>Equipe AMACC - Laboratoire GREYC - UMR6072</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-150" type="direct"/>
            <relation active="#struct-7127" type="indirect"/>
            <relation active="#struct-455934" type="indirect"/>
            <relation active="#struct-246955" type="indirect"/>
            <relation name="UMR6072" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-150" status="VALID">
          <idno type="IdRef">035827335</idno>
          <idno type="ISNI">0000 0000 9466 2590</idno>
          <idno type="RNSR">201722568L</idno>
          <idno type="ROR">https://ror.org/043749971</idno>
          <idno type="Wikidata">Q3117752</idno>
          <orgName>Groupe de Recherche en Informatique, Image et Instrumentation de Caen</orgName>
          <orgName type="acronym">GREYC</orgName>
          <date type="start">1995-01-01</date>
          <desc>
            <address>
              <addrLine>Boulevard du Maréchal Juin - 14050 CAEN Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.greyc.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-7127" type="direct"/>
            <relation active="#struct-455934" type="indirect"/>
            <relation active="#struct-246955" type="direct"/>
            <relation name="UMR6072" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-406663" status="VALID">
          <orgName>Equipe MAD - Laboratoire GREYC - UMR6072</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-150" type="direct"/>
            <relation active="#struct-7127" type="indirect"/>
            <relation active="#struct-455934" type="indirect"/>
            <relation active="#struct-246955" type="indirect"/>
            <relation name="UMR6072" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1612717" status="VALID">
          <idno type="IdRef">199278792</idno>
          <idno type="ISNI">0000 0001 2188 216X </idno>
          <idno type="RNSR">199517454Y</idno>
          <idno type="ROR">https://ror.org/03vcm6439</idno>
          <orgName>Laboratoire d'analyse et d'architecture des systèmes</orgName>
          <orgName type="acronym">LAAS</orgName>
          <date type="start">2025-01-01</date>
          <desc>
            <address>
              <addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.laas.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116255" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation name="UPR8001" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
            <relation 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-116255" status="VALID">
          <idno type="IdRef">026388766</idno>
          <idno type="ISNI">0000 0001 2286 8343</idno>
          <idno type="ROR">https://ror.org/01h8pf755</idno>
          <idno type="Wikidata">Q858979</idno>
          <orgName>Institut National des Sciences Appliquées - Toulouse</orgName>
          <orgName type="acronym">INSA Toulouse</orgName>
          <date type="start">1963-10-21</date>
          <desc>
            <address>
              <addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-toulouse.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
            <relation active="#struct-443875" 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-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="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-413289" status="VALID">
          <idno type="IdRef">157040569</idno>
          <idno type="IdUnivLorraine">[UL]100--</idno>
          <idno type="ROR">https://ror.org/04vfs2w97</idno>
          <orgName>Université de Lorraine</orgName>
          <orgName type="acronym">UL</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lorraine.fr/</ref>
          </desc>
        </org>
        <org type="department" xml:id="struct-423084" status="VALID">
          <orgName>Department of Formal Methods</orgName>
          <orgName type="acronym">LORIA - FM</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr/en/research/departments/formal-methods/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-206040" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-198056" status="VALID">
          <idno type="IdRef">15863621X</idno>
          <idno type="ISNI">0000 0001 2176 4817</idno>
          <idno type="ROR">https://ror.org/035xkbk20</idno>
          <orgName>Aix Marseille Université</orgName>
          <orgName type="acronym">AMU</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>Aix-Marseille UniversitéJardins du Pharo58 Boulevard Charles Livon13284 Marseille cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-amu.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-303091" status="VALID">
          <idno type="IdRef">031122337</idno>
          <idno type="ROR">https://ror.org/02m9kbe37</idno>
          <orgName>Université de Toulon</orgName>
          <orgName type="acronym">UTLN</orgName>
          <desc>
            <address>
              <addrLine>Avenue de l'Université - BP 20132 - 83957 La Garde Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tln.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-7127" status="VALID">
          <idno type="IdRef">026403064</idno>
          <idno type="ISNI">0000000121864076</idno>
          <idno type="ROR">https://ror.org/051kpcy16</idno>
          <orgName>Université de Caen Normandie</orgName>
          <orgName type="acronym">UNICAEN</orgName>
          <date type="start">1432-01-01</date>
          <desc>
            <address>
              <addrLine>Esplanade de la Paix - CS 14032 - 14032 CAEN Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.unicaen.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-455934" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-455934" status="VALID">
          <idno type="IdRef">190906332</idno>
          <idno type="ISNI">0000000417859671 </idno>
          <idno type="ROR">https://ror.org/01k40cz91</idno>
          <orgName>Normandie Université</orgName>
          <orgName type="acronym">NU</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.normandie-univ.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-246955" status="VALID">
          <idno type="IdRef">190907991</idno>
          <idno type="ROR">https://ror.org/01fpqqe90</idno>
          <orgName>École Nationale Supérieure d'Ingénieurs de Caen</orgName>
          <orgName type="acronym">ENSICAEN</orgName>
          <desc>
            <address>
              <addrLine>6, Boulevard du Maréchal Juin CS 45053 14050 CAEN cedex 04</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ensicaen.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-455934" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-109504" status="VALID">
          <idno type="anr">ANR-23-CE48-0014</idno>
          <orgName>PANDAG</orgName>
          <desc>Analyse de paramètres de classes de DAGS</desc>
          <date type="start">2023</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>