Mail original


Lettre de l'IRIF du 18 octobre 2019

Édito

Plusieurs annonces côté CNRS, fin des appels PEPS, nouvel appel par laboratoire, nombre de postes au concours, … mais aussi réactions du conseil scientifique du CNRS aux propositions faite dans le cadre de la loi de programmation pluriannuelle de la recherche.

Des fonds sont toujours disponibles sur la dotation de l'IRIF. Pensez à faire vos demandes dès maintenant afin que le laboratoire puisse les étaler.

Enfin, une belle reconnaissance d’une ancienne doctorante de l’IRIF, et le lancement de la nouvelle chaire annuelle d’informatique du Collège de France en lien avec des activités de recherche menées à l’IRIF sur le langage Kappa et la réécriture de graphes.

Annonces de la direction

- Annonces de l’INS2I lors de la réunion des directeurs d’unité du 2 octobre 2019
Lors de la réunion des directeurs d’unité du département informatique du CNRS (INS2I), plusieurs annonces ont été faites concernant les orientations et priorités de l’INS2I dont :
- Concours 2020 : 20 postes de CR pour les sections 6 et 7, avec possibilité de recrutement DR externe, et un recrutement via la section 41 (Maths) pour un laboratoire d'informatique
- Priorités scientifiques : Le Futur du calcul; Fondements de l’IA : modèles, données et algorithmes; Systèmes autonomes et interactifs; Un monde numérique sûr
- Contact de l'INS2I avec les chercheurs à recrutement +6 mois, +2.5 années, +7 années
- Un nouvel appel à projet unique de l’INS2I par les directeurs d’unité (fin des PEPS et autres petits appels). Lancement en novembre, délais de réponse 2 mois.
Plus d’informations dans les transparents de la journée sur l’intranet de l’INS2I :  https://intranet.cnrs.fr/instituts/ins2i/Pages/default.aspx  

-  Subvention du laboratoire - date limite 1er novembre
Il reste un montant important de subvention des tutelles encore disponible.
Seul l’ accord du responsable de pôle  est nécessaire après vérification de l’absence d'autres crédits disponibles sur 2019.
Toutes les demandes pour fin 2019, et éventuellement tout début 2020, doivent être remontées au plus vite, et avant le  1er novembre.

- Emails en @liafa et @pps 
Depuis plusieurs années, une adresse   prenom.nom@irif.fr  est fournie à chaque membre du laboratoire.
Je vous demande d’abandonner, si ce n’est déjà fait, vous anciennes adresses emails @liafa et @pps et de basculer vers les adresses @irif.fr. Profitez en pour mettre à jour vos pages web si besoin...
Une réflexion est en cours afin de restreindre l’usage des anciennes adresses à partir de 2020.

- Annuaire du laboratoire
Merci de nous aider à tenir à jour l’annuaire, y compris les doctorants/postdocs/aters dont 1 sur 2 n'a pas ses données à jour.
En cas de changement de bureau, de téléphone, de fonction / grade, voire de changement d’équipe thématique, un unique lien où chacun peut faire ses modifications :  https://www.math-info-paris.cnrs.fr/moncompte/  

Actualités scientifiques de l'IRIF

- Marie Kerjean  (ancienne doctorante de l’IRIF, actuellement postdoc au LS2N) a été distinguée par la Fondation L'Oréal-Unesco.

- Collège de France  : Walter FONTANA (Medical School de l'Université de Harvard) occupera la chaire annuelle Informatique et sciences numériques (2019-2020) sur le thème "Le vivant et l'ordinateur : le défi d'une science de l’organisation"
Leçon inaugurale le jeudi 24 octobre 2019 à 18h.
Cours et séminaires débuteront le 29 octobre
Séminaire de Jean Krivine (IRIF) le 22 novembre à 14h

Notion de la semaine

Linear logic , a refinement of classical and intuitionistic logic, was introduced by Jean-Yves Girard in 1987 as a logic of actions and resources enabling one to describe dynamics of processes and resource handling. Ideas from linear logic have been influential in fields such as programming languages, game semantics, quantum physics, and linguistics. Given its focus on resources, linear logic has found many applications in Computer Science.

Appels d'offres, évènements des partenaires

Plus d’informations sont fournies dans les liens ou les pièces attachées.

- CoNRS, Section 6  : Rapport de conjecture
- Conseil scientifique du CNRS  : Le conseil exprime son désaccord avec trois propositions du CNRS du 22 Juillet 2019 concernant la loi de programmation pluriannuelle de la recherche (LPPR)
- FSMP : Les appels d’offres en cours (postdocs, chaires, bourses de master, invitations chercheurs)