Mail original

Bonjour à tous,

Un sondage vient d’être mis en place. Nous comptons sur vous pour y répondre massivement. Les retours serviront de base pour définir l’évolution des services fournis par l’IRIF.
Notez aussi, une nouvelle belle récompense pour un de nos anciens doctorants ! Félicitations à Fabian Reiter.

Pour l’équipe de direction (Eva, Frédéric et Giuseppe)
Frédéric

Annonces de la direction


- Mise en place d’un sondage IRIF
Les enseignants-chercheurs et les chercheurs permanents de l’IRIF, ainsi que les doctorants, postdoctorants et ATER de l’IRIF, ont reçu un sondage à remplir afin d’évaluer les différents services de l’IRIF ainsi que son organisation et sa structuration . Nous vous remercions d’y répondre massivement d’ici le 23 décembre.
Note : ce sondage utilise la plateforme GoogleForm, mais aucune donnée personnelle n’y a été transmise, le sondage est de surcroît anonyme.

- Ordre du jour du conseil de laboratoire du 18 décembre 13h
 - Retour audit financier du CNRS du 19-20 novembre et mesures à prendre
 - Point sur les futurs recrutements administratifs
  - Point sur la hausse des frais d’inscription à l’université pour les étudiants extra-européens
 - Classements candidatures FSMP, CNRS, INRIA : mode opératoire du laboratoire, traitement des dossiers postdocs FSMP
 - Publicité des offres de thèses à l’IRIF
 - Hausse des frais d’inscription à l’université pour les étudiants extra-européens

- Horaires d’accès au laboratoire
Pour rappel, l’accès au public ne peut se faire que de 8h à 20h du lundi au vendredi, y compris pour les moments festifs.  En dehors de cette plage horaire, les membres du laboratoire peuvent avoir accès au laboratoire sous condition. Cet accès doit rester exceptionnel et est soumis à autorisation et certaines dispositions, cf intranet :

Actualités scientifiques

- Prix de thèse Gilles Kahn de la SIF
Fabian Reiter now at LSV was awarded the Honorable Mention of the Gilles Kahn prize for his PhD « Distributed Automata and Logic » supervised by Olivier Carton at IRIF_Paris.

- Constantin Enea (IRIF) will present at POPL 2019 a methodology for specifying software modules whose operations satisfy multiple consistency levels. This has been applied to Java concurrent objects revealing previously unknown documentation errors and bugs.

- Ailleurs : Un calendrier de l'Avent des pionnières en informatique

Notion de la semaine

Descriptive complexity theory
Descriptive complexity is the study of complexity theory from the point of view of  logic. Typical results in descriptive complexity theory establish that a specific complexity class precisely corresponds to those problems that are expressible in a specific logical formalism. For instance AC0 corresponds to first-order logic, NL corresponds to  first-order logic with transitive closure, NP corresponds to existential second-order logic, etc… This branch of research demonstrates that the way a problem is mathematically formalized tells a lot on the computation power required to solve it. It also provides additional evidence that the main complexity classes are somehow "natural" and not tied to the specific abstract machine model.

Informations des partenaires

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

- FSMP : Lettre de la FSMP avec la Tribune d'Eric Fleury (directeur d'Inria Paris), les appels d'offres master et thèse, le Challenge Data, les vidéos de la journée Horizon Maths 2018 sur l’IA, la dernière moisson de prix (ERC, Emergence, …)