Edito

Cette semaine, dans la lettre de l'IRIF, Notilus, l'outil de gestion des missions et états de frais a ouvert. Demain, vendredi 14 juillet, l'IRIF sera fermé.

Le cours “Projet de programmation en CAML” de L3 se retrouve sans enseignant.

L'IRIF met en place dès la rentrée de septembre le programme de garde d'enfants, en soutien aux femmes et aux parents en général pour les aider à s'occuper de leurs enfants lors des conférences, réunions ou voyages d'affaires. C'est le focus de cette semaine.

Bonne lecture et bon week-end prolongé !

Annonces de la direction

  • 14th of July: due to this holiday, IRIF will be completely closed for the whole day tomorrow.
  • Notilus : Notilus, l'outil de gestion des missions et des états de frais est ouvert. Les chercheurs et chercheuses doivent réserver eux-mêmes leurs voyages et soumettre leurs justificatifs via Notilus (voir fiche explicative).
  • Imprimantes : suite aux travaux qui doivent commencer le 4 août dans les zones centrales du laboratoire, les imprimantes ont été déplacées : dans l'espace commun central au 4ème étage et en salle 3052 au 3ème étage.
  • Olympe de Gouges: This week's code is 79274
  • [REMINDER] [SAVE THE DATE]: the Back to work event will be held on September 11 in room 9E at Halle aux Farines from 14:00pm to 18:00pm. There will be short overview talks by the new permanent members of the IRIF followed by a buffet. The program will be announced on this page.
  • ⚠ Dans le cadre d'une intervention, merci de noter qu'une coupure de téléphonie et réseau est prévue le mardi 18 juillet 2023 entre 7h00 et 8h00 dans le bâtiment Sophie Germain.


Actualités

  • Sélection ANR : toutes nos félicitations à Guillaume Chapuy et Sam Van Gool, sélectionnés à l'ANR. Guillaume a été sélectionné dans la catégorie “Instrument de financement : Projet de Recherche Collaborative (PRC)“ pour son projet “Combinatoire des cartes, méandres et multicourbes, et ses interactions”. Sam a été sélectionné dans la catégorie “Instrument de financement : Jeunes Chercheuses et Jeunes Chercheurs (JCJC)“ pour son projet “Espaces topologiques de types et de termes”.
  • Recherche d'enseignant : le cours “Projet de programmation en CAML” (L3) de l'Université Paris Cité au premier semestre recherche l'enseignant qui pourra assurer ses cours. Plus d'informations dans le mail de Carole Delporte.
  • [Rappel] Billets Cité des Sciences : l'IRIF dispose de 20 billets pour la Cité des Sciences et de l'Industrie. Avec vos petits ou bien entre grands, venez (re)découvrir les sciences dans leur globalité (l'univers, les mathématiques, les sons, le cerveau, les gênes, les robots, l'océan et bien d'autres !) et profitez d'une expérience unique au planétarium (par exemple, à l'occasion des 50 ans de leur album “The Dark Side of The Moon”, les Pink Floyd sont à l'honneur dans une expérience unique de 42 minutes, durée de l'album, où chaque chanson a un thème différent). Intéressé·e ? Contactez communication@irif.fr pour obtenir vos places.
  • Disponibilités Fête de la Science : pour anticiper l'organisation de la Fête de la Science à l'IRIF qui accueillera des élèves de primaire, collège et lycée, merci beaucoup de remplir ce formulaire (qui prends maximum 2 minutes à remplir) pour indiquer votre intérêt de participer à cet événement. Merci d'avance.
  • CAV 2023: the 35th International Conference on Computer Aided Verification is co-organized by IRIF. It will be held on July 17th-22nd, 2023 In Paris. The first two days (July 17th-18th) will be dedicated to affiliated workshops. You can register here.


IRIF & Environnement

  • The IRIF and Environment Commission is taking his summer break, no weekly comic strip this week. You still can follow and participate to I&E using Zulip (https://zulip.irif.fr), and via the website.


Focus on the Childcare program at IRIF

IRIF supports women and parents who wants to attend to conference, meetings, work travels and needs to have the support to take care of their children. This program will start in September. More information on this page.


Appels d'offres et informations des partenaires

Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.


Agenda de la semaine du 17 juillet au 21 juillet

Soutenances de thèses · Lundi 17 juillet, 14:00, Room 027C, Halle aux Farines ·
Antoine Allioux (IRIF), Higher Structures in Homotopy Type Theory

Théorie des types et réalisabilité · Mardi 18 juillet, 14:00, Room 147 (bâtiment Olympe de Gouge) ·
Paige North (Utrecht University), Coinductive control of inductive data types