Lettre de l'IRIF du 20 novembre 2020

Edito

Plusieurs deadlines de décembre approchent : ANR, postdocs et chaires FSMP. Du côté de l'IRIF, des rappels sur le matériel emprunté, des mises à jours sur les services informatiques (serveur Samba et site web).

Côté international, trois beaux résultats à POPL sur des thèmes variés, et félicitations aussi à Delia pour sa nomination comme membre correspondant de l’académie de sciences de Turin,

Avec l'aide de Geoffroy Couteau une page recense les stages de Master offerts à l'IRIF. Cette page vient compléter celles des thèses et postdocs.

Enfin, les mots croisés récidivent avec une résolution en directe jeudi prochain 17h.

Annonces de la direction

  • Conseil de laboratoire du 17 novembre : Compte-rendu sur l’intranet
  • Prochain conseil de laboratoire le 1er décembre 13h
    • Présentation d'une charte des membres de l'IRIF (2e session)
    • Participation au conseil : Tout membre de l'IRIF peut assister au conseil de laboratoire en tant que spectateur (sauf pour toute discussion à huis clos). Ecrire à direction@irif.fr.
  • Mise à jour de services informatiques
    • La plateforme Samba va fermer et être remplacée par NextCloud
    • Le Dokuwiki sur lequel est basé le site de l'IRIF et certaines pages personnelles va être mis à jour. Vous pouvez vérifier que la transition se passera bien en remplaçant www par www-new sur la page concernée. Ainsi https://www-new.irif.fr est le site de l'IRIF sur le nouveau dokuwiki. En cas de pb, les remonter sur la page suivante (pas par mail) : https://www-new.irif.fr/intranet/nouveau_site.
  • Stages de Master. Une nouvelle page pour collecter les propositions de stage est disponible sur le site de l'IRIF sous l'onglet “Emplois” : https://www.irif.fr/postes/stage. Elle est sur le style de la page pour les thèses et postdocs. Merci à Geoffroy Couteau pour la création de la page. Pour ajouter une offre contacter Geoffroy à couteau@irif.fr.
  • Utilisation, emprunt et sortie de matériel
    • La page Utilisation, emprunt et sortie de matériel sur l'intranet rappelle l'usage du matériel mis à disposition, notamment lorsque ce dernier est sorti du laboratoire. La clarification des règles vise à faciliter la sortie et le suivi du matériel qui sort du laboratoire afin de faciliter votre travail à domicile. Retenez qu'il vous faudra faire une demande et déclarer la sortie du matériel.
    • Tablette graphique Wacom avec stylet : Plusieurs tablettes sont disponibles en prêt au secrétariat (4001). Elles doivent être réservées par un mail à secretariat@irif.fr en mettant en cc votre responsable de pôle pour accord (qu'il faut donc contacter avant).

Actualités scientifiques

  • Delia Kesner has been elected corresponding member at the “Accademia delle Scienze de Torino”, in the section Computer Science.
  • Three papers coauthored by IRIF members will be presented at POPL 2021, the main conference on programming languages and programming systems. The papers' topics are about studying reachability, termination and correctness for randomized computation, including machine learning, and persistant memory of he intel x86 architecture. All accepted papers.

La grille de l'IRIF

La solution de la semaine dernière, et une nouvelle grille (sans thème particulier mais avec un peu trop de mots à l’envers…) de Laurent Viennot sont disponibles !

Venez présenter votre solution lors d'un IRIF Coffee (ne pas mettre de mot de passe, et cliquer sur present) jeudi 19/11 à 17h…

Si vous avez d'autres idées de défis écrivez à direction@irif.fr.

Appels d'offres et informations des partenaires