Mail original

Bonjour à tous,

L’IdEx de l’Université Paris continue sur sa lancée d’appels à projets. Merci de noter celui des Chaires d’excellence, qui peut être une opportunité pour la préparation d'un prochain recrutement attractif au laboratoire (deadline pour les premiers retours à la direction 15 mars).
Avec la saison des nouveaux dépôts de projets, dont à l’ANR, pensez à faire gérer vos contrats aussi par le CNRS . C’est en effet une possibilité depuis cette année. Si vous n’avez pas été retenu, pensez aux appels IdEx !
Emboitant le pas de ses tutelles et aussi de ses communautés académiques, l’IRIF a tenu à enrichir son intranet d’une page sur le harcèlement.
Enfin, plusieurs mails de nos partenaires en fin de la lettre dont délégations Inria, campagne PEDR, et enquête sur l’open access.

Pour l’équipe de direction (Eva, Frédéric, Giuseppe),
Frédéric

Annonces de la direction

- Appels à projets de l'IdEx de l'Université Paris 
Un  (n+1)-ème appel à projet  cette semaine dénommé  Chaires d'excellence (clôture le 28 juin 2019)  ayant pour objectif de favoriser l’accueil de candidates et candidats externes en vue de l’obtention d’un poste statutaire d’enseignant-chercheur ou de chercheur (senior ou junior). Le programme prévoit un environnement pour les personnes recrutées dès cette année, ou un CDD sur 3 ans de type tenure track.
Ce type d’appel demande une préparation en amont, et je vous demande donc de faire remonter à la direction toute possible candidature d’ici le vendredi 15 mars.
Je demanderai ensuite au conseil de laboratoire de ne sélectionner qu’une candidature qui sera préparée en partenariat avec l’université.

Pensez aux nombreux autres appels de l'IdEx des semaines précédentes dont
- Contrats doctoraux internationaux (clôture le 15 février 2019)
- Émergence en recherche (clôture 15 mars 2019)  
-  Dynamique Recherche (clôture le 15 avril 2019)  
- Coopération avec National University of Singapore  (29 mars 2019), 3 types de projets :  recherche , mobilité doctorale, et formation
Il y a aussi des appels pour attirer des candidats étrangers via les mécanismes européens (ERC et Marie-Curie).
Ils sont tous disponibles sur  https://universiteparis2019.fr/category/idex/  

- Projets ANR sélectionnés pour le 2e tour
Merci de remonter à direction@irif.fr  tous les projets sélectionnés pour le 2e tour.
Non seulement l’IRIF peut vous aider à préparer votre projet, mais depuis cette année l’organisme gestionnaire peut être au choix le CNRS ou Paris Diderot, à la direction du directeur de l’IRIF.

- Contre rendu du conseil de laboratoire du 12 février 

- Calendrier des séminaires
Il est maintenant possible de souscrire à un ou plusieurs séminaires via son calendrier.
Il suffit de se rendre sur la page de séminaire et d’y copier le lien “Calendrier” des séances au format iCal, et de l’inclure dans son calendrier habituel !
Merci à Adrien, Houy et Thomas.

- Boîtes aux lettres
Afin de rationaliser l’usage et la mise à jour tout au long de l'année des boîtes aux lettres des non-permanents (doctorants, post-docs, ATER, visiteurs), ces dernières ont été mutualisées selon la première lettre du nom de famille. Cette nouvelle répartition est à l’essai et évoluera si nécessaire.

- Nouvelle page Intranet sur le harcèlement

Actualités scientifiques

- Fabian Reiter (former PhD student at IRIF)  wrote a short popularization article in the Blog Binaire of the newspaper Le Monde. This article explains (in French) some aspects of his PhD thesis, recently awarded the Honorable Mention of the Gilles Kahn prize.

-  Olivier Bournez (Ecole Polytechnique/LIX et ses collègues François Fages (Inria), Guillaume le Guludec (UpSlide) et Amaury Pouly (CNRS/IRIF) viennent d'obtenir le Prix La Recherche 2019 dans la catégorie Sciences de l'Information pour leur article "Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs" (consultable sur Hal:  https://hal.inria.fr/hal-01519828v3/document ).
-  In collaboration with Yoav Rodeh (Weizmann Institute of Science),  Pierre Fraigniaud and Amos Korman from IRIF published a paper in the Journal of the ACM entitled “Parallel Bayesian Search with no Coordination”.

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.
Informations des partenaires

Liste des emails joints en pièces attachées :

- Inria : Délégation Inria, deadline 16 mars 2019
- Paris Diderot :  Théâtre forum « Silences complices ?», sur le harcèlement sexuel, 19 février de 15h à 18h à Paris Diderot .
-  Paris Diderot :  Campagne PEDR pour les enseignants-chercheurs,   deadline  7 mars 2019
- Paris Diderot / Couperin :  Enquête sur vos pratiques de publication et d'Open Access. A remplir absolument pour soutenir l’open access.
- FSMP :  Journées Carrières en Mathématiques aura lieu les 18 et 19 avril 2019 à Sorbonne Université