==== Lettre de l'IRIF du 2 avril 2021 ==== * Even if teleworking is mandatory when possible, coming to the lab is allowed when working from home cannot be done efficiently. In that case, to come to IRIF you must visit the page [[https://www.irif.fr/intranet/prpa]]. * When at IRIF you must wear a face mask all the time: ONLY Category 1 reusable masks or surgical masks WITHOUT exhalation valve * COVID Situation at IRIF: 0 active case -- 0 close contact. //All diagnosed persons and close contacts must signal their situation to// [[direction@irif.fr]]. * You can be tested in the building: [[https://u-paris.fr/test-covid/]] === Edito === Cette semaine, nous souhaitons la bienvenue à **Mirna DŽAMONJA** et **Pierre-Évariste DAGAND** qui ont rejoint l'IRIF depuis le 1er avril. Retrouvez déjà le portrait de Mirna. Plusieurs beaux résultats de l'IRIF cette semaine à FoSSaCS, et félicitations à Mahsa qui est la prochaine PC-cochair de FORMATS. Un rappel concernant **les stages** : n'oubliez pas d'envoyer au secrétariat les conventions de stage signée au moins 10 jours avant le début du stage. Une information importante : le [[https://u-paris.fr/diip/|Data Intelligence Institute of Paris]] est maintenant lancé avec 1 séminaire mensuel et 2 bourses de thèse cette année. Enfin, un **appel à projets et manifestations par le DIM RFSI** à solliciter si besoin. Annonce de dernière minute, [[https://anr.fr/fr/actualites-de-lanr/details/news/aapg-2021-lanr-reporte-la-date-de-cloture-de-lappel-au-26-avril-2021-a-17h/|AAPG 2021 : l’ANR reporte la date de clôture de l’appel au 26 avril 2021 à 17h]]. Bonne lecture ! === Annonces de la direction === * **2 nouveaux arrivants à l'IRIF** : Nous avons le plaisir d'accueillir depuis le 1er avril deux nouveaux membres : * **[[https://www.logiqueconsult.eu|Mirna DŽAMONJA]]**, lauréate d’une bourse individuelle Marie CURIE qui intègre l'IRIF pour une durée de deux ans. [[https://www.irif.fr/portraits/mirna_dzamonja_1er_avril_2021|Lire son portrait ici]]. * **[[https://www.irif.fr/users/dagand/index|Pierre-Évariste DAGAND]]**, chargé de recherche CNRS. Portrait à venir sous peu. * **Stages** : Nous vous rappelons que les conventions de stages doivent obligatoirement être signées par l'ensemble des parties avant le début du stage. Pour cela, elle doit être transmise à [[secretariat@irif.fr|secretariat@irif.fr]] **au moins 10 jours avant le début du stage**. N'hésitez pas à vous [[https://www.irif.fr/intranet/ressources_humaines?s%5B%5D=stagiaire|référer à cette page de l'intranet pour plus d'informations]]. * **[Rappel] Recrutements** : La rubrique “recrutement” de l'intranet a été mise à jour ([[intranet:ressources_humaines]]) suite à la mise en place d'une nouvelle procédure à l'Université. **Il faut retenir que les délais de recrutement sont dorénavant prolongés, et qu'un recrutement prend au minimum 3 mois**, dont 1 consacré à la publication de l'offre d'emploi. **Si vous avez des questions à ce sujet ou des projets de recrutement dans les 6 prochains mois, merci de contacter rapidement** [[secretariat@irif.fr|secretariat@irif.fr]] * **[Rappel] Prochain conseil de laboratoire du 6 avril 13h** * __Intégration des candidats__ MC et PR à l’IRIF * __Participation au conseil__ : Tout membre de l'IRIF peut assister au conseil de laboratoire en tant que spectateur (sauf pour toute discussion à huis clos). Ecrire à [[direction@irif.fr|direction@irif.fr]] * **Inventaire matériel empruntable pour le télétravail** (disponible au secrétariat - bureau 4001- ou dans le bureau de Houy) * **Tablettes graphiques : 10** * **Ipad : 9** -- **Stylet iPad : 12** * Webcam : 9 - Casques-micro : 4 * **[[https://aftershokzfr.com/products/opencomm?variant=32907484823631|Casques bluetooth à conduction osseuse]]** : 3 * Ordinateurs de bureau : 3 -- Ordinateurs portables : 3 * Ecran : 1 * Adaptateurs et accessoires divers (Stylet Ipad *12,Smart cover *8) === Actualités === * **Teams results** : 2 papers from IRIF were presented on March 31st at [[https://etaps.org/2021/fossacs|FoSSaCS 2021]]. * [[https://www.irif.fr/~kesner/|Delia Kesner]] (IRIF), [[https://www.irif.fr/~lpeyrot/|Loïc Peyrot]] (IRIF) and [[https://ww2.inf.ufg.br/~daniel/|Daniel Ventura]] (Univ. Federal de Goiás). [[https://www.irif.fr/~kesner/papers/Node-Replication.pdf|The Spirit of Node Replication]]. * [[https://www.irif.fr/~faggian/|Claudia Faggian]] (IRIF) and [[https://www.irif.fr/~giuliog/|Giulio Guerrieri]] (Univ. of Bath) [[https://arxiv.org/pdf/2101.08364.pdf|Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic]]. * **FORMATS 2021 (Virtual)** : [[https://www.irif.fr/~mahsa/|Mahsa Shirmohammadi]] (IRIF) is PC co-chair of the 19th International Conference on Formal Modeling and Analysis of Timed Systems ([[https://qonfest2021.lacl.fr/formats21.php|FORMATS]]), **August 23rd-27th**. === Zoom sur Avi Wigderson, récipiendaire du Abel Prize 2021 === Le 17 mars dernier, l’**Académie norvégienne des sciences et des lettres** décernait le **prix Abel**, l’une des plus prestigieuses récompenses en mathématiques et considéré comme l’équivalent d’un prix Nobel pour cette discipline. Deuxième zoom sur l’un des deux récipiendaires 2021 : [[https://www.ias.edu/scholars/wigderson|Avi Wigderson de l’Institute for Advanced Study]] (Princeton, États-Unis) et ses nombreuses contributions au **fondement de l’informatique fondamentale**. Né en Israël en 1956, il est encore adolescent lorsque le cadre théorique de base commence à se former. Ce cadre, appelé **théorie de la complexité**, consiste à classer les problèmes informatiques en fonction du degré de difficulté de leur résolution par des algorithmes. Dès son entrée au Technion Israël Institute of Technology en 1977, Wigderson se consacre à l’analyse de cette théorie, aidant à mieux comprendre quels problèmes informatiques seraient liés à quel degré de difficulté de résolution. Il se questionne sur la possibilité d’assigner des machines à des tâches de manière à ce que toutes les tâches soient réalisées et que chaque machine en exécute exactement une. A la fin des années 1980, Wigderson fait des progrès étonnants dans ce domaine en étudiant le rôle de l'aléatoire dans l'aide au calcul. Parmi une de ses contributions les plus importantes de la théorie de la complexité concerne aussi la **cryptographie**. Très tôt dans sa carrière, il a apporté des contributions fondamentales dans ce domaine, notamment le zero-knowledge proof, aujourd'hui utilisé dans la technologie des crypto-monnaies. Grâce à l'étendue de ses intérêts, mais aussi grâce à sa personnalité accessible et son enthousiasme pour les collaborations, Wigderson a contribué grandement au développement de ce domaine. Une partie des travaux de l’IRIF porte sur des ramifications de la **théorie de la complexité**. === Appels d'offres et informations des partenaires === * **DIM RFSI / Appel à projets et manifestations 2021** : Les [[https://dim-rfsi.fr/projets|appels à projets]], au soutien de manifestations et l'appel spécifique “ matériel ” pour l'année 2021 sont maintenant ouverts et sont accessibles sur le site du RFSI. Deadline **28 mai 2021**. * **CMI / Call for internship proposals - 2021 summer for students from Chennai Mathematical Institute** : The internships can be some guided reading projects that may end in improving/simplifying a proof/technique, and/or extending some results to "somewhat easy" generalisations/other settings. {{ :intranet:lettre-irif:2021-04-04:call-for-internship-proposal.rtf |To submit a proposal, please follow this link}}. * **Université de Paris / Data Intelligence Institute of Paris (diiP)** : The [[https://u-paris.fr/diip/|Data Intelligence Institute of Paris]] (diiP) is an interdisciplinary initiative of Université de Paris * **Séminaire mensuel** : le prochain aura lieu le 7 avril 2021. [[https://u-paris.fr/diip/diip-seminars/|"A high level overview + Hands-On Workshop"]] présenté par **Dr Foula Vagena** (Université de Paris, diiP) * **2 bourses** concernent notre ED (ED 386) que nous partageons avec les Mathématiques. {{ :intranet:lettre-irif:2021-03-26:directeurs-unites.restreint_data_intelligence_institute_of_paris_diip_-_phd_scholarships_on_data_intensive_artificial_intelligence.eml |Consultez tous les détails ici}}. * **Newsletter des partenaires** : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. * [[https://u-paris.fr/?mailpoet_router&endpoint=view_in_browser&action=view&data=WzM0OCwwLDc5LCJ3eTY0b244dXE2bzg0b29rbzhjZzhnMDhvc2Nvd3dnMCIsMTkwLDBd|Université Paris Infos]] du 02/04/2021 * [[http://www.cnrs.fr/CNRS-Hebdo/iledefrance-villejuif/lettre.php?numero=582|CNRS Hebdo]] du 01/04/2021 avec à la une Ma thèse en 180 secondes * [[http://www.cnrs.fr/fr/la-lettre-du-cnrs-11|Lettre du CNRS]] de mars 2021 * [[https://lejournal.cnrs.fr/newsletters/la-lettre-ndeg61|CNRS Le Journal]] lettre n°61 du 30/03/2021 * {{ :intranet:lettre-irif:2021-04-04:lettre-insmi_lettre_de_l_insmi_-_e_dition_du_24_03_2021.eml |Lettre de l'Insmi}} du 24/03/2021