A la une cette semaine, nos activités spéciales organisées dans le cadre de la Fête de la Science.

Quelques informations importantes de la part de nos partenaires : appel à projets ANR, rappel sur les Délégations CNRS, mobilités internationales.

Notez également le report de la session d'information sur l'ERC Consolidator ainsi que la prolongation de l'appel à candidatures du prix Kevin Henriot.

Côté actualités scientifiques, un papier co-écrit par Sam van Gool et Adrien Guatto a été accepté à la conférence RAMiCS 2021.

Bonne lecture !

• Gestion de projet ANR : Vous déposez un projet ANR ? Vous vous demandez quelles sont les validations nécessaires ? Consultez https://www.irif.fr/intranet/projets sur l’intranet. En particulier vous pouvez choisir librement de faire gérer votre contrat par le CNRS ou l’Université de Paris.

• Fermeture exceptionnelle du secrétariat : L'ensemble du secrétariat sera en formation le lundi 4 octobre. Le bureau fermera donc exceptionnellement ses portes cette journée. Pour toute urgence, veuillez contacter direction@irif.fr.

• [Rappel] Campagne des délégations et CRCT. La campagne des Congés pour Recherches ou Conversions Thématiques (CRCT) et des délégations CNRS ou Inria commence avec une deadline commune au 21 octobre 2021, 16 heures (heure de Paris). Ne vous censurez pas, il y a plusieurs possibilités de 50% à 100% de congés/délégations, et avec des possibilités de renouvellement. Plus d’informations sur l’intranet.

• RAMiCS 2021 / Accepted paper : One paper coauthored by George Metcalfe, Sam van Gool (IRIF), Adrien Guatto (IRIF) and Simon Santschi will be presented at the 19th International Conference on Relational and Algebraic Methods in Computer Science: Time Warps, from Algebra to Algorithms.
  Graded modalities have been proposed in recent work on programming languages as a general framework for refining type systems with intensional properties. In particular, continuous endomaps of the discrete time scale, or time warps, can be used to quantify the growth of information in the course of program execution. Time warps form a complete residuated lattice, with the residuals playing an important role in potential programming applications. In this paper, we study the algebraic structure of time warps, and prove that their equational theory is decidable, a necessary condition for their use in real-world compilers. We also describe how our universal-algebraic proof technique lends itself to a constraint-based implementation, establishing a new link between universal algebra and verification technology.

Une fois de plus, l’informatique s’invite à la Fête de la Science du 1er au 11 octobre 2021. Au programme de nos activités organisées conjointement par l’IRIF et l’UFR d’Informatique :

• La conférence « Manuel de cryptanalyse à l’usage de la NSA : de la théorie à la pratique », donnée par Sylvain Périfel (IRIF)
  À travers l'histoire de la cryptologie, on retrouve les guerres et les complots, mais surtout l'évolution des techniques et des sciences. Ainsi, les codes simplistes de l'Antiquité ont cédé leur place à des méthodes mathématiques assez robustes pour résister aux attaques informatiques.
  Cette conférence ludique se propose de retracer et de mettre en pratique les différentes avancées historiques de cette science qui semble un peu secrète, du code de César à RSA en passant par les substitutions mono-alphabétiques et par le chiffre de Vigenère.
  Accès libre et gratuit pour tout public (inscription non requise).

Date & heure : lundi 4 octobre de 10h00 à 11h15
Lieu : Amphithéâtre 1A de l'Université de Paris (bâtiment Halle aux farines) – Campus des Grands Moulins | 10, rue Françoise Dolto 75013 Paris

• Des ateliers d’informatique débranchée dans les établissements parisiens : Des ateliers d'initiation à l'informatique fondamentale pour les classes de fin primaire et début collège sont proposés. Les ateliers sont répartis en 5 îlots.
  • Îlot 1 - Algorithmique : Tours de Hanoï (par Léo Planche), Tresses (par Bérénice Delcroix-Oger), Bouteilles de lait/balance (algorithmes de tri)
  • Îlot 2 - Jeux : Jeu de Nim (par Alexandre Nolin), Chomp (jeu de la tablette de chocolat)
  • Îlot 3 - Codage : Où est l'erreur? (bits de parité) (par Pierre Cagne), Jeu des anniversaires, Compter en binaire
  • Îlot 4 - Cryptographie : Codes de césar, Protocoles zéro-connaissance
  • Îlot 5 - Problèmes difficiles (NP-complet) : Voyageur de commerce, Pentomino

Dates : 4-5 et 7-8 octobre 2021
Lieux : Collège Alain Fournier (11ème arrondissement), École élémentaire Lamoricière (12ème arrondissement), École élémentaire Buffon (5ème arrondissement)

• CNRS-INS2I / Information sur les délégations CNRS et les mobilités internationales : Le CNRS met deux outils à disposition des membres permanents de vos unités. Toutes les information sur les délégations CNRS et les mobilités internationales ici.
  • L’accueil en délégation (concerne les enseignants-chercheurs membres permanents de vos unités). Date limite de saisie des candidatures sur le portail GALAXIE : 21 octobre 2021 à 16h.
  • Les mobilités internationales vers les IRL (ex UMI) (concerne tous les membres permanents de vos unités). Retrouvez les informations relatives aux IRL de l'INS2I ici. Date limite pour les membres d'unités porteurs d'un projet : 19 novembre 2021. Les enseignants-chercheurs qui souhaitent bénéficier d’un soutien dans ce cadre doivent également déposer une demande d’accueil en délégation au CNRS, d’ici le 21 octobre 2021, via le portail GALAXIE.

• Université de Paris / Session information ERC Consolidator 2022 reportée : La session d’information sur l’appel Consolidator Grant du Conseil Européen de la Recherche (ERC) est reportée au vendredi 22 octobre (10h-12h), sur Zoom. Lien et informations de connexion ici.

• FSMP / Prolongation de l'appel à candidatures du prix Kevin Henriot : Le prix Kevin Henriot récompense un travail de thèse en théorie des nombres, en combinatoire additive ou dans tout domaine des mathématiques en lien avec les travaux de Kevin Henriot. Les candidats et candidates peuvent être de toute nationalité et doivent avoir passé au moins 10 mois de leur parcours académique soit en France, soit au Canada. L'appel à candidatures est prolongé jusqu'au 15 octobre 2021.

• ANR / Session d'information de l'appel à projets générique 2022 : Cet appel permet à l’ANR de financer des projets individuels (JCJC, PRME) et des projets de recherche collaboratifs (PRC) publics, privés et internationaux. Une session d’information adressée à l’ensemble de la communauté scientifique d’Université de Paris aura lieu le vendredi 8 octobre 2021 de 11h à 12h30 et aura pour but de présenter les nouveautés du Plan d’action et de l’AAPG 2022. Pour participer à cette session d’information, merci d’adresser votre demande à : projets.recherche.sciences@u-paris.fr. Plus de détails ici.

• Pariscience 2021 / Concours Symbiose : Dans le cadre de Pariscience, Festival international du film scientifique, est lancée la 6e édition de Symbiose – compétition de courts métrages en 48h. L'appel à candidatures est ouvert jusqu'au 4 octobre.

• CNRS / Campagne annuelle de révision SFT 2021 : Dans le cadre de la campagne de révision du supplément familial de traitement (SFT), veuillez trouver ici la note d’information de la Déléguée Régionale concernant les droits au supplément familial de traitement.

• Université de Paris / Formation Accompagnement à la Recherche : Dans le cadre du plan de formation 2021/2022 d’Université de Paris, le Département Formation & Parcours professionnels en partenariat avec la Direction des Bibliothèques et Musées propose plusieurs formations sur les thématiques suivantes :
  • Déposer dans l’archive ouverte HAL : jeudi 7 octobre, mercredi 17 novembre ou jeudi 16 décembre 2021 (en ligne)
  • Respecter les obligations liées à la science ouverte dans son projet de recherche : mardi 5 octobre ou mardi 14 décembre 2021 (en ligne)
  • Découverte du plan de gestion de données (PGD) : mercredi 6 octobre, mardi 16 novembre ou mercredi 15 décembre 2021 (en ligne)

• [Rappel] FSMP / Chaire d'excellence : Adrian Raftery, Professeur à l’Université de Washington, Seattle, et lauréat de la Chaire d'excellence de la FSMP en 2020, donnera un cours intitulé Statistical Demography les mardis 28 septembre, 5, 12 et 19 octobre 2021 de 9h à 16h30 en Salle du Conseil de l'Université de Paris (Paris-Descartes), 45 rue des Saints-Pères, Paris 6e. Programme et descriptif du cours ici. Inscription est obligatoire via ce formulaire.

• [Rappel] Université de Paris / Cofinancement conférence GDR : Dans le cadre de son action en faveur des initiatives de structuration de la recherche, la Faculté des Sciences de l'Université de Paris souhaite soutenir les Groupements de Recherche (GDR) développés au sein de ses unités, via un co-financement des évènements organisés par ces réseaux. Toutes les informations sur le dossier de demande ici. Consultez le budget prévisionnel ici. Date limite : le 4 octobre 2021.

• [Rappel] diiP / Distinguished Lecture : The next Distinguished Lecture from the Data Intelligence Institute of Paris (diiP) “Building Data Equity Systems” will be presented online on October 6, 4pm (Paris time) by Prof. Julia Stoyanovich (New York University). Her research focuses on responsible data management and analysis: on operationalizing fairness, diversity, transparency, and data protection in all stages of the data science lifecycle. More details here.

• Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.
  • Lettre de l'INSMI du 30/09/2021