Mail original

Bonjour à tous,


Entre les résultats du BAC, le match de l’équipe de France à 16h, et l’AG à 13h, voici sans doute la dernière lettre de la semaine avant une pause estivale.
Ne manquez pas le colloque IRIF de Papadimitriou la semaine prochaine. Tous publics bienvenus !

Frédéric


Annonces de la direction

- Avance sur mission
Ce dispositif doit rester exceptionnel et justifié en raison du temps additionnel que requiert sa procédure sur le secrétariat à nouveau surchargé. Dans l’attente d'une concertation sur les critères d’éligibilité et de l’établissement de la procédure à suivre, je vous demande d’argumenter toute nouvelle demande auprès de la direction au moins 1 mois avant la demande .

Je vous rappelle aussi l’existence pour les permanents d'une carte affaire permettant d’avancer les frais et de n’être débiter sur son compte que 3 mois après.

- Retour mission
Merci de rapporter au plus vite au secrétariat toutes les justificatifs de vos missions effectuées et non encore clôturées.
En effet, le secrétariat ne peux pas se permettre de recommencer en septembre avec un arriéré trop grand.

- Secrétariat et direction durant l'été
Merci d’adresser toutes vos requêtes respectivement à  secretariat@irif.fr  et à  direction@irif.fr
Durant l’été un continuité sera assurée, y compris durant l’accès restreint au laboratoire durant les 3 premières semaines d’août (l’accès sera possible pour les membres du laboratoire sur déclaration préalable à venir).
Notez tout de même 
Du 19 au 31 juillet : absence de la direction (directeur et directeur adjoint), donc pas de signature (sauf si numérique) de documents
Du 6 au 10 août :  absence de la direction, donc pas de signature (sauf si numérique) de documents
Le 10, puis du 13 au 16 août août : fermeture du secrétariat 

- Changement de direction du pôle ASD
Laurent Viennot remplace Sylvie Corteel pour au moins une année.

Actualités scientifique

- 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”.

- Mihaela Sighireanu (IRIF) is co-chair of the 18th International Workshop on Automated Verification of Critical Systems (AVOCS) which will take place in Oxford from 18.07.18 to 19.07.18 as part of FLOC2018.
http://avocs18.irisa.fr

- Mihaela Sighireanu (IRIF) is organizing the second edition of SL-COMP, a competition of solvers for separation logic. The final results of this competition will be presented at ADSL 2018, a workshop of FLOC2018, which will take place in Oxford on the 13.07.18.

- Software Heritage :  Article from Paris Diderot. "Lancé par Roberto Di Cosmo, professeur d’Informatique en détachement chez Inria, avec Stefano Zacchiroli, maître de Conférences et une équipe qui compte aujourd’hui dix personnes, Software Heritage est un projet ambitieux d’archivage pour la préservation des logiciels et des codes sources à l’échelle mondiale."

- Software Heritage dans le plan pour la Science Ouverte : 


Notion de la semaine

Polymorphism:  A function is polymorphic when it can be applied to arguments of different types. For instance, the identity function fun x = x is polymorphic since it can be applied, say, to integers and Boolean arguments, while the successor function fun x = x+1 is not, since it can be applied only to integers.

Informations des tutelles et partenaires

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

- Paris Diderot :  Appel d'offre "Actions de recherche structurantes” 2018 - deadline 3 septembre