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.

• Conseil de laboratoire : Compte-rendu sur l'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 Consignes COVID-19 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 Achats, remboursements

• 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é : Missions et invitations

• Accepted paper / POPL 2022 : 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 accessibles gratuitement ici.

• Université de Paris / Transformation de l'administration : La troisième phase de transformation de l’administration suit son cours. 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.
  • Sciences participatives - Date limite 2 février
  • Nouvelles méthodes pour le numérique spatial - Date limite 21 février
  • Sciences pour l'IA, IA pour les sciences - Date limite 14 mars
  • GDR OMER - Date limite 28 janvier. Questionnaire pour les inscriptions dans les groupes de travail.
  • 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.
  • CNRS interne du 16/12/2021
  • La newsletter de l'ANR de décembre 2021