Mail original Lettre de l'IRIF du 3 mai 2019 Édito Après cette pause printanière bien méritée, la semaine prochaine sera chargée en actualités : 2 conseils scientifiques d'UFR (cf mails de Michele Pagani) et 1 conseil de laboratoire ! Notez aussi une mise à jour sur les signatures scientifiques de l'Université de Paris, et surtout la communication cette semaine du CNRS sur des travaux de l’IRIF. Enfin toutes les deadlines du mois de mai sont rappelées. Annonces de la direction - Ordre du jour du conseil de laboratoire du 7 mai 13h - Recrutements Paris Diderot MCF et PR à l'IRIF - Présentation des possibilités d'intégration - Recommandations sur la position du laboratoire Sont invités à ce conseil les membres internes des Comités de Sélection (COS) respectifs. - Mise à jour : Signature scientifique Université de Paris pour l'IRIF L'Université de Paris nous demande de signer désormais nos publications " Université de Paris " et de bannir toute autre formulation. Les recommandations complètes sont ici : https://u-paris.fr/signature-unique-des-publications/ Contrairement à la lettre précédente, nous avons eu confirmation que ces recommandations étaient compatibles avec nos tutelles. La règle est donc la même pour tout membre de l'IRIF : Université de Paris, IRIF, CNRS, F-75013 Paris, France Pour les membres Inria, ajouter une 2e affiliation Inria sur une 2e ligne semble le plus judicieux. Actualités scientifiques de l'IRIF - Deux membres de l’IRIF, Guillaume Lagarde (ancien doctorant) et Sylvain Périfel, à l'honneur dans le CNRS-Hebdo : Un seul bit vous manque, et ça ne compresse plus… https://ins2i.cnrs.fr/fr/cnrsinfo/un-seul-bit-vous-manque-et-ca-ne-compresse-plus Notion de la semaine Separation logic is a language for describing properties and reasoning about programs that use mutable data structures (i.e. memory cells and pointers). Separation logic has a special support for local reasoning, which is the ability to use and compose properties that involve a subset of the data configuration only: it separates the relevant portion of the data structure from the irrelevant one. Local reasoning gives more compact proofs and specifications for imperative programs than with prior formalisms. Furthermore, it helps with the scalability of proofs done in automatic and semi-automatic verification and program analysis tools. Appels d'offres, évènements des partenaires Liste des emails joints en pièces attachées : - Paris Diderot : ATER en Informatique à Paris-Diderot - deadline 6 mai - Paris Diderot : Appel à projets Sésame de la Région Île-de-France / Dépôt d'une lettre d'intention - deadline lettre d'intention : 6 mai - deadline projet : 15 mai. Thématique libre, mais hors DIM. Axe privilégié : collaborations avec Lettres et Sciences Humaines et Sociales. Budget de 200 K€ à 5 M€ - DIM MathInnov, DIM Sciences informatiques, DIM Informatique Quantique : Appel a candidatures "Paris Région PhD2 “ - deadline : 15 mai 12h - DIM MathInnov : 10 a llocations doctorales (hors PhD2), 5 postdocs deadline 20 mai 2019