==== Lettre de l'IRIF du 26 novembre 2021 ==== === Edito === 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 ! === Annonces de la direction === * **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 [[https://www.irif.fr/portraits/matej_stehlik_1er_septembre_2021|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 {{ :intranet:lettre-irif:2021-11-26:aranet4_display_app_qr_code_self-print_version.pdf |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. \\ === Actualités === * **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 [[https://indico.math.cnrs.fr/event/7040/|"Combinatorics and Arithmetic for Physics: special days” meeting]] at [[https://www.ihes.fr/|IHÉS]]. * **Accepted paper / POPL 2022** : [[https://www.irif.fr/~gc|Giuseppe Castagna]] (IRIF), [[https://www.irif.fr/~mlaurent/|Mickaël Laurent]] (Université de Paris), **Kim Nguyen** (Université Paris Saclay) and **Matthew Lutze** (Université de Paris) will present their paper [[https://hal.archives-ouvertes.fr/hal-03426711|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/]]. \\ === Focus on Adrian Vladu's accepted paper at FOCS'21 === {{:intranet:lettre-irif:2021-11-26:4.electrical-flow.png?200 |}} **[[https://www.adrianvladu.org/|Adrian Vladu]]**'s paper [[https://www.mit.edu/~kaxiotis/papers/FasterMinCostFlow.pdf|Faster Sparse Minimum Cost Flow by Electrical Flow Localization]], jointly written with **Kyriakos Axiotis** and **Aleksander Madry**, will be presented at [[https://focs2021.cs.colorado.edu|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. \\ === Appels d'offres et informations des partenaires === * **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. * [[https://u-paris.fr/question-egalites/|La série « Question d’égalités »]], une playlist de vidéos qui décryptent les concepts liés aux égalités. * [[https://u-paris.fr/exposition-tu-portais-quoi/|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. * [[https://u-paris.fr/dans-ta-fac/|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. [[https://u-paris.fr/ma-these-en-180s-edition-2022-inscriptions-ouvertes-et-nouveautes/|Toutes les informations et nouveautés sur ce concours ici]]. * **Data Intelligence Institute of Paris / Announcements** : * The diiP cordially invites you to its {{ :intranet:lettre-irif:2021-11-26:diip-perimeter_rappel_diip_distinguished_lecture_november_3_4pm.eml |Project and Networking event}} on **Wednesday, December 8th 2021 from 1:30 PM to 6 PM**. In order to attend, you must [[https://docs.google.com/forms/d/e/1FAIpQLSee13bkdx4cdWhPq3WVuB4miywuq4qsZANamPWHH0CfyRo7WQ/viewform?usp=sf_link|register by November 26th here]]. * The {{ :intranet:lettre-irif:2021-11-26:diip-perimeter_diip_seminar_dec15_4pm.eml |next diiP seminar}} will be presented [[https://u-paris.zoom.us/j/85039567470?pwd=WFVacGhhMWJRdzdUNDNrck9ZbW5Pdz09|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. * [[http://xwx9u.mjt.lu/nl2/xwx9u/58v19.html?m=AUsAAELjyXcAAci3QlAAAKsUJ0kAAYCsKfkAHkJ8AAxjBwBhnlYAiOzUXrDETbmZ5oM8rFpwOwAMZ5w&b=8c1dcefa&e=7b55eb1e&x=AKRzCSvBZGUwtdkysKcPMA|Newsletter de l'ANR]] de Novembre 2021 * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI3OCIsIjZndWNoYmh3OGFza3MwNGs4OHd3b2NvOHNndzh3c3djIiwiMzAxIiwiNDIyYzFjZmYzYzBmIixmYWxzZV0|Université de Paris Infos]] du 26/11/2021 * [[http://www.cnrs.fr/CNRS-Hebdo/iledefrance-villejuif/lettre.php?numero=605|CNRS Hebdo]] du 25/11/2021 * [[https://u-paris.fr/?mailpoet_router&endpoint=view_in_browser&action=view&data=WzQ3NiwwLDQ3MCwiYTVocTJ6enA3eXdja3NvZ29rY2NrdzRvc3drd29nODAiLDI5OSwwXQ|L'actualité étudiante]] d'Université de Paris du 25/11/2021 * [[https://www.cnrs.fr/endirectdeslabos/lettre.php?numero=305|"En direct des labos"]], la lettre d'info des Instituts du CNRS du 23/11/2021 \\ === Agenda de la semaine du 29 novembre au 03 décembre === [[:seminaires:adg:|Algorithmique distribuée et graphes]] · Mardi 30 novembre, 14:00, Room 1007 · \\ **Marco Caoduro** (G-Scop), //Hitting and packing squares// [[:seminaires:pps:|Preuves, programmes et systèmes]] · Jeudi 02 décembre, 10:30, Virtual room at [[https://galene.org:8443/group/seminaire-pps/|link]] (any password works) · \\ **Sylvain Boulmé** (Verimag), //Formally Verified Assembly Optimizations by Symbolic Execution.// [[:seminaires:acs:|Analyse et conception de systèmes]] · Jeudi 02 décembre, 14:00, Room 15-16 101 (campus Jussieu) · \\ **Raphael Monat** (APR/LIP6/Sorbonne Université), //A Modern Compiler for the French Tax Code// [[:seminaires:combi:|Combinatoire énumérative et analytique]] · Jeudi 02 décembre, 14:00, Room 1007 · \\ **Ariane Carrance** (CMAP, Ecole Polytechnique), //TBD// [[:seminaires:cat:|Catégories supérieures, polygraphes et homotopie]] · Vendredi 03 décembre, 14:00, Room 1007 · \\ **Guillaume Laplante-Anfossi** (Université Sorbonne Paris-Nord), //La diagonale des opéraèdres// [[:seminaires:automates:|Automates]] · Vendredi 03 décembre, 14:30, Room 3052 (Online) · \\ **Jan Otop** (University of Wrocław), //Active learning automata with syntactic queries// [[:seminaires:greta:|Graph Transformation Theory and Applications]] · Vendredi 03 décembre, 15:00, online · \\ **Daniel Strüber** (Department of Computer Science and Engineering, Chalmers University of Technology, University of Gothenburg, Sweden), //Supporting Software Variability with Graph Transformations//