Lettre de l'IRIF du 8 novembre 2019

Edito

La lettre est maintenant sur l'intranet! Elle pourra ainsi être archivée et écrite de façon plus collaborative.

Au programme de cette semaine, des rappels de sur les horaires d'accès à nos locaux et sur l'usage du frigidaire, ainsi que des précisions sur la suppression des adresses en @liafa et @pps en janvier 2020.

Cette saison est synonyme de soutenances de thèse et d'HDR à enregistrer et à retrouver sur le site de l'IRIF. Retrouvez aussi de beaux évènements scientifiques liés aux travaux de l'IRIF, et enfin des annonces de bourses et formations de nos partenaires très intéressantes.

Annonces de la direction

  • Horaires d’accès au laboratoire / Access hours to the laboratory
    • Public access: Monday-Friday, 8am to 8pm.
    • For permanent members only with the appropriate authorization:
      • Monday-Friday: the building is open from 7:50am to 10:45pm. (exiting the building after 8:00pm can only be done by the door on Rue Albert Einstein)
      • Weekend: the building is open from 7:50am to 7:45pm. (Access via doors on Rue Nicole-Reine Lepaute, or Rue Albert Einstein.)
    • More information on intranet
  • Réfrigérateur : Un système de gestion des denrées du contenu du réfrigérateur est actuellement expérimenté au 4e étage. Merci de vous y conformer. Tout ce qui n'est pas étiqueté du mois courant ou du mois précédent sera jeté le 1er de chaque mois.
  • Soutenances de thèse et d'HDR : En cette période de soutenances de thèse et d'HDR, merci de penser à contacter votre responsable de séminaire ou d'envoyer un mail à news@irif.fr afin que la date de soutenance soit renseignée sur les pages des soutenances de l'IRIF.
  • 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.
    Je vous demande donc de basculer d’ici janvier 2020 vers vos adresses prenom.nom@irif.fr, dont chaque membre de l’IRIF dispose. Note : le changement de nom de l’université n’affectera pas les adresses en @irif.fr.
    Concrètement, à compter de janvier 2020 :
    • En interne : Obligation d'utiliser les adresses @irif.fr. Les adresses @liafa et @pps seront bloquées.
    • Depuis l'extérieur : tout email adressé à @liafa ou @pps sera toujours transmis mais avec une réponse automatique en anglais et français, indiquant la modification à apporter à l’adresse email destinataire

Actualités scientifiques de l'IRIF

  • Walter FONTANA (MedSchool Harvard) holds the annual chair of Collège de France on the theme “Life and the Computer: The Challenge of a Science of Organization”. The lectures and seminars started since the 10-24. Jean Krivine (IRIF) will give a seminar the 11-22.
  • 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. Registration is free but mandatory.
  • On December 16th, a half-day of talks aimed at a non-specialized audience will take place at IRIF in celebration of Algorithms, the research domain of Claire Mathieu, 2019 recipient of a CNRS Silver Medal. The event will conclude with a discussion of new research directions in Algorithms. Free Registration before November 30th.
  • Talks of the IRIF Distinguished Talks Series for the coming academic year have been scheduled. Save the dates: January 24, March 20 and June 20. Speakers will be Martin Grohe (RWTH Aachen University), Joseph Mitchell (State University of New York at Stony Brook) , Simon Peyton Jones (Microsoft Research at Cambridge, England).

Notion de la semaine

In computer science, model checking is exhaustively and automatically checking whether the mathematical model of some given system meets a given specification. Typically, one has hardware or software systems in mind, whereas the specification contains safety requirements such as the absence critical states that can cause the system to crash. To this end, the problem is formulated as an algorithmic task in logic, namely to check whether a given structure satisfies a given logical formula. This general concept applies to many kinds of logic and suitable structures. An important class of model checking methods have been developed for checking models of hardware and software designs where the specification is given by a temporal logic formula.

Appels d'offres, évènements des partenaires

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