Lettre de l'IRIF du 15 novembre 2019

Edito

La fin d'année approche, et, comme annoncé précédemment, ce jour est le dernier pour transmettre au secrétariat vos demandes de commandes ou de mission pour 2019. Pensez-y !

Plusieurs évènements du laboratoire à ne pas râter dont le pot de départ et de succès d'Etienne, et la journée autour des algorithmes de Claire avec pas moins de 7 intervenantes (inscriptions bientôt closes car la salle est déjà quasi-complète !).

Notez aussi une réunion d'information sur la réforme des retraites dans notre bâtiment mardi prochain.

Enfin, vous trouverez aussi un double courrier du CNRS au sujet des ERC : une réunion au siège du CNRS et en visio est prévue le 17 décembre. Je joins aussi quelques lettres des partenaires afin que vous puissiez y souscrire si vous le souhaitez.

Annonces de la direction

  • Rappel budget fin d'année
    • 1er novembre : Fin des demandes de subventions au laboratoire (crédits épuisés)
    • 15 novembre (aujourd'hui) : Date limite de transmission des commandes et des missions au secrétariat
    • 6 décembre : Date limite de transmission au secrétariat des retours de missions
  • Départ d'Etienne Mallet : Etienne a eu un concours CNRS et va donc nous quitter le 01/12 pour prendre son nouveau poste. Pour le remercier pour tout son travail à l'IRIF, nous organisons un goûter de départ le 27/11 à 16h au 3ème étage.
  • Autour des algorithmes : L'évènement qu'organise l'IRIF pour la célébration de la médaille d'argent de Claire Mathieu se déroulera à l'Amphi Turing. Le nombre de places est donc limité et l'inscription sera bientôt close. Merci de vous inscrire dès maintenant si vous voulez y participer : Information et inscription.
  • Réforme des retraites : Le Snesup Paris Diderot organise une réunion d'information sur les retraites mardi 19 novembre de 12h30 à 14h00 en salle 2011 du bâtiment Sophie Germain. Pour rappel, le 5 décembre est une journée nationale de grève. Pensez à vous déclarer le moment venu en grève le cas échéant.
  • Chiffrement, mail, agenda, cloud et outils collaboratifs : Pensez à utiliser les outils fournis par la plateforme pour votre mail, calendrier, cloud et vos travaux collaboratifs (sondages, dates de rendez-vous, documents partagés). Rappels des règles des tutelles CNRS et Université :
    • Tout appareil électronique (professionnel ou privé), dont smartphone, contenant des données professionnelles (dont le mail) doit être chiffré.
    • L'usage de services privés tels que Dropbox ou Gmail pour gérer ces mêmes données professionnelles est proscrit.
    • Outils à disposition des membres de l'IRIF : La plateforme informatique du bâtiment a développé des services très performants de mail et de partage de fichiers (owncloud), ainsi que des outils collaboratifs (sandstorm) : https://www.math.univ-paris-diderot.fr/sysadmin/

Actualités scientifiques de l'IRIF

  • Yann Régis-Gianas (IRIF) co-organizes at IRIF the workshop “Tezos Smart Contrat Languages and Formal Verification” on the 21 and 22 of November. Registration is free but mandatory.

Notion de la semaine

Descriptive complexity is a branch of computational complexity theory and of finite model theory that characterizes complexity classes by the type of logic needed to express the languages in them. For example, the polynomial hierarchy is precisely the class of languages expressible by statements of second-order logic. This connection between complexity and the logic of finite structures allows results to be transferred easily from one area to the other, facilitating new proof methods. The first main result of descriptive complexity was Fagin's theorem (1974). It established that NP is precisely the set of languages expressible by sentences of existential second-order logic. Many other classes were later characterized in such a manner.

Appels d'offres, évènements des partenaires

Plus d’informations sont fournies dans les liens ou les pièces attachées.