Lettre de l'IRIF du 1er octobre 2021

Edito

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 !

Annonces de la direction

  • 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.

Actualités

  • 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.

Focus sur la Fête de la Science

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)


Appels d'offres et informations des partenaires

  • 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.
  • [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.