Postdoc position in formal verification of multi-agent systems
Vadim Malvone via clean-list <[email protected]> Mon, 17 Feb 2025 12:30:29 +0100
| Newsgroups | gmane.comp.lang.clean,gmane.comp.lang.caml.inria,gmane.comp.lang.erlang.general,gmane.comp.mathematics.hol |
|---|---|
| Message-ID | <[email protected]> |
--===============4964531378731989753== Content-Type: multipart/alternative; boundary="------------YZwjOCdTtwjiHGekzIv5ia41" Content-Language: fr, en-US --------------YZwjOCdTtwjiHGekzIv5ia41 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable *Study the impact of natural strategies in decision problems* Keywords: Formal Verification, Model Checking for Multi-Agent Systems,=20 Game Theory Description Game theory plays a crucial role in AI by providing a mathematical=20 framework for reasoning about reactive systems, which are defined by=20 interactions between multiple entities, or players. It has found=20 significant applications across various fields, including economics,=20 biology, and computer science. An important application of game theory=20 in computer science and, more recently, in AI, concerns formal-system=20 verification. Model checking, introduced in the late 1970s, uses game=20 theory to verify the behavior of systems against formal specifications.=20 While initial applications focused on closed systems, which are entirely=20 determined by their internal states, most systems in practice are open,=20 involving ongoing interactions. This led to the extension of model=20 checking to Multi-Agent Systems, using logics like Alternating-time=20 Temporal Logic and Strategy Logic to account for strategic reasoning. Another decision problem in verification is synthesis, the process of=20 creating a system that meets its specifications across various=20 environments, particularly those involving rational agents. Rational=20 synthesis, introduced in the 1990s, addresses this by ensuring that a=20 system's behavior aligns with specified objectives across different=20 agent interactions. However, decision problems in MAS verification can=20 range from polynomial to undecidable, with complexity heavily influenced=20 by the type of strategy used (memoryless vs. memoryful). Memoryless=20 strategies are computationally efficient but less expressive, while=20 memoryful strategies are more powerful but more complex. To address=20 these issues, bounded approaches like natural strategies, which consider=20 simpler strategies in line with bounded rationality, have been introduced. Goals The aim of this project is divided into two main steps: =C2=A0=C2=A0=C2=A0 - Study decision problems for natural strategies and an= alyze their=20 computational complexity. =C2=A0=C2=A0=C2=A0 - Develop a tool capable of providing answers to decisi= on problems=20 on natural strategies. Profile and skills required - PhD in computer science, mathematics, or related fields. - Strong computer science and/or mathematical background (with=20 particular attention on formal methods and logic). - Good programming skills. - Good level in written and spoken English. How to apply If you are interested you can apply via:=20 https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Finstitu= tminestelecom.recruitee.com%2Fl%2Fen%2Fo%2Fpost-doctorante-ou-post-doctoran= t-en-verification-de-systemes-multi-agents&data=3D05%7C02%7Cclean-list%40sc= ience.ru.nl%7C2398f634cd1a49e3ad1508dd4f468088%7C084578d9400d4a5aa7c7e76ca4= 7af400%7C1%7C0%7C638753886407981333%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGk= iOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%= 3D%7C0%7C%7C%7C&sdata=3DNQKJQwvdKNIaS4ExZm3A0zhDcM0S5JQjIDtwI30179Y%3D&rese= rved=3D0 Other information Application deadline: 31/03/2025 Job type: 18 months fixed-term contract in the ANR NOGGINS project Job description: https://eur01.safelinks.protection.outlook.com/?url=3Dhttp= s%3A%2F%2Fpartage.imt.fr%2Findex.php%2Fs%2F69zC4zs8PAt5ZNk&data=3D05%7C02%7= Cclean-list%40science.ru.nl%7C2398f634cd1a49e3ad1508dd4f468088%7C084578d940= 0d4a5aa7c7e76ca47af400%7C1%7C0%7C638753886408010918%7CUnknown%7CTWFpbGZsb3d= 8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbC= IsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3DBwWXSamviFooIdUPzeMjnkSxH4lx1YZny2G= WBz7mo30%3D&reserved=3D0 Scientific contact person: Vadim Malvone ([email protected]) --=20 *Vadim MALVONE* Associate Professor, HDR T=C3=A9l=C3=A9com Paris <https://eur01.safelinks.protection.outlook.com/?ur= l=3Dhttps%3A%2F%2Fwww.telecom-paris.fr%2F&data=3D05%7C02%7Cclean-list%40sci= ence.ru.nl%7C2398f634cd1a49e3ad1508dd4f468088%7C084578d9400d4a5aa7c7e76ca47= af400%7C1%7C0%7C638753886408028571%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGki= OnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3= D%7C0%7C%7C%7C&sdata=3DXcBOAcYVQx3IJVVbhmMHq9xXCRS4LcC5ZBAlotR0iJA%3D&reser= ved=3D0> *Une =C3=A9cole de l'IMT <https://eur01.safelinks.protection.outlook.com/?u= rl=3Dhttps%3A%2F%2Fwww.imt.fr%2F&data=3D05%7C02%7Cclean-list%40science.ru.n= l%7C2398f634cd1a49e3ad1508dd4f468088%7C084578d9400d4a5aa7c7e76ca47af400%7C1= %7C0%7C638753886408046726%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsI= lYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%= 7C%7C&sdata=3DY%2B%2Bm9XdSIvNAdrs%2B9sjwqmarh0BoxGseOAa8tfJvLxA%3D&reserved= =3D0>* *19 place Marguerite Perey=C2=A0CS 20031=C2=A091123 Palaiseau Cedex **https://eur01.safelinks.protection.outlook.com/?url=3Dhttp%3A%2F%2Fwww.te= lecom-paris.fr%2F&data=3D05%7C02%7Cclean-list%40science.ru.nl%7C2398f634cd1= a49e3ad1508dd4f468088%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C63875388= 6408064156%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAw= MCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3Dy= 8oorFooW0gI66S%2BGMhyA90NvV%2FyNrfqDnF6UxIMpyE%3D&reserved=3D0* <https://eu= r01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Fwww.telecom-paris= .fr%2F&data=3D05%7C02%7Cclean-list%40science.ru.nl%7C2398f634cd1a49e3ad1508= dd4f468088%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C638753886408081535%= 7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJ= XaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3Dqn%2FKFd2hHg= wpxwMbmNFS9sG8QpRNZpUkWKseZxAyVbA%3D&reserved=3D0> LinkedIn T=C3=A9l=C3=A9com Paris=20 <https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Fwww.li= nkedin.com%2Fschool%2Ftelecom-paris%2F&data=3D05%7C02%7Cclean-list%40scienc= e.ru.nl%7C2398f634cd1a49e3ad1508dd4f468088%7C084578d9400d4a5aa7c7e76ca47af4= 00%7C1%7C0%7C638753886408095602%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnR= ydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7= C0%7C%7C%7C&sdata=3D9ZZ%2FMFuKbQpAGiFUcfkmR%2BoDwvwRLfuOn0BE9yqXO20%3D&rese= rved=3D0>Instagram T=C3=A9l=C3=A9com Paris=20 <https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Fwww.in= stagram.com%2Ftelecom_paris%2F&data=3D05%7C02%7Cclean-list%40science.ru.nl%= 7C2398f634cd1a49e3ad1508dd4f468088%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7= C0%7C638753886408107559%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlY= iOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C= %7C&sdata=3D3aerKI2j1lcd44KfBWOfPguiYAlW3f%2FRxl8xzOPHzzg%3D&reserved=3D0>F= acebook T=C3=A9l=C3=A9com Paris=20 <https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Fwww.fa= cebook.com%2FTelecomParis&data=3D05%7C02%7Cclean-list%40science.ru.nl%7C239= 8f634cd1a49e3ad1508dd4f468088%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C= 638753886408119594%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIw= LjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&s= data=3DIZAzcCYQ%2B5lRbf3Unm8bGvw5TioY9zcSWJzl1ipU4Gg%3D&reserved=3D0> *Toute l'actualit=C3=A9 scientifique de l'IMT : **I'MTech*=20 <https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Fimtech= .imt.fr%2F&data=3D05%7C02%7Cclean-list%40science.ru.nl%7C2398f634cd1a49e3ad= 1508dd4f468088%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C638753886408131= 934%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlA= iOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3DOcMARdC3= Y193t5R5FN66ucS3rI9liNAb2vB2Mu6LGJU%3D&reserved=3D0> --------------YZwjOCdTtwjiHGekzIv5ia41 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable <!DOCTYPE html> <html> <head> <meta http-equiv=3D"content-type" content=3D"text/html; charset=3DUTF-8= "> </head> <body> <p><b>Study the impact of natural strategies in decision problems</b><b= r> <br> Keywords: Formal Verification, Model Checking for Multi-Agent Systems, Game Theory<br> <br> Description<br> <br> Game theory plays a crucial role in AI by providing a mathematical framework for reasoning about reactive systems, which are defined by interactions between multiple entities, or players. It has found significant applications across various fields, including economics, biology, and computer science. An important application of game theory in computer science and, more recently, in AI, concerns formal-system verification. Model checking, introduced in the late 1970s, uses game theory to verify the behavior of systems against formal specifications. While initial applications focused on closed systems, which are entirely determined by their internal states, most systems in practice are open, involving ongoing interactions. This led to the extension of model checking to Multi-Agent Systems, using logics like Alternating-time Temporal Logic and Strategy Logic to account for strategic reasoning.<br> <br> Another decision problem in verification is synthesis, the process of creating a system that meets its specifications across various environments, particularly those involving rational agents. Rational synthesis, introduced in the 1990s, addresses this by ensuring that a system's behavior aligns with specified objectives across different agent interactions. However, decision problems in MAS verification can range from polynomial to undecidable, with complexity heavily influenced by the type of strategy used (memoryless vs. memoryful). Memoryless strategies are computationally efficient but less expressive, while memoryful strategies are more powerful but more complex. To address these issues, bounded approaches like natural strategies, which consider simpler strategies in line with bounded rationality, have been introduced.<br> <br> Goals<br> <br> The aim of this project is divided into two main steps:<br> =C2=A0=C2=A0=C2=A0 - Study decision problems for natural strategies a= nd analyze their computational complexity.<br> =C2=A0=C2=A0=C2=A0 - Develop a tool capable of providing answers to d= ecision problems on natural strategies.<br> <br> Profile and skills required<br> <br> - PhD in computer science, mathematics, or related fields.<br> - Strong computer science and/or mathematical background (with particular attention on formal methods and logic).<br> - Good programming skills.<br> - Good level in written and spoken English.<br> <br> How to apply<br> If you are interested you can apply via: <a class=3D"moz-txt-link-freetext" href=3D"https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2= Finstitutminestelecom.recruitee.com%2Fl%2Fen%2Fo%2Fpost-doctorante-ou-post-= doctorant-en-verification-de-systemes-multi-agents&data=3D05%7C02%7Ccle= an-list%40science.ru.nl%7C2398f634cd1a49e3ad1508dd4f468088%7C084578d9400d4a= 5aa7c7e76ca47af400%7C1%7C0%7C638753886408171290%7CUnknown%7CTWFpbGZsb3d8eyJ= FbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIl= dUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3DaN6JIXfKU8B0zYHptqO6weInqxpfs5o1qko= O1RRzCGM%3D&reserved=3D0" originalSrc=3D"https://institutminestelecom.r= ecruitee.com/l/en/o/post-doctorante-ou-post-doctorant-en-verification-de-sy= stemes-multi-agents" shash=3D"t3yNSAu0LRbrW2kx8Wu37StkHN//UdF2OvZHFgKVguvEO= 3rvfsgg8Dg4S0QDrSOFGbQ8BovrmSTBSc5sK2pfFzVruQ+HExOmb8GZZ7g6OvFqcgBdzn9/Q2pc= GM2PQTeHyw4gUhcMagnT4JWSMtiKd/lIRhhpwTCZlhnWHEzFaq4=3D">https://institutmin= estelecom.recruitee.com/l/en/o/post-doctorante-ou-post-doctorant-en-verific= ation-de-systemes-multi-agents</a><br> <br> Other information<br> Application deadline: 31/03/2025<br> Job type: 18 months fixed-term contract in the ANR NOGGINS project<br= > Job description: <a class=3D"moz-txt-link-freetext" href=3D"https://eur01.safelinks.protection.outlook.com/?url=3Dhttps= %3A%2F%2Fpartage.imt.fr%2Findex.php%2Fs%2F69zC4zs8PAt5ZNk&data=3D05%7C0= 2%7Cclean-list%40science.ru.nl%7C2398f634cd1a49e3ad1508dd4f468088%7C084578d= 9400d4a5aa7c7e76ca47af400%7C1%7C0%7C638753886408188742%7CUnknown%7CTWFpbGZs= b3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWF= pbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3DIm4temhsz%2FnaWvOlKIVeF%2BVc= LxNVyRfJzbKxpKbKqdA%3D&reserved=3D0" originalSrc=3D"https://partage.imt= .fr/index.php/s/69zC4zs8PAt5ZNk" shash=3D"C4tdGqLw9qDLWjkvEJ+CvnnhKNi+xoR3R= FAQEvIOay78PjT18ack3Z7AuqfAVgRIOGByGsvzPn0W4ulL8xRQ+OeP765Tybw0fE8GqGE8lq5c= 13U5W92XkZsdC9Wy/zH7YgGJRxB/CyPX9gQU7xGeUu6iR6ItrkZfHsBvfNxH53g=3D">https:/= /partage.imt.fr/index.php/s/69zC4zs8PAt5ZNk</a><br> Scientific contact person: Vadim Malvone (<a class=3D"moz-txt-link-abbreviated moz-txt-link-freetext" href=3D"mailto:[email protected]">vadim.malvone@teleco= m-paris.fr</a>)<br> </p> <div class=3D"moz-signature">-- <br> <table class=3D"main rbcc" style=3D"border: 0; cellpadding: 0; cellspacing: 0;" border=3D"0" cellpadding=3D"0" cellspacing=3D"0" bgcolor=3D"#ffffff"> <tbody> <tr class=3D"sp" style=3D"-webkit-box-sizing: border-box; box-sizing: border-box; font-famil= y: 'Helvetica Neue', Helvetica, Arial, sans-serif; font-size: 14px; line-he= ight: 22px;"> <td class=3D"sp__inner" style=3D"padding: 10px 0;"><br> </td> </tr> <tr class=3D"rbcc" style=3D"-webkit-box-sizing: border-box; border: 0; box-sizing: border-box;= cellpadding: 0; cellspacing: 0; font-family: 'Helvetica Neue', Helvetica, = Arial, sans-serif; font-size: 14px; line-height: 22px;"> <td class=3D"footer" style=3D"border-top: 4px solid #bf1238; color: #000000; padding: 20px 0 0 0= ;" bgcolor=3D"#ffffff"> <table class=3D"rbcc footer__main" style=3D"border: 0; cellpadding: 0; cellspacing: 0;" border=3D"0" cellpadding=3D"0" cellspacing=3D"0" width=3D"1= 00%"> <tbody> <tr style=3D"-webkit-box-sizing: border-box; box-sizing: border-box; font-famil= y: 'Helvetica Neue', Helvetica, Arial, sans-serif; font-size: 14px; line-he= ight: 22px;"> <td class=3D"footer__main__signature" align=3D"left" style=3D"align: left; color: #000000; font-size: 14px;"><strong>Vadim MALVONE</strong><br> Associate Professor, HDR<br> </td> </tr> <tr class=3D"spd" style=3D"-webkit-box-sizing: border-box; box-sizing: border-box; font-famil= y: 'Helvetica Neue', Helvetica, Arial, sans-serif; font-size: 14px; line-he= ight: 22px;"> <td class=3D"spd__inner" height=3D"10"><br> </td> </tr> <tr style=3D"-webkit-box-sizing: border-box; box-sizing: border-box; font-famil= y: 'Helvetica Neue', Helvetica, Arial, sans-serif; font-size: 14px; line-he= ight: 22px;"> </tr> </tbody> </table> <table class=3D"rbcc footer__main__col2" align=3D"right" style=3D"align: right; border: 0; cellpadding: 0; cellspacing: 0;" border=3D"0" cellpadding=3D"0" cellspacing=3D"0" width=3D"3= 0%"> <tbody> <tr> <td class=3D"footer__main__col2__td" align=3D"right" width=3D"200" style=3D"width: 200px; align: right; color: #f5f5f5; font-size: 14px;"><a href=3D"https://eur01.safelinks.protection.outlook.= com/?url=3Dhttps%3A%2F%2Fwww.telecom-paris.fr%2F&data=3D05%7C02%7Cclean= -list%40science.ru.nl%7C2398f634cd1a49e3ad1508dd4f468088%7C084578d9400d4a5a= a7c7e76ca47af400%7C1%7C0%7C638753886408202790%7CUnknown%7CTWFpbGZsb3d8eyJFb= XB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldU= IjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3DJSQAP8wO4zthqoFqIbY9P4jLYUpFl0Piv1Rze= XYAc8w%3D&reserved=3D0" originalSrc=3D"https://www.telecom-paris.fr/" s= hash=3D"AsXSOrn/l7dXy8XlPXankLfE47tDm/fWYyuIawPuFafI8smeRsiER/UIAx+I9Bto3+/= MnsKX0o6EGKY9coArFhVw8tvH1j1OaQAPqfFWgl/epB6xwB5RNL6oCRcciPUStHA3IBSufc9f2X= f46JLAo5PqOWXA5lev7gF9ZypmTKE=3D" target=3D"_blank" style=3D"color: #f5f5f5; text-decoration: none;"><i= mg src=3D"https://img.imt.fr/signature-mail/logos/logo-tp.png" alt=3D"T=C3=A9l=C3=A9com Paris" style=3D"border: 0; height: auto; max-height: 100px; max-width: 100%; paddi= ng-left: 20px;"></a></td> </tr> <tr> <td class=3D"footer__main__col2__td" align=3D"right" style=3D"align: right; color: #9e9e9e; font-size: 14px; padding-top: 0; pad= ding-bottom: 20px;"><span style=3D"font-size: 12px; margin-bottom: 5px;"><str= ong>Une =C3=A9cole de <a href=3D"https://eur01.safelinks.= protection.outlook.com/?url=3Dhttps%3A%2F%2Fwww.imt.fr%2F&data=3D05%7C0= 2%7Cclean-list%40science.ru.nl%7C2398f634cd1a49e3ad1508dd4f468088%7C084578d= 9400d4a5aa7c7e76ca47af400%7C1%7C0%7C638753886408216687%7CUnknown%7CTWFpbGZs= b3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWF= pbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3DBKHdLXpwYIgINcskqeI0yfr0F%2B= BmHWEFch4GkuOn1eQ%3D&reserved=3D0" originalSrc=3D"https://www.imt.fr/" = shash=3D"KRp4kR2lTuN06NdwiS3jNBGvSCZi6EbLJpeqBN8NmpXQ/Ykcufn/cTLj8ZHQ5dcXAz= VtE4IVw88F0h+T61kVmLkozbmHngDwJ2q5D/nr5TA8mzv8J873VJ9fNRSpSXzPA1PRSMW+b3oh5= LPn/pJSGEBFbDFXxRsVPVh41Pdiphs=3D" target=3D"_blank">l'IMT</a></strong></span></td= > </tr> </tbody> </table> <table class=3D"rbcc footer__main__col1" align=3D"left" style=3D"align: left; border: 0; cellpadding: 0; cellspacing: 0; margin-bot= tom: 40px;" border=3D"0" cellpadding=3D"0" cellspacing=3D"0" width=3D"7= 0%"> <tbody> <tr> <td class=3D"footer__main__col1__td" align=3D"left" style=3D"align: left; color: #9e9e9e; padding-top: 2px;"><span style=3D"font-size: 12px; margin-bottom: 5px;"><str= ong>19 place Marguerite Perey=C2=A0CS 20031=C2=A091123 Palaiseau Cedex<br> </strong></span><a href=3D"https://eur01.safelinks.protection.outlook.= com/?url=3Dhttps%3A%2F%2Fwww.telecom-paris.fr%2F&data=3D05%7C02%7Cclean= -list%40science.ru.nl%7C2398f634cd1a49e3ad1508dd4f468088%7C084578d9400d4a5a= a7c7e76ca47af400%7C1%7C0%7C638753886408230378%7CUnknown%7CTWFpbGZsb3d8eyJFb= XB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldU= IjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3Dbtc0wnkEvY7QFNI8suuYzaQhq4NJDtWYezw4K= NgX%2FUU%3D&reserved=3D0" originalSrc=3D"https://www.telecom-paris.fr/"= shash=3D"heodPLhvkIE7zL10LnDsHCRIx9BKd2EwsnhIaWSCtQDrmleNUn9hrFYj8Jwu36KLQ= SWjNxZn7G4CNtAcePvJlNxesYiN1/l6qDLpEnu/HA0sk9o39S8eVi/9yD58Tm30iZ09zS4Tqy++= cr0UqAwerJCPVfw4W1hTHAZCw8iZxnk=3D" target=3D"_blank" style=3D"text-decoration:none;"><= span style=3D"font-size: 12px; color: #7d7d7d !important; text-decoration: none = !important;"><strong>www.telecom-paris.fr</strong></span></a><br> </td> </tr> <tr> <td class=3D"footer__main__col1__td" align=3D"left" style=3D"align: left; color: #9e9e9e; padding-top: 15px;"><a href=3D"https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2= Fwww.linkedin.com%2Fschool%2Ftelecom-paris%2F&data=3D05%7C02%7Cclean-li= st%40science.ru.nl%7C2398f634cd1a49e3ad1508dd4f468088%7C084578d9400d4a5aa7c= 7e76ca47af400%7C1%7C0%7C638753886408244404%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0= eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjo= yfQ%3D%3D%7C0%7C%7C%7C&sdata=3DfONjoYLyYdbMX1Ma9iXJGtMSU6YHjGsair7Qp2HG= J1w%3D&reserved=3D0" originalSrc=3D"https://www.linkedin.com/school/tel= ecom-paris/" shash=3D"iEufY7XUt1mDv6BSW9oQCIPYMvln8eYAWSeHrrvNIGZvVCprBLxJ3= iYO4hjYgfsHmoZqcdj2e7e/K11Ab5XaFFdkXw9ewleOVSN067U+Umxj1vx2D3KOEN/1utAhidHL= 0TtAxNqKQjaM0VqHSVSoflAw/7OCuqvtr0WgBncwgwY=3D" target=3D"_blank" style=3D"text-decoration:none;"><span style=3D"padding-right: 20px;"><img src=3D"https://img.imt.fr/signature-mail/ico/linkedin.png" title=3D"LinkedIn T=C3=A9l=C3=A9com Paris" alt=3D"LinkedIn T=C3=A9l=C3=A9com Paris" width= =3D"20"></span></a><a href=3D"https://eur01.safelinks.protection.outlook.= com/?url=3Dhttps%3A%2F%2Fwww.instagram.com%2Ftelecom_paris%2F&data=3D05= %7C02%7Cclean-list%40science.ru.nl%7C2398f634cd1a49e3ad1508dd4f468088%7C084= 578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C638753886408258037%7CUnknown%7CTWFp= bGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjo= iTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3D3fUzQgNWk0tLK3n8kVQZOR27= LLZBPWqOCdY8NlCK6iI%3D&reserved=3D0" originalSrc=3D"https://www.instagr= am.com/telecom_paris/" shash=3D"XFQgomjqNcxIPf8o7kPcMJHNU7mwXIIQPA++JJV8sqD= qneCOJBuoywoy9WOruALl0iExc3npfhOu+L1Kyb2DvmFNOZwWB/liQxNcMUTzOgbXDqw1JmwVJz= kWlguxn+4l0x6foqNR6U8awRNB3jP3ZkKT0onLxu9kCv7v3Elm1EQ=3D" target=3D"_blank" style=3D"text-decoration:none;"><= span style=3D"padding-right: 20px;"><img src=3D"https://img.imt.fr/signature-mail/ico/insta.png" title=3D"Instagram T=C3=A9l=C3=A9com Paris" alt=3D"Instagram T=C3=A9l=C3=A9com Paris" width= =3D"20"></span></a><a href=3D"https://eur01.safelinks.protection.outlook.= com/?url=3Dhttps%3A%2F%2Fwww.facebook.com%2FTelecomParis&data=3D05%7C02= %7Cclean-list%40science.ru.nl%7C2398f634cd1a49e3ad1508dd4f468088%7C084578d9= 400d4a5aa7c7e76ca47af400%7C1%7C0%7C638753886408271763%7CUnknown%7CTWFpbGZsb= 3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFp= bCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3Ds7JkfDSB%2BihMP%2FmerzE4jEnp8= nWGSVV3NSDunHqb%2BgA%3D&reserved=3D0" originalSrc=3D"https://www.facebo= ok.com/TelecomParis" shash=3D"PeW7EKaeLkghaWqVMTcvEp3mv9EUYyquu3ukBSPF7RLJp= oB9OOwPcwNm009/bEfke7nYk4kDgwOv8qh5yotpm2/0UR4ZhIeaQlV6U0j0/fn+29hGhBYj6bSH= 3Ij7odFIi43ia5oiMtWzEwznBL6ucnzVgoP5cCiX7wpqU/lxMjU=3D" target=3D"_blank" style=3D"text-decoration:none;"><= span style=3D"padding-right: 20px;"><img src=3D"https://img.imt.fr/signature-mail/ico/fb.png" title=3D"Facebook T=C3=A9l=C3=A9com Paris" alt=3D"Facebook T=C3=A9l=C3=A9com Paris" width= =3D"20"></span></a></td> </tr> <tr> <td class=3D"footer__main__col1__td" align=3D"left" style=3D"align: left; color: #9e9e9e; padding-top: 15px;"><span style=3D"font-size: 12px; margin-bottom: 5px;"><str= ong>Toute l'actualit=C3=A9 scientifique de l'IMT : </strong= ></span><a href=3D"https://eur01.safelinks.protection.outlook.= com/?url=3Dhttps%3A%2F%2Fimtech.imt.fr%2F&data=3D05%7C02%7Cclean-list%4= 0science.ru.nl%7C2398f634cd1a49e3ad1508dd4f468088%7C084578d9400d4a5aa7c7e76= ca47af400%7C1%7C0%7C638753886408285269%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1h= cGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%= 3D%3D%7C0%7C%7C%7C&sdata=3D31ku16ZThAC0WqS01%2FRKFmjXd30%2F6tHF%2FulGAl= 37SZY%3D&reserved=3D0" originalSrc=3D"https://imtech.imt.fr/" shash=3D"= GJAWXb1beAobYoRXSZIboZSsB0iEmScjsv686OyLDmLjfj8hDjyP+ziU55EeotsnRsMDxxD8ZNQ= 6rnWhLtkAuQBjALWk4k/Me4SarEBY+uuFoBJ95fluLDeZP7ChkzghldqReOP46/ffCbbrvjXR5W= 0HgtSpdPoiTxHPfopIT7k=3D" target=3D"_blank" style=3D"text-decoration:none;"><span style=3D"font-size: 12px; color: #7d7d7d !important; text-decoration: none = !important;"><strong>I'MTech</strong></span></a></td> </tr> </tbody> </table> </td> </tr> </tbody> </table> </div> </body> </html> --------------YZwjOCdTtwjiHGekzIv5ia41-- --===============4964531378731989753== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KY2xlYW4tbGlz dCBtYWlsaW5nIGxpc3QKY2xlYW4tbGlzdEBzY2llbmNlLnJ1Lm5sCmh0dHBzOi8vbWFpbG1hbi5z Y2llbmNlLnJ1Lm5sL21haWxtYW4vbGlzdGluZm8vY2xlYW4tbGlzdAo= --===============4964531378731989753==--