==== Lettre de l'IRIF du 17 décembre 2021 ==== === Edito === Cette lettre vient conclure l'année 2021. Grâce à l'attention de chacune et chacun, le laboratoire a pu retrouver une activité en présentiel lorsqu'elle était nécessaire, tout en redécouvrant hélas de nouvelles restrictions sur ce qui est le moins essentiel, mais aussi en demandant le pass sanitaire sur de plus en plus d'évènements, séminaires compris. Nous continuerons de fonctionner sans doute ainsi dans les prochaines semaines. Nous ne saurions donc que vous encourager à vous faire vacciner au plus vite si ce n'est pas déjà fait. L'année 2022 commencera par une Assemblée Générale portant entre autre sur la prochaine évaluation HCERES qui portera sur un rapport, ainsi qu'une réflexion sur la prochaine direction que nous débuterons en 2022. Cette année correspondra aussi aux 50 ans de l'Informatique théorique en Europe et de la conférence ICALP que nous organisons. Rendez-vous en 2022, et prenez-soin de vous. === Annonces de la direction === * **Conseil de laboratoire** : Compte-rendu sur l'[[:intranet:conseil:|intranet]] et recommandations COVID suivies * Recommandation de test PCR en priorité * Séminaires en mode hybride systématiquement (salle 3052) * Pass sanitaire demander pour tous séminaires et groupes de travail * Réunions administratives en visio * Page [[intranet:covid]] mise à jour en fonction * **Assemblée générale - 18 janvier 14h** : Ordre du jour prévisionnel * Situation administrative * Budget : fonds disponibles et opérations * Le mentorat à l'IRIF * Prochains postes : Maître de conférence, chercheurs CNRS * Prochaine évaluation HCERES et direction de l'IRIF * **Remboursements achats et restaurants - IMPORTANT** * Rappel : Impossible de demander un remboursement sans en avoir averti le secrétariat. Toutes les prochaines demandes de remboursements sans accord sera donc systématiquement refusée, y compris les restaurants (hors mission) * Nouveauté : L'Université de Paris supprime les remboursements. Le CNRS rembourse uniquement à hauteur de 80€ TTC * Plus d'information sur [[:intranet:achats]] * **Administration** * Semaine 22-26 décembre : Permanence à [[secretariat@irif.fr]] * Semaine 27-31 décembre : Fermeture * Samedi 3 janvier : arrivée du nouveau responsable administratif de l'IRIF, Maximilien Lesellier * **Assurance mission/invitation en France et à l'étranger** * Des contrats accompagnent chaque ordre de mission * Pour en savoir plus ou obtenir un certificat lorsque demandé : [[:intranet:missions_et_invitations]] \\ === Actualités === * **Accepted paper / POPL 2022** : [[https://www.irif.fr/~mellies|Paul-André Melliès]] (IRIF), Arthur Vale, Zhong Shao, Jérémie Koenig (Yale) and Léo Stefanesco (MPI) will present a layered concurrent object-based game semantics for the purpose of compositional software specification and certification : [[https://hal.inria.fr/hal-03456034]]. * **FOCS 2021** : Tous les papiers du 62ème Symposium annuel FOCS sont [[https://focs2021.cs.colorado.edu/program/|accessibles gratuitement ici]]. \\ === Appels d'offres et informations des partenaires === * **Université de Paris / Transformation de l'administration** : La troisième phase de transformation de l’administration suit son cours. [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI3OSIsInd5NjRvbjh1cTZvODRvb2tvOGNnOGcwOG9zY293d2cwIiwiMzE0IiwiYjQxM2EyNTEyYzkwIixmYWxzZV0|Vous trouverez ici des informations sur le point d'avancement]] de la transformation de l'administration. * ** CNRS / Synthèse appels interdisciplinaires en cours** : Ci-dessous, les informations relatives à quelques **appels MITI du CNRS en lien avec l'interdisciplinarité**. Les appels MITI permettent de financer des projets collaboratifs impliquant plusieurs UMR du CNRS (dépendant de différents instituts), pour des sommes de maximum 30k€/an pendant deux ans, avec une possibilité éventuelle de financement de stage. * **[[https://miti.cnrs.fr/appel-projet/sciences-participatives-en-situation-dinterdisciplinarite/|Sciences participatives]]** - Date limite 2 février * **[[https://miti.cnrs.fr/appel-projet/nouvelles-methodes-pour-le-traitement-et-lanalyse-des-donnees-spatiales-appel-a-projets-2022/|Nouvelles méthodes pour le numérique spatial]]** - Date limite 21 février * **[[https://miti.cnrs.fr/appel-projet/sciences-pour-lia-lia-pour-les-sciences/|Sciences pour l'IA, IA pour les sciences]]** - Date limite 14 mars * **[[https://miti.cnrs.fr/initiatives-transver/ocean/|GDR OMER]]** - Date limite 28 janvier. [[https://survey.cnrs.fr/index.php/859372?lang=fr|Questionnaire pour les inscriptions dans les groupes de travail]]. * **[[https://miti.cnrs.fr/initiatives-transver/autonomie/|PPR Autonomie, vieillissement et situation de handicap]]** - Date limite entre fin janvier et fin février. * **Newsletter des partenaires** : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. * [[https://intranet.cnrs.fr/delegations/dr1/Pages/Lettreinterne.aspx?IdLettre=6|CNRS interne]] du 16/12/2021 * [[http://xwx9u.mjt.lu/nl2/xwx9u/58v74.html?m=AVkAABc_vjoAAci3TlwAAKsUJ0kAAYCsKfkAHkJ8AAxjBwBhuwmXETHyg3fDS72YbVOiGY0JDQAMZ5w&b=b24d5bdc&e=ebb90175&x=AKRzCSvBZGUwtdkysKcPMA|La newsletter de l'ANR]] de décembre 2021 \\ === Agenda de la semaine du 20 décembre au 24 décembre === [[:seminaires:numeration:|One world numeration seminar]] · Mardi 21 décembre, 14:30, Online · \\ **Fan Lü** (Sichuan Normal University), //Multiplicative Diophantine approximation in the parameter space of beta-dynamical system//