==== Lettre de l'IRIF du 22 novembre 2019 ====
=== Edito ===

Une actualité calme qui nous permet de faire un peu de retrospective sur les interventions des membres de l'IRIF au Collège de France. 

Ne manquez pas les [[https://www.irif.fr/seminaires/hdr/index|soutenances d'HDR]] de nos collègues, Yann, ce jour, et Constantin, la semaine prochaine. Et bien entendu rendez-vous à mercredi pour le pot de départ d'Etienne.

=== Annonces de la direction ===

  * **<color crimson>Rappel budget fin d'année</color>**
    * <del>1er novembre : Fin des demandes de subventions au laboratoire</del> (crédits épuisés)
    * <del>15 novembre (aujourd'hui) : Date limite de transmission des commandes et des missions au secrétariat</del>
    * **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__. 

  * **Emails en @liafa et @pps** : Après les adresses en @jussieu.fr, il est temps d’arrêter progressivement l’usage des adresses en @liafa et @pps. En effet chaque membre de l'IRIF dispose d'une adresse en [[prenom.nom@irif.fr]]. Concrètement, à compter de **janvier 2020** :
    * **En interne** : Les adresses @liafa et @pps seront bloquées. Il sera donc impossible d'écrire ou de répondre à une adresse @liafa ou @pps.
    * **Depuis l'extérieur** (modalité mise à jour suite au dernier conseil de laboratoire) : Tout email adressé à @liafa ou @pps continuera d'être transmis, tant que le domaine univ-paris-diderot.fr existera.

=== Actualités scientifiques de l'IRIF ===

  *  **Rétrospective 2017-19 Collège de France** : L'IRIF est régulièrement acteur au collège de France. Retrouver les interventions des membres de l'IRIF ci-dessous (vidéos disponibles) :
    * Chaire annuelle 2017-18 d'Informatique et sciences numériques de Claire Mathieu (IRIF) : [[https://www.college-de-france.fr/site/claire-mathieu/course-2017-2018.htm|Algorithmes]]
      * Séminaire de Pierre Fraigniaud (IRIF) : [[https://www.college-de-france.fr/site/claire-mathieu/seminar-2017-11-28-11h00.htm|Algorithmes distribués]]
      * Exposé au colloque d'Adi Rosén (IRIF) : [[https://www.college-de-france.fr/site/claire-mathieu/symposium-2018-06-07-10h00.htm|Streaming Algorithms for the Set Cover Problem]]
    * Dans le cadre de la chaire Sciences du Logiciel 2018-19 de Xavier Leroy (professeur titulaire du Collège de France, non-IRIF) : [[https://www.college-de-france.fr/site/xavier-leroy/course-2018-2019.htm|Programmer = démontrer? La correspondance de Curry-Howard aujourd’hui]]
      * Séminaire de Matthieu Sozeau (IRIF) : [[https://www.college-de-france.fr/site/xavier-leroy/seminar-2018-12-12-11h30.htm|Programmer avec Coq : récursion et filtrage dépendant]]
      * Séminaire de Christine Tasson (IRIF) : [[https://www.college-de-france.fr/site/xavier-leroy/seminar-2019-01-23-11h30.htm|Sémantique des programmes fonctionnels probabilistes, à la lumière de la logique linéaire]]
      * Séminaire IRIF & Collège de France : [[https://www.college-de-france.fr/site/xavier-leroy/guestlecturer-2019-03-18-17h00.htm|Robert Tarjan (Princeton)]]
    * Dans le cadre de la chaire annuelle 2018-19 d'Informatique et sciences numériques de Rachid Guerraoui (EPFL) : [[https://www.college-de-france.fr/site/rachid-guerraoui/course-2018-2019.htm|Algorithmique répartie]]
      * Séminaire de Hugues Fauconnier (IRIF) : [[https://www.college-de-france.fr/site/rachid-guerraoui/seminar-2018-12-21-11h00.htm|Détecteurs de défaillances]]
      * Séminaire de Carole Delporte (IRIF) : [[https://www.college-de-france.fr/site/rachid-guerraoui/seminar-2019-03-01-11h00.htm|Protocoles de Population]]
      * Exposé au colloque d'Ahmed Bouajjani (IRIF) : [[https://www.college-de-france.fr/site/rachid-guerraoui/symposium-2019-04-12-15h00.htm|Systematic Design of Adequately Consistent Distributed Systems]]
      * Exposé au colloque de Pierre Fraigniaud (IRIF) : [[https://www.college-de-france.fr/site/rachid-guerraoui/symposium-2019-04-12-16h00.htm|Distributed Network Computing]]
    * Dans le cadre de la chaire annuelle 2019-20 d'Informatique et sciences numériques de Walter Fontana (Harvard) : [[https://www.college-de-france.fr/site/walter-fontana/course-2019-2020.htm|La biologie de l’information, un dialogue entre l’informatique et la biologie]]
      * Séminaire de Jean Krivine (IRIF) : [[https://www.college-de-france.fr/site/walter-fontana/seminar-2019-11-22-14h00.htm|From molecules to systems: the problem of knowledge representation in molecular biology]] (planifié pour le 22 novembre 2019 à 14:00)

  * **What are near-term quantum computers good for?**  **Iordanis Kerenidis** (IRIF) will give a talk on **11/29** in a meeting organized by the DIM Sirteq where **Google** will present its recent results about **quantum supremacy**. [[https://pqc.sciencesconf.org/|Registration]] is free but mandatory.

=== Notion de la semaine ===

<html>
<b>Computational complexity</b> theory focuses on classifying computational problems according to their inherent difficulty, and relating these classes to each other.  A problem is regarded as inherently difficult if its solution requires significant resources, whatever the algorithm used. The ressources are usually time and storage, but can also be, for instance, the amount of communication, the number of gates in a circuit and the number of processors. One of the roles of computational complexity theory is to determine the practical limits on what computers can and cannot do. The P versus NP problem, one of the seven Millennium Prize Problems, is dedicated to the field of computational complexity.
</html>


=== Appels d'offres, évènements des partenaires ===

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

  * **CNRS** : [[https://lejournal.cnrs.fr/newsletters|CNRS LE JOURNAL]]
  * **U. Paris** : {{:intranet:lettre-irif:2019-11-22:dir_u-recherche_invitation_journe_es_fapesp-universite_de_paris_25_et_26_novembre.eml |Invitation journées Fapesp-Université de Paris}}, deux journées de rencontres avec des collègues brésiliens venus de diverses universités de l’Etat de Sao Paulo les **25 et 26 novembre**, [[http://www.fapesp.br/week2019/france/|programme]]
  * **U. Paris, Faculté des Sciences** : {{:intranet:lettre-irif:2019-11-22:tr_up-faculte_des_sciences_composition_des_conseils_.eml |Composition des conseils}}
  * **U. Paris** : {{:intranet:lettre-irif:2019-11-22:info-recherche_bourses_individuelles_marie_curie_2020_-_appel_a_manifestations_d_interet.eml|Bourses individuelles Marie Curie 2020}}, appel à manifestations d'intérêt d'accueil