Cette semaine dans la lettre, le prochain conseil de laboratoire et la journée d'accueil des nouveaux doctorants et postdocs. Un rappel sur la plateforme chat Zulip dont l'usage est ouvert à tous les membres. Nous profitons de ce début d'année scolaire pour faire un grand ménage : des containers pour le papier et les déchets sont disponibles au labo.

Côté actualités scientifiques, la matinée de rentrée du pôle PPS, une conférence sur la protection de l'information dans le domaine de la recherche et l'appel à participation LAFI 2023. Du côté de nos partenaires, l'appel à contribution de l'INSMI, une session d'information et d'accompagnement dans le cadre de l'appel à projets ANR et une mise à jour sur l'outil d'assistance informatique HELP. Veuillez noter que les inscriptions aux activités sportives d'Université Paris Cité sont ouvertes.

Enfin, un focus sur le prix Test-of-Time de LICS 2022.

Bonne lecture !

• Conseil de laboratoire du mardi 13 septembre : Le compte rendu est disponible sur Conseil de laboratoire & AG. En particulier il a été décidé de
  • Financer sur la dotation du laboratoire toutes les invitations pour soutenance de thèse à l'IRIF, le matériel des nouveaux arrivants
  • Encourager à ce que chaque permanent fasse au moins une visite/invitation scientifique par année
  • Valider les nouvelles missions de la commission doc-postdoc nouvellement nommée, dont un entretien obligatoire après 6 mois de thèse
  • Une discussion plus large sur l'utilisation de HAL pour le rapport HCERES

• Welcome day / PhD and postdocs : A welcome day for new PhD and postdocs students will take place on the morning of October 19th. At the agenda, few words from the IRIF management staff, presentation of the graduate school, mentoring program, PhD students committee.

• Zulip / IRIF chat platform : A few IRIF members have created an IRIF chat room on Zulip https://irif.zulipchat.com/login/. This chat can be thought as a virtual, shared social space for IRIF permanent and non-permanent members (PhDs, postdocs, interns, visitors), as well as their students and collaborators. Feel free to use it to your advantage! To subscribe, follow this link: https://irif.zulipchat.com/join/ij2jagqfjg6hbfmmmfxvnpva/.

• Nettoyage de rentrée : Afin de profiter de la rentrée pour faire de la place dans vos bureaux, deux containers sont installés jusqu’au jeudi 22 septembre. Un container est situé au 3e étage pour le papier et les livres et le second au 4e étage pour les autres déchets non électroniques. A chaque étage le container est proche du monte charge (côté sud). Si vous avez du matériel électronique à jeter, merci de contacter materiel@irif.fr.

• [Rappel] HAL collection : IRIF now has a HAL webpage (beta version), an open archive where authors can deposit scholar documents from all academic fields.

The direction asks all the members of IRIF to submit all their publications of the last 5 years (either as just a bibliographical entry or full text) to this collection since it will be used for the HCRES evaluation: https://hal-cnrs.archives-ouvertes.fr/IRIF/.

• LAFI 2023 / Call for Extended Abstracts : The submission deadline for the LAFI 2023 is October 20, 2022 (AoE).

• Matinée de rentrée PPS : La matinée de rentrée du pôle PPS aura lieu le 06/10/2022. Le programme est en cours d'élaboration : https://www.irif.fr/rencontres/rentree2022.

• Conférence “Protection de l'information dans le domaine de la recherche” : La délégation CNRS Paris-Villejuif invite à participer à la conférence Protection de l'information : particularités et vulnérabilités liées au domaine de la recherche, proposée et animée par le groupe de protection économique, chargé de la recherche, santé et innovation, du Ministère de l’Intérieur. Cette conférence se tiendra en présentiel, le lundi 19 septembre de 14h à 17h sur le campus de Villejuif sis 7, rue Guy Môquet 94800 Villejuif - salle de conférences (Bâtiment L). Réservation requise, nombre de places limités secretariat.parisvillejuif@cnrs.fr.

Philippe Schnoebelen (LMF), François Laroussinie (IRIF) et Nicolas Markey (IRISA), ont été récompensés par la conférence LICS pour leurs travaux sur la logique temporelle, Temporal logic with forgettable past.

Vingt ans après la publication d’un article sur la logique temporelle, leurs travaux ont ouvert la voie à l’expression d’événements passés dans la logique temporelle et les méthodes formelles. Ces recherches s’inscrivent dans le domaine des méthodes formelles, qui permettent de raisonner sur des programmes avec des outils mathématiques. L’article traite plus précisément de la logique temporelle, qui permet de raisonner sur l’enchaînement des évènements qui surviennent lors de l’exécution d’un programme. Ces outils trouvent leur principale utilité lors de la définition, avant de commencer la programmation à proprement parler, d’un cahier des charges de ce que l’algorithme ou le programme doivent pouvoir faire.

L'article est à lire ici.
L'interview réalisée par l'INS2I est disponible ici.

• INSMI / Appel à contribution : Dans le cadre des Assises des mathématiques, l'Insmi propose à la communauté mathématique le défi Diffusion des mathématiques. Les réponses à cet appel à contributions prendront la forme d’une description d’une action de diffusion. Les contributions seront envoyées au plus tard le 1er octobre 2022 à minuit.

• ANR / Appel à projets générique 2023 : L’Appel à projets générique 2023 (AAPG 2023) est ouvert depuis le 18/07/2022. Clôture de la soumission des pré-propositions le 07/11/2022 à 17h00 CET.

• Fac Sciences Info Recherche / Session d'information et d'accompagnement : Une session d’information et un accompagnement dédié est proposée dans le cadre de « L’appel à projets générique 2023 » de l’ANR. Celle-ci aura lieu, via zoom, le vendredi 7 octobre 2022 de 11h à 12h30. Si vous souhaitez assister à cette formation merci d’adresser votre demande à : projets.recherche.sciences@u-paris.fr.

• Université Paris Cité / HELP : À compter du 19/09/2022, l'outil d'assistance informatique HELP s'enrichit de 4 nouvelles catégories de services. Plus d'informations sur l'évolution du portail HELP ici.
  • Salles pédagogiques “Halle aux Farines” et “Olympe de Gouges”
  • Arrivée-départ d’un personnel Université Paris Cité
  • Production Audiovisuelle
  • FabLab des Grands Moulins

• Université Paris Cité / Activités sportives : Les inscriptions aux activités sportives d'Université Paris Cité sont ouvertes depuis le 12 septembre. Les inscriptions sont possibles tout au long de l’année universitaire, selon les places disponibles.
  • Modalités d'inscription pour les étudiants d'Université Paris Cité : https://u-paris.fr/sport/inscription-apsa/
  • Modalités d'inscription pour les personnels d'Université Paris Cité : https://u-paris.fr/sport/inscription-apsa/

• [Rappel] Université Paris Cité / Mobilités Erasmus+ STA/STT : La campagne Mobilités Erasmus+ STA/STT pour l'année 2022-2023 est lancée. Cet appel concerne les enseignants chercheurs (Mobilité d’enseignement – STA) et les agents de l’Administration (Mobilité de formation – STT). Dates limites pour la Mobilité S1 : 21 octobre 2022 et pour la Mobilité S2 : 9 décembre 2022.

Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.

• Newsletter diiP de septembre 2022
• CNRS Hebdo du 16/09/2022
• Université Paris Cité Infos du 16/09/2022
• Newsletter de l'INS2I #13 du 15/09/2022
• L'actualité étudiante du 14/09/2022
• Fil info Recherche du 13/09/2022
• CNRS interne du 09/09/2022