Mail original

Bonjour à tous,

A noter cette semaine une opération de la région à travers les DIM pour financer un certain type de thèse en lien avec une entreprise du numérique. Vous trouverez à cette occasion en fin de mail les messages des 2 DIMs auxquels l'IRIF adhère.

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

Frédéric

Annonces de la direction

- Financement d'un projet ANR par le CNRS.  Si vous souhaitez que votre contrat ANR soit hébergé au CNRS, il faut contacter le plus rapidement possible la délégation régionale avec direction@irif.fr . Plus d'information sur l'intranet, en bas de page de

- Domaines d'Intérêt Majeur (DIM) - Région Ile de France : Les DIMs sont des actions de la région Ile de France pour fédérer la recherche sur son territoire. L'IRIF fait parti du DIM MathInnov depuis 2 ans, et à part entière dans le DIM Réseau Francilien en Sciences Informatiques (RFSI) depuis cette année. Ce dernier DIM étant en phase de test et vient d'être pérennisé pour les 2 prochaines années, en élargissant son spectre à toute l'informatique et donc à tout l'IRIF.
Via ses DIMs, la région vient de lancer un appel à financement de thèses en lien avec des entreprises du numérique :
Ces thèses ressemblent aux CIFRE mais sont à mon avis plus souples car financées par la région. Il s'agit d'un modèle que l'IRIF devrait exploiter. Plus d'informations sur les appels et les mails de nos DIMs en fin de mail.

Actualité scientifique

-  The "Collège de France" and IRIF  are delighted to host as part of our  IRIF Distinguished Talks Series Robert Tarjan  (Princeton) on  March 18, 17:00  for a talk entitled “Concurrent Connected Components”.  https://www.college-de-france.fr/site/xavier-leroy/guestlecturer-2019-03-18-17h00.htm  

Notion de la semaine

Memory consistency models characterize the effect of concurrent invocations to a library implementing a shared state, e.g., a queue or a key-value map. Strong consistency means that the results of concurrently-executed invocations match the results of some serial execution of those same invocations. Since strong consistency carries a significant penalty on performance, modern implementations provide weaker guarantees known as weak consistency models, e.g., eventual or causal consistency.

Informations des partenaires

Liste des annonces avec liens ou emails en pièces attachées :

- DIM Réseau Francilien en Sciences Informatiques (RFSI) et DIM MathInnov  : Financement de thèses en lien avec des entreprises.  Deadline : 15 mai 2019.
- Paris Diderot  : CRCT Europe pour avoir une décharge d'enseignement en cas de préparation d'un projet européen au plus tard en 2020. Deadline le  04/04/2019 17h.