Dans la lettre cette semaine, un nouveau portrait à lire, le point sur le stock informatique disponible et le retour du gâteau de l'IRIF.

Côté actualités scientifiques, certains de nos membres sont impliqués dans l’organisation d’un workshop ou invités à participer à des invited talks. On regarde d’un peu plus près deux papiers acceptés à FOCS 2021 et POPL 2022.

Parmi les informations de nos partenaires, on notera les actions mises en place par Université de Paris dans le cadre de la journée internationale pour l’élimination des violences faites aux femmes et l’ouverture des inscriptions au concours Ma thèse en 180s.

Et enfin, l’agenda de la semaine du 29 novembre au 3 décembre.

Bonne lecture !

• Portrait nouvel arrivant : Nous avons le plaisir d'accueillir depuis le 1er septembre Matěj Stehlík, professeur en informatique à l'Université de Paris. Apprenez-en davantage sur son parcours et sa recherche en lisant son portrait.

• Mesure Covid :
  • Plusieurs boitiers mesurant le taux de CO2 ont été placés dans le laboratoire (espaces communs et de travail). Pour visualiser les risques vous pouvez soit consulter le chiffre inscrit sur le boitier, soit scanner ce QR code.
  • D'autres boitiers sont disponibles en 4001 à la 1/2-journée pour des réunions recherche. D'autres capteurs sont disponibles pour l'enseignement en 3003.

• Stock informatique disponible : Les ordinateurs fixes disponibles sont listés ci-dessous. Contacter secretariat@irif.fr.
  • 4 IMAC 27 Pouces
  • 5 Optiflex 7780 All In One (Linux)
  • 2 Optiflex 7480 All In One

• IRIF cake : The traditional Thursday cake is back. You are all invited to join the event every Thursday at 17h to chat, meet your colleagues and share cake made by fellow IRIF members. Sanitary pass AND precautions are mandatory. It is happening in the 3rd floor.

• Workshop DaLFI : Mirna Džamonja et Sam Van Gool (IRIF) sont les organisateurs du Workshop DaLFI Duality and Logic in the passage from the Finite to the Infinite (31 juillet-1er août) accepté au sein de la conférence FLoC 2022 (31 juillet-2 août).

• Invited conference of IHÉS : Two members of IRIF (Nicolas Behr and Paul-André Melliès) will be giving invited talks at the "Combinatorics and Arithmetic for Physics: special days” meeting at IHÉS.

• Accepted paper / POPL 2022 : Giuseppe Castagna (IRIF), Mickaël Laurent (Université de Paris), Kim Nguyen (Université Paris Saclay) and Matthew Lutze (Université de Paris) will present their paper On Type-Cases, Union Elimination, and Occurrence Typing. The paper shows a nifty way to use classic deduction rules to define a formal framework in which dynamic languages such as JavaScript can statically and precisely typed. Check the proof-of-concept implementation available at https://typecaseunion.github.io/.

Adrian Vladu's paper Faster Sparse Minimum Cost Flow by Electrical Flow Localization, jointly written with Kyriakos Axiotis and Aleksander Madry, will be presented at FOCS 2021 February 7-10 2022.

In this paper they consider the minimum cost flow problem, which is a fundamental problem in algorithmic graph theory. This generalizes other classical problems such as maximum flow, minimum cost bipartite matching, or negative-weight shortest path.

Classic algorithms had very slow running times. For sparse graphs these could not be improved beyond O~(m^{3/2}). Interestingly, this was achieved using an algorithm used in continuous optimization method, called interior point method. In this paper, the authors provide the first running time improvement since 2008 for graphs with polynomial capacities, improving the previous running time of Daitch and Spielman to O~(m^{3/2 - 1/762}).

Previously, Adrian and team had obtained a running time of m^{4/3+o(1)} in unit-capacity graphs (https://arxiv.org/abs/2003.04863v2). But the techniques did not carry over to this more general setting. Here they use new structural results on the effective resistances in the graph.

• Université de Paris / Journée internationale pour l’élimination de la violence à l’égard des femmes : A l’occasion du 25 Novembre, journée internationale pour l’élimination de la violence à l’égard des femmes, Université de Paris rappelle son engagement dans la lutte contre toutes formes de violences sexistes et sexuelles et partage ses actions.
  • La série « Question d’égalités », une playlist de vidéos qui décryptent les concepts liés aux égalités.
  • L’exposition « Tu portais quoi ce jour-là ? », une exposition mettant en scène des témoignages réels afin de déconstruire les stéréotypes liés au viol.
  • La BD interactive « Dans ta Fac », sur les violences sexistes et sexuelles qui vous plonge au cœur du récit et vous amène à faire vos propres choix.

• Université de Paris / Ma thèse en 180s : L'édition 2022 du concours Ma thèse en 180s est lancée. Les inscriptions sont ouvertes jusqu'au 12 décembre et une réunion d'information est prévue le 6 décembre à 18h. Toutes les informations et nouveautés sur ce concours ici.

• Data Intelligence Institute of Paris / Announcements :
  • The diiP cordially invites you to its Project and Networking event on Wednesday, December 8th 2021 from 1:30 PM to 6 PM. In order to attend, you must register by November 26th here.
  • The next diiP seminar will be presented on Zoom on December 15, 4pm (Paris time) by Dr. Foula Vagena (Université de Paris, diiP) She has worked on different analytics problems including forecasting, image processing, graph analytics, multidimensional data analysis, text processing, recommendation systems, sequential data analysis and optimization within various fields such as transportation, healthcare, retail, finance/insurance and accounting.

• Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.
  • Newsletter de l'ANR de Novembre 2021
  • Université de Paris Infos du 26/11/2021
  • CNRS Hebdo du 25/11/2021
  • L'actualité étudiante d'Université de Paris du 25/11/2021
  • "En direct des labos", la lettre d'info des Instituts du CNRS du 23/11/2021