InforLorV4, Main, Merge, indexHead, AutAff.i

Author's uniq id: Bournez O
Total number of names:
Total number of records with affiliations: 166

O. Bournez

LORIA, Campus Scientifique BP 23954506 Vandoeuvre lès NancyFRA1 aut. France Grand EstLorraine (région)Vandœuvre-lès-Nancy	00A590
LORIA, Campus Scientifique BP 23954506 Vandoeuvre-les-NancyFRA2 aut. France Grand EstLorraine (région)Vandœuvre-lès-Nancy	00A568
LORIA, Campus Scientifique, BP 23954506 Vandoeuvre les NancyFRA2 aut. France Grand EstLorraine (région)Vandœuvre-lès-Nancy	00A630
FR	008B87
FR	008B87

Olivier Bournez

France	003089 004511 004D47 005519 006427 006F47 007E65 007E72 007E94 008C20 009727 00A396 00A437 00A514
France LORIA/INRIA, 615 Rue du Jardin Botanique, 54602 Cedex, Villers lès Nancy Villers lès Nancy Villers lès Nancy	005553
Laboratoire d'informatique de l'École polytechnique [Palaiseau]LIXRoute de Saclay 91128 PALAISEAU CEDEXhttp://www.lix.polytechnique.fr/Polytechnique - X000000012259750402636817XCentre National de la Recherche ScientifiqueCNRS1939-10-19http://www.cnrs.fr/ France	001100 002F30 003435 003524 003659 003E32 003E66 005001
Laboratoire d'informatique de l'École polytechnique [Palaiseau]LIXRoute de Saclay 91128 PALAISEAU CEDEXhttp://www.lix.polytechnique.fr/Polytechnique - X02636817X0000000122597504Centre National de la Recherche ScientifiqueCNRS1939-10-19http://www.cnrs.fr/ France	002913
199221357DConstraints, automatic deduction and software properties proofsPROTHEOhttp://www.inria.fr/equipes/protheoLaboratoire Lorrain de Recherche en Informatique et ses ApplicationsLORIACampus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedexhttp://www.loria.fr000000012259750402636817XCentre National de la Recherche ScientifiqueCNRS1939-10-19http://www.cnrs.fr/Institut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/Université Henri Poincaré - Nancy 1UHP2011-12-3124-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, FranceUniversité Nancy 22011-12-3191 avenue de la Libération, BP 454, 54001 Nancy cedexInstitut National Polytechnique de LorraineINPL2011-12-31INRIA Lorraine615 rue du Jardin Botanique 54600 Villers-lès-Nancyhttp://www.inria.fr/centre-de-recherche-inria/nancy-grand-est France NancyGrand EstLorraine (région) Université Nancy 2 Université de Lorraine NancyGrand EstLorraine (région) Institut national polytechnique de Lorraine Université de Lorraine	005064 005080 005323 005912 005931 005945 005980 005B59 005C87 005C88 006842 006843 006858 006952 006990 007086 007117 007276 007372 007409 007480 007481 007649 007650 007658 007660 007680 008046 008047 008485 008487 008500 008E69 008E70 008F78 009010 009149 009230 009231 009A50 009B19 009C53 00A768 00A828 00A830 00A895 00A938 00B341 00B379 00B490 00BD03 00BD79
200918992JTheoretical adverse computations, and safetyCARTEhttp://www.inria.fr/equipes/carte198618246YINRIA Nancy - Grand Est615 rue du Jardin Botanique 54600 Villers-lès-Nancyhttp://www.inria.fr/nancyInstitut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/Department of Formal Methods LORIA - FMhttp://www.loria.fr/la-recherche-en/departements/formal-methods067077927198912571S[UL]RSI--Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsLORIA2012-01-01Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedexhttp://www.loria.fr157040569[UL]100--Université de LorraineUL2012-01-0134 cours Léopold - CS 25233 - 54052 Nancy cedexhttp://www.univ-lorraine.fr/000000012259750402636817XCentre National de la Recherche ScientifiqueCNRS1939-10-19http://www.cnrs.fr/ France NancyMetzGrand EstLorraine (région) Université de Lorraine	004012 004014 004880 004891 004B80
INRIA LorraineFRA1 aut. France INRIA Lorraine INRIA Lorraine	005746
France LORIA and INRIA-Lorraine, Technopôle de Nancy-Brabois, Campus Scientifique, 615 rue du Jardin Botanique, BP-101, F-54602, Villers-lès-Nancy Grand EstLorraine (région)Villers-lès-Nancy	009786
France Ecole Polytechnique, LIX, 91128, Palaiseau Cedex Île-de-FrancePalaiseau	003089
France LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lès-Nancy Cedex Grand EstLorraine (région)Villers-lès-Nancy	007E94
France LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lés-Nancy Cedex Grand EstLorraine (région)Villers-lés-Nancy	007E72
France LORIA & INRIA, 615 rue du Jardin Botanique, BP 101, 54602, Villers-lès-Nancy Cedex, Nancy Grand EstLorraine (région)Nancy	008C20
France LORIA, 615 rue du Jardin Botanique, BP 101, 54602, Villers-lès-Nancy Cedex, Nancy Grand EstLorraine (région)Nancy	007E65
France LORIA, Campus Scientifique BP 239, 54506, Vandoeuvre-les-Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	00A396
France LORIA, Campus Scientifique BP 239, F-54506 Vandoeuvre-les-Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	009727
France LORIA, Campus Scientifique, BP 239, 54506, Vandoeuvre lés Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	00A437
France LORIA/INRIA, 615 Rue du Jardin Botanique, 54602 Villers-Lès-Nancy Grand EstLorraine (région)Villers-Lès-Nancy	004D47
France LORIA/INRIA, 615 Rue du Jardin Botanique, 54602, Villers lès Nancy Cedex Grand EstLorraine (région)Villers lès Nancy	006431 007D78
France LORIA/INRIA, 615 Rue du Jardin Botanique, 54602, Villers-Lès-Nancy Grand EstLorraine (région)Villers-Lès-Nancy	006427
France LORIA/INRIA, 615 Rue du Jardin Botanique, BP101, 54602, Villers lès Nancy Grand EstLorraine (région)Villers lès Nancy	006F47
France LORIA/INRIA-CNRS-UHP, , 615 Rue du Jardin Botanique, 54602, Villers-Lès-Nancy Grand EstLorraine (région)Villers-Lès-Nancy	004511
France Loria, Campus Scientifique, BP 239, 54506, Vandoeuvre les Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	00A514
France Vandœuvre-Lès-Nancy, LORIA (UMR 7503 CNRS-INPL-INRIA-Nancy2-UHP), Campus scientifique, BP 239, 54506 Grand EstLorraine (région)	005519
INRIA/LORIA, 615 Rue du Jardin Botanique, BP10154602 Villers Lès NancyFRA1 aut. France Grand EstLorraine (région)Villers Lès Nancy	006636
LIX, Ecole Polytechnique91128 PalaiseauFRA1 aut. France Île-de-FrancePalaiseau	003C68
LORIA & INRIA Lorraine 615, rue du Jardin Botanique, BP 10154602 Villers-lès-NancyFRA1 aut.4 aut.5 aut. France Grand EstLorraine (région)Villers-lès-Nancy	007F90
LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 10154602 Villers-lès-NancyFRA1 aut.4 aut.5 aut. France Grand EstLorraine (région)Villers-lès-Nancy	007F80
LORIA & INRIA, 615 rue du Jardin Botanique, BP 10154602 Villers-lès-Nancy, NancyFRA1 aut.2 aut. France Grand EstLorraine (région)Nancy	008D64
LORIA, 615 rue du Jardin Botanique, BP 10154602 Villers-lès-NancyFRA1 aut.3 aut.4 aut. France Grand EstLorraine (région)Villers-lès-Nancy	005781
LORIA/INRIA, 615 Rue du Jardin Botanique, BP10154602 Villers lès NancyFRA1 aut.2 aut. France Grand EstLorraine (région)Villers lès Nancy	007065
LORIA/INRIA, 615 Rue du Jardin Botanique54602 Villers lès Nancy FRA1 aut. France Grand EstLorraine (région)Villers lès Nancy	007F36
LORIA/INRIA, 615 Rue du Jardin Botanique54602 Villers lès NancyFRA1 aut. France Grand EstLorraine (région)Villers lès Nancy	005782
LORIA/INRIA, 615 Rue du Jardin Botanique54602 Villers lès NancyFRA1 aut.2 aut. France Grand EstLorraine (région)Villers lès Nancy	005761 006600
LORIA/INRIA, 615 Rue du Jardin Botanique54602 Villers-Lès-NancyFRA1 aut.2 aut. France Grand EstLorraine (région)Villers-Lès-Nancy	006597
Ecole Polytechnique, laboratoire d'informatique91128 PalaiseauFRA3 aut. France Île-de-FrancePalaiseau	003C82
LORIA (UMR 7503 CNRS-INPL-INRIA-Nancy2-UHP), Campus scientifique, BP 23954506 Vandoeuvre-Lès-NancyFRA1 aut.4 aut. France Grand EstLorraine (région)Vandœuvre-lès-Nancy	005746
LORIA, Campus Scientifique BP 23954506 Vandoeuvre-les-NancyFRA2 aut. France Grand EstLorraine (région)Vandœuvre-lès-Nancy	009991
LORIANancy 54602FRA2 aut. France Grand EstLorraine (région)	00A613
	005519
E-mail:	006475
NONE	005E45 005E81 005E85 006079 006081 006109 006143 006172 006314 006B75 006B76 006D14 006D27 007798 007823 007824 007928 007A15 007A46 007A97 008627 008699 008700 008918 008919 008966 008A00 008A43 009337 009346 009520 009581 009582 009F30 00A118 00A171 00A172 00A185 00AC54 00AD77 00AD86 00B748 00B757
E-mail:	006475

<g><k>Bournez O</k>
<l><g><k>O. Bournez</k>
<l><g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>LORIA, Campus Scientifique BP 239</s1>
<s2>54506 Vandoeuvre lès Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00A590</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="02"><s1>LORIA, Campus Scientifique BP 239</s1>
<s2>54506 Vandoeuvre-les-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00A568</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="02"><s1>LORIA, Campus Scientifique, BP 239</s1>
<s2>54506 Vandoeuvre les Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00A630</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation><wicri:noCountry code="subField">FR</wicri:noCountry>
</affiliation>
</k>
<l><i>008B87</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><wicri:noCountry code="subField">FR</wicri:noCountry>
</k>
<l><i>008B87</i>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>5</n>
<t>5</t>
</g>
<g><k>Olivier Bournez</k>
<l><g><k><affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</k>
<l><i>003089</i>
<i>004511</i>
<i>004D47</i>
<i>005519</i>
<i>006427</i>
<i>006F47</i>
<i>007E65</i>
<i>007E72</i>
<i>007E94</i>
<i>008C20</i>
<i>009727</i>
<i>00A396</i>
<i>00A437</i>
<i>00A514</i>
</l>
<n>14</n>
<t>14</t>
</g>
<g><k><affiliation wicri:level="1"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA/INRIA, 615 Rue du Jardin Botanique, 54602 Cedex, Villers lès Nancy</wicri:regionArea>
<wicri:noRegion>Villers lès Nancy</wicri:noRegion>
<wicri:noRegion>Villers lès Nancy</wicri:noRegion>
</affiliation>
</k>
<l><i>005553</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-2071" status="VALID"><orgName>Laboratoire d'informatique de l'École polytechnique [Palaiseau]</orgName>
<orgName type="acronym">LIX</orgName>
<desc><address><addrLine>Route de Saclay 91128 PALAISEAU CEDEX</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.lix.polytechnique.fr/</ref>
</desc>
<listRelation><relation active="#struct-300340" type="direct"></relation>
<relation name="UMR7161" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300340" type="direct"><org type="institution" xml:id="struct-300340" status="VALID"><orgName>Polytechnique - X</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="UMR7161" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</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"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</k>
<l><i>001100</i>
<i>002F30</i>
<i>003435</i>
<i>003524</i>
<i>003659</i>
<i>003E32</i>
<i>003E66</i>
<i>005001</i>
</l>
<n>8</n>
<t>8</t>
</g>
<g><k><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-2071" status="VALID"><orgName>Laboratoire d'informatique de l'École polytechnique [Palaiseau]</orgName>
<orgName type="acronym">LIX</orgName>
<desc><address><addrLine>Route de Saclay 91128 PALAISEAU CEDEX</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.lix.polytechnique.fr/</ref>
</desc>
<listRelation><relation active="#struct-300340" type="direct"></relation>
<relation name="UMR7161" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300340" type="direct"><org type="institution" xml:id="struct-300340" status="VALID"><orgName>Polytechnique - X</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="UMR7161" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno>
<idno type="ISNI">0000000122597504</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"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</k>
<l><i>002913</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2360" status="OLD"><idno type="RNSR">199221357D</idno>
<orgName>Constraints, automatic deduction and software properties proofs</orgName>
<orgName type="acronym">PROTHEO</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/protheo</ref>
</desc>
<listRelation><relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</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"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><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"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName>
<desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</k>
<l><i>005064</i>
<i>005080</i>
<i>005323</i>
<i>005912</i>
<i>005931</i>
<i>005945</i>
<i>005980</i>
<i>005B59</i>
<i>005C87</i>
<i>005C88</i>
<i>006842</i>
<i>006843</i>
<i>006858</i>
<i>006952</i>
<i>006990</i>
<i>007086</i>
<i>007117</i>
<i>007276</i>
<i>007372</i>
<i>007409</i>
<i>007480</i>
<i>007481</i>
<i>007649</i>
<i>007650</i>
<i>007658</i>
<i>007660</i>
<i>007680</i>
<i>008046</i>
<i>008047</i>
<i>008485</i>
<i>008487</i>
<i>008500</i>
<i>008E69</i>
<i>008E70</i>
<i>008F78</i>
<i>009010</i>
<i>009149</i>
<i>009230</i>
<i>009231</i>
<i>009A50</i>
<i>009B19</i>
<i>009C53</i>
<i>00A768</i>
<i>00A828</i>
<i>00A830</i>
<i>00A895</i>
<i>00A938</i>
<i>00B341</i>
<i>00B379</i>
<i>00B490</i>
<i>00BD03</i>
<i>00BD79</i>
</l>
<n>52</n>
<t>52</t>
</g>
<g><k><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-29797" status="VALID"><idno type="RNSR">200918992J</idno>
<orgName>Theoretical adverse computations, and safety</orgName>
<orgName type="acronym">CARTE</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/carte</ref>
</desc>
<listRelation><relation active="#struct-129671" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-423084" type="direct"></relation>
<relation active="#struct-206040" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno>
<orgName>INRIA Nancy - Grand Est</orgName>
<desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/nancy</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><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"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-423084" type="direct"><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"></country>
</address>
<ref type="url">http://www.loria.fr/la-recherche-en/departements/formal-methods</ref>
</desc>
<listRelation><relation active="#struct-206040" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno>
<idno type="RNSR">198912571S</idno>
<idno type="IdUnivLorraine">[UL]RSI--</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"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-413289" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno>
<idno type="IdUnivLorraine">[UL]100--</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"></country>
</address>
<ref type="url">http://www.univ-lorraine.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</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"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<settlement type="city">Metz</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</k>
<l><i>004012</i>
<i>004014</i>
<i>004880</i>
<i>004891</i>
<i>004B80</i>
</l>
<n>5</n>
<t>5</t>
</g>
<g><k><affiliation wicri:level="1"><inist:fA14 i1="01"><s1>INRIA Lorraine</s1>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<wicri:noRegion>INRIA Lorraine</wicri:noRegion>
<wicri:noRegion>INRIA Lorraine</wicri:noRegion>
</affiliation>
</k>
<l><i>005746</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country wicri:rule="url">France</country>
<wicri:regionArea>LORIA and INRIA-Lorraine, Technopôle de Nancy-Brabois, Campus Scientifique, 615 rue du Jardin Botanique, BP-101, F-54602, Villers-lès-Nancy</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>009786</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>Ecole Polytechnique, LIX, 91128, Palaiseau Cedex</wicri:regionArea>
<placeName><region type="region" nuts="2">Île-de-France</region>
<settlement type="city">Palaiseau</settlement>
</placeName>
</affiliation>
</k>
<l><i>003089</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lès-Nancy Cedex</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>007E94</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lés-Nancy Cedex</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-lés-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>007E72</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA & INRIA, 615 rue du Jardin Botanique, BP 101, 54602, Villers-lès-Nancy Cedex, Nancy</wicri:regionArea>
<placeName><region type="region">Grand Est</region>
<region type="old region">Lorraine (région)</region>
<settlement type="city">Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>008C20</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA, 615 rue du Jardin Botanique, BP 101, 54602, Villers-lès-Nancy Cedex, Nancy</wicri:regionArea>
<placeName><region type="region">Grand Est</region>
<region type="old region">Lorraine (région)</region>
<settlement type="city">Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>007E65</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA, Campus Scientifique BP 239, 54506, Vandoeuvre-les-Nancy</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00A396</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA, Campus Scientifique BP 239, F-54506 Vandoeuvre-les-Nancy</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>009727</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA, Campus Scientifique, BP 239, 54506, Vandoeuvre lés Nancy</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00A437</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA/INRIA, 615 Rue du Jardin Botanique, 54602 Villers-Lès-Nancy</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-Lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>004D47</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA/INRIA, 615 Rue du Jardin Botanique, 54602, Villers lès Nancy Cedex</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers lès Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>006431</i>
<i>007D78</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA/INRIA, 615 Rue du Jardin Botanique, 54602, Villers-Lès-Nancy</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-Lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>006427</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA/INRIA, 615 Rue du Jardin Botanique, BP101, 54602, Villers lès Nancy</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers lès Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>006F47</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA/INRIA-CNRS-UHP,  , 615 Rue du Jardin Botanique, 54602, Villers-Lès-Nancy</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-Lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>004511</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>Loria, Campus Scientifique, BP 239, 54506, Vandoeuvre les Nancy</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00A514</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>Vandœuvre-Lès-Nancy, LORIA (UMR 7503 CNRS-INPL-INRIA-Nancy2-UHP), Campus scientifique, BP 239, 54506</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
</affiliation>
</k>
<l><i>005519</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>INRIA/LORIA, 615 Rue du Jardin Botanique, BP101</s1>
<s2>54602 Villers Lès Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers Lès Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>006636</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>LIX, Ecole Polytechnique</s1>
<s2>91128 Palaiseau</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Île-de-France</region>
<settlement type="city">Palaiseau</settlement>
</placeName>
</affiliation>
</k>
<l><i>003C68</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>LORIA & INRIA Lorraine 615, rue du Jardin Botanique, BP 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>007F90</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>007F80</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>LORIA & INRIA, 615 rue du Jardin Botanique, BP 101</s1>
<s2>54602 Villers-lès-Nancy, Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region">Grand Est</region>
<region type="old region">Lorraine (région)</region>
<settlement type="city">Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>008D64</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>LORIA, 615 rue du Jardin Botanique, BP 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>005781</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>LORIA/INRIA, 615 Rue du Jardin Botanique, BP101</s1>
<s2>54602 Villers lès Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers lès Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>007065</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>LORIA/INRIA, 615 Rue du Jardin Botanique</s1>
<s2>54602 Villers lès Nancy </s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers lès Nancy </settlement>
</placeName>
</affiliation>
</k>
<l><i>007F36</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>LORIA/INRIA, 615 Rue du Jardin Botanique</s1>
<s2>54602 Villers lès Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers lès Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>005782</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>LORIA/INRIA, 615 Rue du Jardin Botanique</s1>
<s2>54602 Villers lès Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers lès Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>005761</i>
<i>006600</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>LORIA/INRIA, 615 Rue du Jardin Botanique</s1>
<s2>54602 Villers-Lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-Lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>006597</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="02"><s1>Ecole Polytechnique, laboratoire d'informatique</s1>
<s2>91128 Palaiseau</s2>
<s3>FRA</s3>
<sZ>3 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Île-de-France</region>
<settlement type="city">Palaiseau</settlement>
</placeName>
</affiliation>
</k>
<l><i>003C82</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="02"><s1>LORIA (UMR 7503 CNRS-INPL-INRIA-Nancy2-UHP), Campus scientifique, BP 239</s1>
<s2>54506 Vandoeuvre-Lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>005746</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="02"><s1>LORIA, Campus Scientifique BP 239</s1>
<s2>54506 Vandoeuvre-les-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>009991</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="02"><s1>LORIA</s1>
<s2>Nancy 54602</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
</affiliation>
</k>
<l><i>00A613</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation></affiliation>
</k>
<l><i>005519</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation><wicri:noCountry code="subField">E-mail:</wicri:noCountry>
</affiliation>
</k>
<l><i>006475</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation>NONE</affiliation>
</k>
<l><i>005E45</i>
<i>005E81</i>
<i>005E85</i>
<i>006079</i>
<i>006081</i>
<i>006109</i>
<i>006143</i>
<i>006172</i>
<i>006314</i>
<i>006B75</i>
<i>006B76</i>
<i>006D14</i>
<i>006D27</i>
<i>007798</i>
<i>007823</i>
<i>007824</i>
<i>007928</i>
<i>007A15</i>
<i>007A46</i>
<i>007A97</i>
<i>008627</i>
<i>008699</i>
<i>008700</i>
<i>008918</i>
<i>008919</i>
<i>008966</i>
<i>008A00</i>
<i>008A43</i>
<i>009337</i>
<i>009346</i>
<i>009520</i>
<i>009581</i>
<i>009582</i>
<i>009F30</i>
<i>00A118</i>
<i>00A171</i>
<i>00A172</i>
<i>00A185</i>
<i>00AC54</i>
<i>00AD77</i>
<i>00AD86</i>
<i>00B748</i>
<i>00B757</i>
</l>
<n>43</n>
<t>43</t>
</g>
<g><k><wicri:noCountry code="subField">E-mail:</wicri:noCountry>
</k>
<l><i>006475</i>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>42</n>
<t>161</t>
</g>
</l>
<n>2</n>
<t>166</t>
</g>

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la recherche en informatique en Lorraine