==== Lettre de l'IRIF du 4 Avril, 2025 ==== **//Experimental: For now, the letter is in French. You can find the English version [[https://www.irif.fr/en/intranet/lettre-irif/2025-04-04/index|here]]. If you want to send any feedback for this format please do not hesitate to contact lettre@irif.fr//** === Édito === Dans la lettre de l'IRIF cette semaine, l'initiative Stand up for Science et des actions sur le prêt d'ordinateurs et téléphones portables. Nous rappelons la présentation mardi des outils de détections de projets et veille des projets (venez nombreux !). Ne manquez pas de diffuser l'annonce des postes d'ATER. Notez aussi l'ouverture des inscriptions à l'EPIT. Bonne lecture et excellent week-end ! \\ === Annonces de la direction === * **[Science aux Etats Unis]** La manière dont la science est entravée aux USA interpelle et inquiète. C'est la raison pour laquelle le CNRS soutient l'initiative « [[https://standupforscience.fr|Stand Up for Science]] ». Le CNRS va proposer prochainement un programme visant à accueillir certains des collègues qui se sentent dans l'impossibilité d'exercer leur métier de chercheur et chercheuse. Il demande de faire remonter les noms de collègues qui vous auraient contactés et seraient susceptibles de venir en France. Il ne s'agit, à ce stade, que d'un premier recensement, aucun engagement ne pouvant encore être pris à ce jour. Merci de contacter [[direction@irif.fr]]: le CNRS nous assure que ces informations resteront totalement confidentielles. * **Collecte de téléphones et ordinateurs** : Afin de pouvoir mettre à disposition des personnels partant pour des destinations "à risque" des téléphones et des ordinateurs vierges, nous sollicitons les membres du laboratoire qui auraient des **appareils utilisables** mais dont ils n'ont plus l'usage, à les amener afin qu'ils soient nettoyés et rendus disponibles au prêt. Contactez Alexandre Roulois (bureau 3054). * **Prêts de téléphones et ordinateurs** : Afin d'évaluer le besoin, **merci de signaler à la direction** si vous souhaiteriez bénéficier du prêt d'un téléphone portable et/ou d'un ordinateur pour une mission hors UE avant la fin de l'année (signalez-le nous même si vous n'en êtes pas certains). * **Dépendance aux outils numériques** : Nous utilisons dans notre travail au quotidien de nombreux outils et sites gérés par des entreprises privées hors du sol européen (zoom, google, arXiv, ...). Nous constituons actuellement un **groupe de réflexion sur le sujet**, dont l'objectif est d'évaluer nos dépendances, et de faire des propositions. Si vous souhaitez **participer**, contactez la direction. * **Postes d'ATER** : Sept postes d'ATER sont ouverts pour 2024-2025, et les candidatures doivent être faites **avant le 18 avril**. Voir la [[https://www.irif.fr/en/postes/ater|page ATER]]. Diffusez cette annonce aussi largement que possible. * **Lettre** : Nous encourageons toute personne souhaitant **aider à la réalisation de la lettre** à se manifester auprès de la direction. Juliette est maintenant partie, et le recrutement d'un nouvel assistant de communication est en cours et devrait bientôt aboutir. L'objectif est d'assurer la continuité durant la période de transition. * **[RAPPEL] Prochaine Réunion du Conseil de laboratoire** : Elle aura lieu le **mardi 8 avril de 13h à 15h en salle 3052** avec la **participation des responsables d'équipes thématiques**. L'ordre du jour est le suivant : - //présentation par les chargés de détection projets de la faculté (voir point suivant); // - //discussion sur les résultats du concours CNRS ; // - //calendrier des prochains conseils//\\ * Comme d'habitude, nous rappelons que : * Les membres de l'unité peuvent demander l'ajout de points à l'ordre du jour jusqu'à huit jours avant la réunion, et l'ordre du jour final sera annoncé 7 jours avant la réunion sur [[intranet:conseil:index|cette page]] ; * Le conseil de laboratoire est ouvert à tous les membres de l'IRIF, en présentiel et à distance sur [[https://galene.org:8443/group/irif/conseil-labo/|Galene:conseil-labo]] (saisissez comme identifiant et laissez le mot de passe vide ; vous pourrez suivre la discussion mais pas y participer : pas de micro, pas de caméra, pas de partage d'écran) ; * Les dates provisoires de tous les conseils de laboratoire (et assemblées générales) jusqu'à décembre 2025 sont disponibles [[intranet:conseil:index#seances_a_venir_sujets_donnes_a_seul_titre_indicatif|ici]] et en s'abonnant à [[https://cloud.math.univ-paris-diderot.fr/remote.php/dav/public-calendars/NESWLBRBae223psA?export|ce calendrier]]. * Les conseils où des cas personnels sont discutés (par exemple, classement de post-doc ou de demande de bourses doctorales) ne seront pas retransmis sur Galene.\\ * **[RAPPEL] Détection de projets et veille des appels** Lors du conseil de laboratoire le **8 avril à 13h** (voir ci-dessus), **Fabrice Portier-Fozzani**, responsable de la **détection de projets pour le laboratoire**, et **Léona Canno**, ingénieure de projets de recherche à la faculté, viendront présenter les opportunités de financement adaptées à nos différents projets, ainsi que les meilleures pratiques pour réaliser des collaborations fructueuses. Ils vous proposeront également leur service de **veille personnalisée** pour vous aider à identifier les sources de financement adéquates, ainsi qu'un accompagnement pour établir des partenariats, en particulier sur les aspects négociation et gestion administrative, jusqu'à la signature des contrats. Concrètement, ils peuvent :\\ • vous informer sur les appels à projets (ANR, Europe, innovation...) et les programmes correspondant à votre profil de recherche et expertise,\\ • vous accompagner dans la préparation des dossiers (financement, ...),\\ • vous aider dans la relecture et le dépôt des AAP européens en particulier,\\ • détecter des opportunités de valorisation de vos travaux, ou encore\\ • vous mettre en relation avec de nouveaux partenaires économiques.\\ **Nous vous encourageons à participer nombreux !** * **[RAPPEL] Développement logiciel** : [[https://www.mmanighetti.io/|Matteo Manighetti]], nouvel ingénieur de recherche en développement logiciel à l'IRIF, est arrivé le 1er avril. Vous pouvez solliciter son travail **2 à 3 jours par semaine**, pour une durée allant de **1 à 6 mois**. Si vous avez des besoins en développement pour vos recherches, merci de soumettre votre demande en déposant votre projet sur la [[https://projets.irif.fr|page de soumission de projet]]. Plus d'informations [[https://www.irif.fr/intranet/development|sur cette page]]. \\ === Actualités === * **EPIT 2025**: l'École de Printemps en Informatique Fondamentale 2025 se déroulera à **Aussois, du 19 au 23 Mai**. Le thème de l'école est "**(Co)inductive & circular reasoning applied to programming, formal proofs and software verification**". Vous pouvez d'ores et déjà vous **inscrire à l'école** et trouver de plus amples informations sur le **contenu du programme** sur la [[https://epit2025.sciencesconf.org/|page du site de l'événement]]. \\ \\ === Appels à projet et informations des partenaires === * **MEDIATION:** Cette année encore, Université Paris Cité s'associe au Café des Sciences et à L'Exploratoire pour organiser la prochaine édition du festival de vulgarisation scientifique, « Double•Science » (https://www.festivaldoublescience.fr/ ). Il se tiendra au Ground Control les 14 et 15 juin 2025, à Paris. \\ Membres des facultés Santé, Sciences, et Humanités et Société, nous sommes à la recherche de personnes souhaitant partager, et donc rendre accessibles, leurs connaissances et sujets de recherches avec le grand public, le tout dans le cadre convivial du Ground Control. \\ L'Université bénéficiera d'un double stand d'ateliers et de jeux. Tous les formats d'interaction (concerts, tables-rondes, expériences, jeux de rôles, déambulations, jeux apéros, tatouages, séance de dédicaces de livre grand public, etc.) et toutes les thématiques sont les bienvenues ! Si vous avez envie de nous rejoindre dans cette aventure, merci de remplir ce [[https://sondage.app.u-paris.fr/628933?lang=fr|Lime Survey]] avant le 25 avril 2025, avec les informations relatives à votre proposition d'intervention.\\ En cas de question, n'hésitez pas à contacter l'équipe porteuse du projet en particulier [[zelie.tournoud@u-paris.fr|Zélie Tournoud]] pour la faculté Sciences. * L'appel à **projets conjoints avec l'Université de Toronto** vient d'être lancé le 1er avril prochain. Date limite de candidature **2 juin** (17h). Il s'agit d'un appel conjoint mais une seule candidature doit être soumise en ligne sur le portail [[https://univparis.moveonfr.com/locallogin/67bc30d5f2ad9270df0b2102/eng|Moveon en ligne]]. Plus d'informations sur [[https://u-paris.fr/appel-a-projets-2025-upcite-university-of-toronto/|cette page]] (English version [[https://u-paris.fr/en/call-for-projects-2025-upcite-university-of-toronto/|here]]). * **[RAPPEL] INS2I** CNRS Sciences Informatiques lance un appel à manifestation d'intérêt pour la création de : - International Research Network (IRN) associant plusieurs partenaires français et étrangers et se focalisant sur un thème déterminé. Le financement est de l'ordre de 10 000 à 15 000 € par an pendant 5 ans. - International Research Projects (IRP) sont des projets de recherche collaborative établis entre un ou plusieurs laboratoires du CNRS et des laboratoires d'un ou deux pays étrangers. Ils permettent de consolider des collaborations déjà établies à travers des échanges scientifiques de courte ou moyenne durée. Le financement est de l'ordre de 10 000 à 15 000 € par an pendant 5 ans. * Vous trouverez ici les documents correspondant à cet AMI et les informations et mises à jour dans {{ :intranet:lettre-irif:2025-03-21:ami_irn_irp_fr.pdf |ce fichier}} et à la page [[https://www.ins2i.cnrs.fr/fr/international]] * **[RAPPEL] FSMP PGSM**: Le second appel à candidatures de **Paris Graduate School for Mathematical Sciences (PGSM)**, le **programme de bourses de master** de la FSMP, pour l'**année académique 2025-2026**, est **__ouvert jusqu'au 05 mai 2025__**. Ce second appel s'adresse aux étudiant•e•s qui auront validé une 3ème année de licence ou une 1ère année de master de mathématiques ou d'informatique fondamentale au sein des établissements fondateurs et partenaires de la FSMP à la rentrée 2025. Retrouvez le descriptif du [[https://sciencesmaths-paris.fr/pgsm-master|programme ici]]. Les candidatures se font exclusivement via le [[https://applications.sciencesmaths-paris.fr/fr/pgsm-806.htm |formulaire en ligne]]. * **Newsletters de nos partenaires**: Les newsletters sont envoyées sporadiquement aux membres de l'IRIF. Elles sont listées ci-dessous : * [[https://www.cnrs.fr/CNRS-Hebdo/iledefrance-villejuif/Lettre/671/Lettre.aspx?pk_campaign=Email-Html-Lettre-671&pk_kwd=LienDebutAffichagePasCorrect| CNRS Hebdo]] * [[https://u-paris.fr/?mailpoet_router&endpoint=view_in_browser&action=view&data=WzE1NzIsMCw2MzUsImFqZDg5NHVpdDdrZ2MwczBjb3cwNGtvd3M0Z3Nzb3NnIiwxMTA1LDBd|Paris Cité Info]] \\ === Formations === * **Formation Vulgarisation Scientifique**: Une **formation de vulgarisation scientifique** vers un public non expert débute le **14 mai 2025** par une séance en présentiel. Les candidatures sont ouvertes via [[https://sondage.app.u-paris.fr/153376?lang=fr|ce lien]] jusqu'au **28 avril 2025 à 23h**. Voici la {{ :intranet:lettre-irif:2025-02-28:fiche_formation_vpne_24-25_intranet_-maj_mars_25.pdf |fiche descriptive}} de la formation. * **Reproductibilité computationnelle des résultats de publications scientifiques, pratiques et outils** est une formation "CNRS mathématiques", du 1er au 3 juillet à Fréjus. Inscription jusqu'au 2 juin. Validation des inscriptions le 10 juin. Voir [[https://replications.sciencesconf.org]] \\ === Agenda de la semaine du 07 avril au 11 avril === [[:seminaires:adg:|Algorithmique distribuée et graphes]] · Mardi 08 avril, 15:30, 3052 · \\ **Laurent Viennot** (INRIA et IRIF), //Certificates in P and Subquadratic-Time Computation of Radius, Diameter, and all Eccentricities in Graphs// [[:seminaires:pps:|Preuves, programmes et systèmes]] · Jeudi 10 avril, 10:30, Room 3052 & online ([[https://u-paris.zoom.us/j/84381797685?pwd=WG1ZSnhnYi81MnhsTFB6S2krM0E2Zz09|Zoom link]]) · \\ **Justin Hsu** (Cornell University), //Type Systems for Numerical Error Analysis// [[:seminaires:doctorants:|Séminaire des membres non-permanents]] · Jeudi 10 avril, 16:00, Room 3052 · \\ **Vincent Moreau**, //TBA// [[:seminaires:verif:|Vérification]] · Vendredi 11 avril, 11:00, 3052 and [[https://u-paris.zoom.us/j/87460234504?pwd=mVUPogiquRZpL0HxEVffccgKRTZ1ID.1|Zoom link]] · \\ **Marc Shapiro** (LIP6, Sorbonne Université), //Modelling and Verifying a Database Backend// [[:seminaires:automates:|Automates]] · Vendredi 11 avril, 14:00, Room 3052 · \\ **Mahsa Shirmohammadi**, //Differential Tree Automata//