Edito

Dans la lettre cette semaine, la Journée internationale des femmes et filles de science 2023 et un focus sur le mois des égalités d'Université Paris Cité, des rappels importants sur les modalités de missions et des remboursements des frais et une note sur les risques professionnels et le registre de santé et de sécurité au travail.

Coté actualités scientifiques, un gros plan sur le projet QuBobs avec l'entretien de Sophie Laplante (IRIF) et les calls for contributions de QPL et TACAS.

Coté partenaires, plus que dix jours pour déposer votre candidature au Programme Jeunes Talents France 2023 L'Oréal-UNESCO Pour les Femmes et la Science, des financements pour des écoles d'été, et la bande dessinée Les Décodeuses du numérique disponible en anglais en consultation et téléchargement.

Bonne lecture !

Annonces de la direction

  • Journée internationale des femmes et filles de science 2023 : Chaque année depuis 2 ans, l'IRIF souligne cet événement et propose à quelques-unes de ses doctorantes et post-doctorantes de s'exprimer au sujet de leur parcours et sur la présence des femmes en informatique théorique. Nous remercions cette année Mouna Safir, Lucie Guillou et Shamisa Nematollahi pour leur participation. Leurs interviews sont disponibles ici.
  • Registre de santé et de sécurité au travail : même si les risques professionnels à l'IRIF sont limités (voir le detail dans le document unique d'évaluation des risques professionnels) le registre de santé et de sécurité au travail permet à tout membre du laboratoire de signaler un risque éventuel observé ou encouru, un accident ou un incident vu ou vécu, un dysfonctionnement d'une installation ou d'un dispositif de sécurité ainsi que toute suggestion relative à la prévention des risques. Plus d'informations sur la page du registre.
  • [Rappel] Remboursement frais de repas en mission : nous rappelons que le remboursement de chaque repas nécessite un reçu et que ni les reçus de cartes bancaires ni les factures qui ne sont pas au nom du missionnaire ne sont pas éligibles. En particulier, la conséquence du deuxième point est que si vous prêtez votre carte de cantine à votre invité, le repas ne lui sera pas remboursé.
  • [Rappel] Nouvelle procédure pour les missions à l'étranger des agents à Université Paris Cité : Veuillez prendre note de cette nouvelle procédure en vigueur depuis le 09 février 2023. Les missions dans les pays à risques sont à déclarer au minimum 21 jours avant le départ avec l’ordre de mission rempli.
  • [Rappel] Five tenured positions in theoretical computer science at IRIF / Université Paris Cité : The department of computer science of Université Paris Cité has five openings for tenured positions in theoretical computer science, broadly construed: 3 associate professor (MCF) positions and 2 full professor (PR) positions, with a deadline for applications on March 6, 2023 at 16:00 CET. See the announcements in French at https://www.irif.fr/postes/universite and http://www.informatique.univ-paris-diderot.fr/ufr/recrutements. Please make sure to send to schmitz@irif.fr any suggestions of lists where this ad could be posted.


Actualités

  • TACAS 2023 TOOLympics / Call for Contributions : The TACAS 2023 TOOLympics is an event to celebrate the achievements of the various competitions and comparative evaluations broadly related to the field of formal methods and document the experiences, decisions, and best practices stemming from current and past competitions and evaluations in this area. All competitions and comparative evaluations related to formal methods are invited to participate with a short presentation in the TOOLympics session at ETAPS 2023 on April 26 in Paris, and/or by submitting a competition report/description paper to the peer-reviewed Springer post-proceedings volume. March 22, 2023 : Deadline to indicate intention to participate. June 1, 2023 : Paper submission.


Focus sur le mois des égalités d'Université Paris Cité

La troisième édition du « Mois des égalités » se déroulera du 1er au 31 mars 2023. A cette occasion, de nombreux événements sont organisés afin de sensibiliser à la prise en compte et au respect de toutes les formes de différence : ateliers Drag King, formation aux premiers secours en santé mentale, tables-rondes, épisode spécial des Grands Débats consacré à l’alimentation et les inégalités sociales, projections de films, représentations de théâtre… Découvrez le programme complet ici !

Pour aller plus loin, l'interview "3 questions à Joëlle Kivits, vice-présidente en charge des égalités".

Le Mois des égalités constitue un temps fort de l’activité de la Mission ÉgalitéS. Son objectif est de sensibiliser l’ensemble des actrices et acteurs de la communauté universitaire à la prise en compte et au respect des différences, et contribuer ainsi à la lutte contre toutes les formes de violences et de discriminations – ambition prioritaire de la Mission.


Appels d'offres et informations des partenaires

  • [Rappel] Appel à candidature / Programme Jeunes Talents France 2023 L'Oréal-UNESCO Pour les Femmes et la Science : La date limite de dépôt des dossiers de candidature est le lundi 27 février 2023. La Fondation L’Oréal remettra 35 dotations en France. Lien vers la plateforme digitale du programme ici.
    • d’un montant de 15 000 € chacune à des doctorantes
    • d’un montant de 20 000 € chacune à des post-doctorantes

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

Agenda de la semaine du 20 février au 25 février

Vérification
Lundi 20 février 2023, 11 heures, 1007 and Zoom link
Kevin Zagalo (Inria Paris) Schedulability of stationary real-time systems

Algorithmes et complexité
Mardi 21 février 2023, 11 heures, Salle 3052
Pihla Karanko (Aalto University) Introduction to garbling (with penguin illustrations!)

Sémantique
Mardi 21 février 2023, 10 heures 30, Salle 1007
Nima Rasekh (Max Planck Institute in Mathematics (MPIM) Bonn) Category Theory of Universes

Algorithmes et complexité
Mercredi 22 février 2023, 11 heures, Salle 3052
Omri Weinstein (Columbia University) Approximate Matrix Multiplication via Spherical Convolutions

Combinatoire énumérative et analytique
Jeudi 23 février 2023, 14 heures, Salle 3052 et zoom
Lucas Gerin TBD

Preuves, programmes et systèmes
Jeudi 23 février 2023, 10 heures 30, Salle 3052 & online (Zoom link)
Francesco Gavazzo (University of Pisa) Computational Effects From a Relational Angle

Graph Transformation Theory and Applications
Vendredi 24 février 2023, 15 heures, online
Alexandre Fernandez (Department of Computer Science, LIP, ENS de Lyon, France) Spatialized Synchronous Computations with Global Transformations