==== Lettre de l'IRIF du 16 juillet 2021 ==== === Edito === La pause estivale approche, la lettre hebdomadaire s'adaptera en conséquence avec un nouveau rythme et un contenu basé sur les actualités du moment. A retenir avant de partir en vacances : les dates de **fermeture de l'Université de Paris et du secrétariat de l'IRIF** et la date du **pot de rentrée (7 septembre)**. Côté actualités scientifiques, le Hcéres annonce la réalisation d'une **Synthèse Nationale des Mathématiques** et l'Université de Paris lance l'**appel à candidature pour le programme PAUSE**. Et enfin **Zoom sur ICALP 2021** où quelques membres de l'IRIF ont présenté des papiers acceptés dans le cadre de cette conférence. Bonne lecture ! === Annonces de la direction === * **Fermeture estivale** : Le site des Grands Moulins sera fermé du **vendredi 23 juillet 2021** au soir au **lundi 16 août 2021** au matin. *__Fermeture du secrétariat de l'IRIF__ du **2 au 6 août**. Activité réduite du **9 au 13 août**. *Tous les __services de l'Université de Paris__ seront fermés du **26 juillet au 13 août**. * **Pot de la rentrée / Save the date** : l'UFR d'Informatique et l'IRIF organisent un **pot commun pour la rentrée le 7 septembre**. Ci-dessous, l'horaire prévisionnel. *__10h00 - 12h30__ : Présentation des **nouveaux membres permanents** (personnel en soutien à l'enseignement et à la recherche, chercheurs et enseignants-chercheurs). *__12h30 - 13h00__ : **Buffet** *__14h00 - 15h00__ : Accueil des **nouveaux doctorants, post doctorants et ATER**. * **Semaine de rentrée L1 informatique** : Du 6 au 10 septembre 2021 se tiendra la rentrée des L1 informatique. A cette occasion, des anciens étudiants de L ou de M présenteront des projets réalisés dans le cadre de leurs études. Vous êtes étudiant.e et vous souhaitez faire une présentation ? Vous êtes chercheur.euse / enseignant.e-chercheur.euse et vous avez en tête des étudiant.es qui pourraient être intéressé.es à présenter ? Merci de bien vouloir contacter [[arnaud.sangnier@irif.fr]]. * **Stages scolaires d'observation / Appel à manifestation d'intérêt** * L'IRIF se joint à cette {{ :intranet:lettre-irif:2021-07-16:stages_3eme.eml |initiative globale de l'Université de Paris}}. Si vous souhaitez vous associez à ce projet et **accueillir des collégiens.ennes dans le cadre de leur stage scolaire d'observation**, vous pouvez manifester votre intérêt auprès de [[cadet@irif.fr]] en indiquant le nombre d'élèves que vous souhaiteriez accueillir. * Nous vous rappelons qu'une [[https://www.irif.fr/postes/stage-scolaire|page de l'intranet dédiée existe]]. Si vous voyez des éléments à modifier pour améliorer cette procédure d'accueil, n'hésitez pas à nous les partager. * **Informations salles** : Veuillez noter certains changements concernant les **salles 4033 et 3055**. * La **salle 4033** n'est plus disponible à la réservation car elle est en train d'être transformée en **bureau pour les doctorants**. * La **salle 3055** sera transformée, pour la rentrée, en bureau pour le **nouveau personnel administratif venant rejoindre l'UFR** (en charge d'une partie de la scolarité). === Actualités === * **Réalisation d'une Synthèse Nationale des Mathématiques** : Le [[https://www.hceres.fr/fr/actualites/mathematiques-francaises-le-hceres-confie-un-comite-de-16-personnalites-la-realisation|Hcéres lance la réalisation d’une synthèse disciplinaire nationale]] consacrée aux mathématiques. [[https://www.irif.fr/~berthe/|Valérie Berthé]] (IRIF) fait partie du comité des 16 personnalités chargées de rédiger un rapport de synthèse sur les mathématiques françaises. {{ :intranet:lettre-irif:2021-07-16:20210712_cp_hceres_synthesemathematiques.pdf |Lire le communiqué de presse à ce sujet}}. * **CCC 2021** : **One accepted paper** from [[https://www.irif.fr/~santha/|Miklos Santha]] (IRIF), Troy Lee, Tongyang Li and Shengyu Zhang will be presented at the annual [[https://www.computationalcomplexity.org|Computational Complexity Conference]] July 20–23. \\ Let G=(V,w) be a weighted undirected graph with m edges. The cut dimension of G is the dimension of the span of the characteristic vectors of the minimum cuts of G, viewed as vectors in {0,1}m. For every n≥2 we show that the cut dimension of an n-vertex graph is at most 2n−3, and construct graphs realizing this bound. [[https://arxiv.org/pdf/2011.05085.pdf|Full article available here]]. === Zoom sur ICALP 2021 === Toute cette semaine s'est déroulée l'[[http://easyconferences.eu/icalp2021/|édition 2021 de l'International Colloquium on Automata, Languages, and Programming]] (ICALP). **5 papiers co-écrits par des membres de l'IRIF** ont été présentés dans le cadre de cette conférence. Retour sur les articles. * Mathieu Mari, Chien-Chung Huang, **[[https://www.irif.fr/users/claire/index|Claire Mathieu]]** and Jens Vygen. [[https://arxiv.org/abs/2005.00575|Approximating maximum integral multiflows on bounded genus graphs]]. \\ En combinant des techniques de topologie algorithmique et de programmation linéaire, il est possible de construire un algorithme d’approximation pour un cas — à savoir, quand l’instance peut être plongée sur une surface de genre borné — plus général que précédemment connu, pour le problème classique du multiflot entier : on se donne un ensemble de sommets, un graphe d’arêtes de routage avec capacités, et un ensemble de paires de sommets (les requêtes), et on souhaite satisfaire le maximum de requêtes par des chemins empruntant des arêtes de routage et respectant les capacités. * Joran van Apeldoorn, **[[https://www.irif.fr/users/gribling/index|Sander Gribling]]**, Yinan Li, Harold Nieuwboer, Michael Walter and Ronald de Wolf. [[https://arxiv.org/abs/2011.12823|Quantum algorithms for matrix scaling and matrix balancing]]. \\ Matrix scaling and balancing are two basic linear-algebraic problems (applications include pre-conditioning linear systems). We study the power and limitations of quantum algorithms for these problems, proving matching upper and lower bounds in the poly(1/eps)-regime. * **[[https://www.irif.fr/users/acasares/index|Antonio Casares]]**, **[[https://www.irif.fr/~colcombe/|Thomas Colcombet]]** and Nathanaël Fijalkow. [[https://arxiv.org/abs/2011.13041|Optimal Transformations of Games and Automata using Muller Conditions]]. \\ In this paper, we are interested in automata over infinite words and infinite duration games, that we view as general transition systems. We study transformations of systems using a Muller condition into ones using a parity condition, extending Zielonka's construction. We introduce the alternating cycle decomposition transformation, and we prove a strong optimality result: for any given deterministic Muller automaton, the obtained parity automaton is minimal both in size and number of priorities among those automata admitting a morphism into the original Muller automaton. We give two applications. The first is an improvement in the process of determinisation of Büchi automata into parity automata by Piterman and Schewe. The second is to present characterisations on the possibility of relabelling automata with different acceptance conditions. * **[[https://www.irif.fr/~colcombe/|Thomas Colcombet]]** and **[[https://www.irif.fr/users/ajaquard/index|Arthur Jaquard]]**. [[https://www.irif.fr/~colcombe/Publications/ICALP21-colcombet-jaquard.pdf|A Complexity Approach to Tree Algebras: the Bounded Case]]. \\ In this paper, we initiate a study of the expressive power of tree algebras, and more generally infinitely sorted algebras, based on their asymptotic complexity. We provide a characterization of the expressiveness of tree algebras of bounded complexity. * Alexandre Goy, **[[https://www.irif.fr/~petrisan/|Daniela Petrisan]]** and Marc Aiguier. [[https://drops.dagstuhl.de/opus/volltexte/2021/14201/pdf/LIPIcs-ICALP-2021-132.pdf|Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces]]. \\ The powerset monad on the category of sets does not distribute over itself. Nevertheless a weaker form of distributive law of the powerset monad over itself exists and it essentially stems from the canonical Egli-Milner extension of the powerset to the category of relations. On the other hand, any regular category yields a category of relations, and some regular categories also possess a powerset-like monad, as is the Vietoris monad on compact Hausdorff spaces. We derive the Egli-Milner extension in three different frameworks : sets, toposes, and compact Hausdorff spaces. We prove that it corresponds to a monotone weak distributive law in each case by showing that the multiplication extends to relations but the unit does not. We provide an application to coalgebraic determinization of alternating automata. Rendez-vous en **2022 pour les 50 ans de la conférence et de la création de l'EATCS**. Nous vous en dirons davantage prochainement ! === Appels d'offres et informations des partenaires === * **Université de Paris / Appel à candidature PAUSE** : Le département Internationalisation Pédagogique et Scientifique du Pôle SRI a ouvert l’{{ :intranet:lettre-irif:2021-07-16:aap_pause_septembre_2021.pdf |appel à candidature du programme PAUSE}} porté par le Collège de France pour la troisième session du calendrier 2021. Ce programme national alloue des financements incitatifs aux universités et aux organismes de recherche non universitaires projetant d’accueillir un.e scientifique ou un.e artiste-enseignant.e en danger contraint.e l’exil. En cas d'intérêt, contactez la [[direction@irif.fr]]. Date limite des dossiers de candidatures : **26 août 2021 à 11h00**. * **Université de Paris / Fonctionnement estival du Crous de Paris** : Le {{ :intranet:lettre-irif:2021-07-16:tr_reseau.com_fonctionnement_estival_du_crous_de_paris.eml |Crous de Paris a organisé son fonctionnement durant la période estivale}} afin de continuer à accompagner les étudiants parisiens. Une [[https://www.crous-paris.fr/archives/actualite/ete|page spécifique pour cette période]] a été mise en ligne sur le site internet de l'Université de Paris. * **Newsletter des partenaires** : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. * [[https://u-paris.fr/?mailpoet_router&endpoint=view_in_browser&action=view&data=WzQwMSwwLDQ3MCwiYTVocTJ6enA3eXdja3NvZ29rY2NrdzRvc3drd29nODAiLDIyNywwXQ|Newsletter étudiante]] du 02/07/2021 * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI3OCIsIjZndWNoYmh3OGFza3MwNGs4OHd3b2NvOHNndzh3c3djIiwiMjMwIiwiODM4NWI2ODgxZTJjIixmYWxzZV0|Université de Paris Infos]] du 05/07/2021 avec à la une, une interview croisée de Christine Clerici et Nicolas Jeanjean * {{ :intranet:lettre-irif:2021-07-16:gazette_02.pdf |Gazette du GDRim}} du 06/07/2021 avec à lire, les entretiens de Marthe Bonamy et Ludovic Patey * [[http://www.cnrs.fr/CNRS-Hebdo/iledefrance-villejuif/lettre.php?numero=595|CNRS Hebdo]] du 08/07/2021 * [[https://www.insmi.cnrs.fr/fr/cnrsinfo/la-lettre-de-linsmi|Lettre de l'INSMI]] du 09/07/2021 * [[https://lejournal.cnrs.fr/newsletters/la-lettre-ndeg63|Lettre n°63 CNRS Le journal]] avec à la une Jean Dalibard médaille d'or 2021 du CNRS. * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI1MzciLCIxMnNwaWs2c3dhZXM4Y2t3b2MwbzBzZ29rbzAwZ3NvZyIsIjIzNiIsImUyYmJhMGMxZWJhYyIsZmFsc2Vd|Fil info Recherche]] de l'Université de Paris du 12/07/2021 avec une annonce sur la 20e édition du prix Irène Joliot-Curie