Mail original

Bonjour à tous,

Beaucoup d’actualités scientifiques, notamment en termes d’évènements organisés par l’IRIF, sans oublier la leçon inaugurale de Xavier Leroy, nouveau membre du Collège de France. Je souligne aussi les très bons résultats du laboratoire à POPL.
Je vous transmets enfin un message de l’INS2I à destination des responsables de laboratoires et d’équipes, mais que je voulais partager avec vous tous. Il a vocation à inciter à plus de candidatures de notre communauté aux projets ERC. Ces candidatures peuvent aussi être effectuées par des postdocs sans postes permanents.

Frédéric

Annonces de la direction

- Démarches RH CNRS
La plupart s’effectuent maintenant via le nouveau service ariane du CNRS, y compris les demandes de cumul d’activités, de remboursement des frais de transport, de formation, de congé paternité, de supplément familial, ...
Plus de formulaire papier ne sera accepté.

- Ordre du jour du conseil de laboratoire du 13 novembre
  - Associations :  poursuite de la discussion sur les motifs d'associations, et décision des renouvellements 
  - Horaires, ordre de mission permanent :  mise en place des procédures pour les accès réguliers hors horaires d’ouverture au public pour les membres permanents en janvier 2019 (en lien avec le règlement intérieur)
  - Retour du groupe de travail "réflexion sur le soutien à la recherche fourni par l’IRIF"   : suite à donner, notamment pour l’AG du 8 janvier 2019
  - Classements des candidatures FSMP, CNRS, INRIA  : mode opératoire du laboratoire

- Prochaine Assemblée générale : 8 janvier,  14h15 à 15h45, amphi Turing 

- Problème de mails @cnrs.fr
Le marché de gestion du mail @cnrs.fr est passé d’Atos à Thalès.
Une conséquence de cela est une indisponibilité des alias des mails @cnrs.fr redirigeant vers d’autres emails depuis le 27 octobre jusqu’au 8 novembre.
Une nouvelle occasion pour vous recommander d’ utiliser l’email @irif.fr sans aucune redirection.
Le service , la fiabilité , et la non diffusion des données à des services tiers sont garantis par la plateforme informatique du bâtiment.


Actualités scientifique

-  The last plenary meeting of  GDRI Logique Linéaire  will take place at IRIF , December 3-5. The program will consist of talks given by members of the GDRI .

- Collège de France :  La chaire sciences du logiciel a été attribuée à Xavier Leroy. La leçon inaugurale aura lieu le  15 novembre

-  The first session of a series of seminars "Graph Theory in Paris" will be hosted by IRIF. There will be two seminars by Monique Laurent and Lex Schrijver on the 23rd of November, at 2pm, in Amphi Turing of Sophie Germain building.

-   Four papers coauthored by IRIF members will be presented at the prestigious conference  POPL’19 in Lisbon this January.   Topics include game semantics, proof theory, gradual typing, and consistency for concurrent computations.

Notion de la semaine

The  Curry-Howard correspondence  defines a direct relationship between well-typed functional programs and mathematical proofs. For instance, a functional program with input of type A and output of type B (i.e., a program of type A → B) is equivalent to a proof of the formula A implies B (i.e., A ⇒ B): it is an operational way to produce a proof of B from a proof of A. This correspondence can be generalized to logics that are more expressive than the implicative fragment of the propositional logic and, nowadays, it has become a standard methodological tool to analyze a logic with respect to its computational aspects and of a calculus with respect to its logical aspects.

Informations des partenaires

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

- CNRS  : Message de l’INS2I pour encourager les soumissions des enseignants-chercheurs et des chercheurs aux projets ERC.  En particulier, l’INS2I organise une  réunion d’information sur l’ERC (avec la participation de lauréats et de membres de jurys de l’ERC) le jeudi 13 décembre 2018, de 13h30 à 17h30 .