Mail original

Lettre de l'IRIF du 12 juillet 2019

Édito

Les préparatifs d’accès au laboratoire durant la fermeture estivale sont lancés. N’oubliez pas de vous manifester si vous avez besoin de venir entre le 26 juillet et le 19 août. 
Le secrétariat assurera lui une permanence durant cette période pour préparer au mieux la rentrée. A cet effet, n’oubliez pas de faire tous vos retours de mission avant le 19 juillet, ainsi que de faire remonter vos demandes de soutien financier pour les évènements que vous organiserez en 2020.
Enfin, deux évènements sont annoncés pour tout début septembre.
La lette de l’IRIF va être interrompue pour reprendre fin août. Bonne pause estivale à tous !

Annonces de la direction

- Fermeture du bâtiment 
Les bâtiments de l'Université seront fermés du vendredi 26 juillet au soir au lundi 19 août au matin . Les agents dont la présence dans les locaux est indispensable peuvent bénéficier d'un accès à l'université. 
Pour cela, il est nécessaire de compléter le tableau envoyé par Thomas Béraud et de le lui renvoyer pour le 15/07 au plus tard (cf mail joint).Toute personne n'ayant pas fait remonter de demande ne pourra pas accéder aux bâtiments de l'université pendant la période de fermeture.
Par ailleurs, le bâtiment sera totalement fermé le 07/08 , sans accès possible.

- Permanence durant l’été
Le secrétariat restera ouvert pendant tout l'été. 
L’équipe de direction sera représentée durant la fermeture du bâtiment par Eva (Frédéric et Giuseppe seront en congés sur cette période)

- Rappel : Organisation d'évènements / demande de ressources
Dans le cadre de la demande de ressources au CNRS, nous devons faire remonter les demandes d'évènements (colloque, école thématique, séminaire...) que nous souhaiterions que le CNRS finance, partiellement ou totalement. Il faut noter qu'à partir de cette année, plus aucune demande de financement d'évènement ne sera prise en compte si elle est faite en cours d'année, sans avoir été intégrée au préalable à la demande de ressources. Merci donc de faire remonter vos demandes de financement à  secretariat@irif.fr   avant le 19/07.  
Note : L’IRIF ne financera aucune demande au fil de l’eau en 2020. - Rappel : Demandes remboursement frais de mission 
Pour les remboursements de frais de missions, les demandes devront être communiquées à secrétariat@irif.fr au plus tard le 19/07 , les services du CNRS et de Paris 7 étant ensuite fermés.

- Demande de cumul d’activités pour les chercheurs CNRS
Pour rappel, le cumul d’activités est soumis à autorisation via l’application Ariane du CNRS : https://ariane.cnrs.fr/  
L’activité en cumul ne pouvant être exécutée durant le temps de travail, des jours de congé doivent être déposés en conséquence sur l’application Agate du CNRS: http://agate.cnrs.fr  

Actualités scientifiques de l'IRIF

- A scientific meeting in honor of Pierre-Louis Curien will take place at IRIF, in the conference room Alan Turing, Sophie Germain building on the 6th of September . Registration is free but mandatory.

- A workshop on Graph Compression and Compact Representations will take
place at IRIF on September 9-10 . Submit your talk proposal before the 25th of August.

La notion de la semaine

A parity game is played on a colored directed graph, where each node has been colored by a priority. Two players, 0 and 1, move alternatively a token along the edges of the graph. The winner of a finite play is the player whose opponent is unable to move. In an infinite play, player 0 wins if the largest priority that occurs infinitely often in the play is even. Player 1 wins otherwise. Deciding which of the two players has a winning strategy is in NP and Co-NP, but can be solved in quasipolynomial time. Parity game solving can be seen as the algorithmic backend to problems in automated verification and controller synthesis.

Appels d'offres, évènements des partenaires

Liste des emails joints en pièces attachées :
- Paris Diderot : Mail de Thomas Béraud concernant l’accès durant la fermeture du bâtiment avec le formulaire à compléter