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