Lettre de l'IRIF du 9 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 – 1 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 Dans la lettre cette semaine, les résultats du concours Professeur des Universités UP/IRIF, l'annonce du prochain conseil de laboratoire, ainsi qu'un événement virtuel pour souhaiter la bienvenue aux nouveaux stagiaires et les élections pour 2 collèges électoraux au Conseil de laboratoire : le collège ITA et le collège doctorants et post-doctorants. Quelques infos à ne pas manquer : le financement pour la Région Île-de-France de jusqu'à 9 allocations doctorales en mathématiques et en informatique théorique par le DIM Math Innov, l'appel à candidature pour 3 prix Inria-Académie des sciences et la participation spéciale de Stephen Wolfram au GReTA Special Event co-organisé par l'IRIF. Désormais disponibles, les récents comptes-rendus, bilans et recommandations produits par le Conseil scientifique de l'INS2I. Et enfin, prenez note de la mise en place d'un groupe d'échange "Travail et confinement", démarche conjointe avec l'UFR d'informatique. Bonne lecture ! Annonces de la direction Zoom welcoming for new interns: IRIF is organizing a remote event dedicated to new interns. The event will take place on Zoom, on Wednesday April 21th 10:00 am. Elections au conseil de laboratoire : 2 sièges sont vacants (1 siège au collège ITA et 1 siège au collège doctorants et post-doctorants). Si vous faites partie de l'un de ces collèges et que vous n'avez pas reçu les informations relatives à ces élections, écrivez à cadet@irif.fr. Groupe d'échange “Travail et confinement” : Conjointement, l'UFR d'informatique et l'IRIF proposent un groupe d'échange axé sur le travail et le confinement organisé par deux psychologues du Service de Santé au Travail de l'Université de Paris. Pour participer à ce groupe d'échange, envoyez un mail à ziad.youakim@u-paris.fr et marina.pietri@u-paris.fr. Pour en savoir plus sur les modalités, consultez ce document. Classement du comité de sélection Professeur des Universités UP/IRIF : 1) Matej Stehlik, 2) Giulio Manzonetto, 3) Arnau Padrol, 4) Romain Pechoux, 5) Elaine Pimentel, 6) Laure Gonnord, 7) Antoine Genitrini. Prochain conseil de laboratoire du 20 avril 13h Règlement : Point sur la liberté d'expression selon l'article 28 du règlement intérieur de l'Université de Paris (aussi disponible sur l'intranet) et proposition de mise à jour du règlement intérieur de l'IRIF en conséquence Liste membres : Règles d'utilisation et modération Forum de discussion : Etudes de besoins et de solutions 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 [Rappel] 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 au moins 10 jours avant le début du stage. N'hésitez pas à vous référer à cette page de l'intranet pour plus d'informations. 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 : 3 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 L'article Reachability Analysis of Pushdown Automata: Application to Model-Checking par Ahmed Bouajjani, Javier Esparza, et Oded Maler publié à la conférence CONCUR 1997, a gagné le CONCUR Test-of-Time Award. Évènement co-organisé par l'IRIF, GReTA Special Event aura le plaisir d'accueillir Stephen Wolfram le 28 avril prochain (18:00 CET). Inscription et informations ici. Appels d'offres et informations des partenaires INS2I / Documents issus des travaux du CSI : L'ensemble des comptes-rendus et documents produits par le Conseil scientifique de l'INS2I sont consultables ici. Compte-rendu de la réunion du 1er décembre 2020 Compte-rendu de la réunion du 24 février 2021 Bilan et recommandations suite au séminaire thématique “Systèmes et architectures intégrés matériel logiciel pour l’Intelligence Artificielle” Bilan et recommandations suite au séminaire thématique “Éthique : Quand les sciences du numérique s'invitent de près dans la vie des humains” Inria / Appel à candidature : Inria et l’Académie des sciences décerneront en 2021 les trois prix suivants d’un montant total de 65 000 €. Date limite de candidature : le 27 mai 2021. Le grand prix Inria – Académie des sciences (25 000 €) Le prix de l’innovation Inria – Académie des sciences – Dassault Systèmes (20 000 €) Le prix Inria – Académie des sciences jeunes chercheurs et jeunes chercheuses (20 000 €) DIM Math Innov / Financement 9 allocations doctorales 2021 : Subventionné par la Région Île-de-France, le Domaine d'Intérêt Majeur (DIM) Math Innov propose de financer jusqu'à 9 allocations doctorales en mathématiques et en informatique théorique de 3 ans à partir d’octobre 2021. Vous trouverez les détails de l’offre ici. Le formulaire de candidature ici. Pour que la candidature soit recevable, elle devra être complétée entre le 01 mars 2021 et le 20 mai 2021 (23h59 heure de Paris). [Rappel] DIM RFSI / Appel à projets et manifestations 2021 : Les 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. [Rappel] 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. To submit a proposal, please follow this link. Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. CNRS Hebdo du 08/04/2021 avec à la une le lancement par le CNRS d'un “think tank” avec des partenaires industriels