Mail original

Bonjour à tous,

Beaucoup de réunions et d’assemblées importantes avant la pause estivale, sans oublier l’évènement du labo pour Odile mercredi prochain.

Frédéric


Annonces de la direction

- Pôt de départ d’Odile Ainardi, mercredi 27 juin, 16h
Odile partira à la retraite le 30 juin 2018. Afin de la remercier de ses nombreuses années investies dans le laboratoire, d’abord à PPS puis à l’IRIF, et de lui souhaiter une excellente retraite, le laboratoire organise un pot de départ le mercredi 27 juin à 16h, sur le parvis du bâtiment Sophie Germain afin de profiter de l’été !

- Prochain conseil de laboratoire, 26 juin, 13h 
Ordre du jour provisoire
-  classement  des candidats IRIF pour une  bourse de thèse  de l’Ecole doctorale
-  v alidation  du règlement interne:  https://www.irif.fr/_media/intranet/reglement-interieur.pdf  
-  point  sur les procédures d'associatin
Rappel  : A titre expérimental, tout membre du laboratoire peut demander jusqu’à une semaine à l’avance à assister au conseil de laboratoire en tant que spectateur ne participant pas aux débats.  La direction a reçu une demande à laquelle elle a répondu favorablement.

- Assemblée générale du laboratoire, vendredi 6 juillet, 13h,  amphi 4C à la Halle aux farines
Cette AG sera l’occasion de faire le point des 6 premiers mois de la nouvelle direction de l’IRIF, et de discuter ensemble des chantiers en cours dont :
-  direction  : fonctionnement avec les commissions et comités en place
-  administration  : évolution de l’équipe, demandes aux tutelles
-  fusion P5-P7  : état des lieux présenté par la direction de l'UFR d'Informatique
Venez nombreux afin de participer aux évolutions du fonctionnement du laboratoire !

- La FSMP pérennisée !
Nous pouvons nous réjouir de l’accord qui a été trouvé entre les 3 IdEX porteurs de la FSMP pour la pérenniser, et remercier la direction de la FSMP pour cet accord dont Olivier Serre (IRIF).
Le CA de la FSMP s'est réuni le 20 juin et a pris l’engagement, ci-joint à ce mail, concernant le LabEx SMP, garantissant ainsi sa pérennité et notre indépendance de fonctionnement. 
C'est une décision importante qui va permettre à la FSMP de pouvoir continuer à fonctionner avec la même ressource annuelle, dans les mêmes conditions, sans devoir nous soucier désormais des aléas des PIA. 

- Rappel missions à l'étranger
Tout agent se rendant hors métropole  quel que soit le pays de destination même en Europe, 
- doit s’inscrire sur Ariane (même en Europe !) :  https://pastel.diplomatie.gouv.fr/fildariane/dyn/public/login.html  
- doit préciser le numéro de téléphone portable sur lequel on peut le contacter pendant toute sa mission 
- pour les missions CNRS (agent ou contrat) doit remplir l’application SAME :  https://sesame-mae.dsi.cnrs.fr/

- Rappel budget mission
Je vous rappelle que toute personne du laboratoire n’ayant pas accès à des fonds propres peut solliciter , via son responsable de pôle, le laboratoire pour couvrir une mission ou une invitation .
Il n’y a aucune censure à avoir. Inutile d’avoir un papier à présenter à une conférence, juste l’envie d’effectuer une mission scientifique, ou d’accueillir un collègue pour une collaboration scientifique.
Le laboratoire avait budgétisé 150 keur . Seul 40 keur ont été utilisés à ce jour...

Actualités scientifique

- France Culture broadcast a report about Software Heritage , the project to build a universal software archive, lead by Roberto Di Cosmo (Professor at IRIF)  

- Next IRIF Distinguished Talk - Christos Papadimitriou - July 13, 10:30
We are delighted to host as part of our IRIF Distinguished Talks Series Christos Papadimitriou (Columbia University) on July 13, 10:30 for a talk entitled “A computer scientist thinks about the Brain”.

- Peter Habermehl (IRIF)  and Benedikt Bollig (LSV, ENS Paris-Saclay) organize the  research school MOVEP  (Modelling and Verification of Parallel Processes), from on  July 16-20 in Cachan .

 -  Amos Korman (IRIF)  is co-chairing, and organizing the 6th  Workshop on Biological Distributed Algorithms , to be held in  London in July, the 23rd .


Notion de la semaine

Games  are mathematical objects used for modeling situations in which several participants/players interact, and each of them aims at fulfilling a personal goal. Real games such as chess or go are cases in which there are two players which are opponent. Games occur in computer science for modeling the logical duality between conjunction and disjunctions, or for defining particular families of complexity classes. Games appear in verification for describing how a system has to react to the environment (the opponent) in order to perform what it has been designed for.

Informations des tutelles et partenaires

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

- DIM RFSI (réseau francilien en sciences informatiques)  :  Appels à projets 2018 (2ème appel) - deadline 29 juin 2018 - projets émergents et soutien à manifestations scientifiques
- P7 : I nvitation Afterwork Valo IDF Innov - Paris-Diderot - 5 juillet - Inscriptions ouvertes