==== Lettre de l'IRIF du 13 janvier 2023 ==== === Edito === Dans la lettre cette semaine, un point sur les **travaux à venir à Sophie Germain**, un rappel sur la **prochaine AG de l'IRIF** et le **compte-rendu du dernier conseil de labo**. Côté actualités scientifiques, notez le **workshop LAFI'23** affilié à POPL'23, une proposition de **stage de master**, le CFP pour **ISSAC 2023** et un **appel à sujets** pour les étudiants en 1ère année de MPRI. Du côté des partenaires, **Appel à projets PRPhD 2023** de la Région Île-de-France, l'**appel à candidatures Circle U** et une **journée ressourcerie solidaire** à la Faculté des Sciences de Université Paris Cité. Le focus cette semaine s'intéresse aux enjeux et questions de recherche autour du **découpage électoral en France** via un article co-écrit par **Claire Mathieu** et 8 autres auteurs. Bonne lecture ! === Annonces de la direction === * **Travaux bâtiment Sophie Germain** : Comme vous le savez des {{ :intranet:lettre-irif:2023-01-13:travaux_batiment_sophie_germain.eml |travaux vont avoir lieu dans le bâtiment Sophie Germain}}. Ils sont prévus du 17 janvier 2023 au 29 janvier 2024. Le bâtiment restera accessible durant toute la durée des travaux. Les **travaux dits bruyants** auront lieu du 17 avril 2023 au 15 septembre 2024 et empêcheront, en particulier, la tenue dans le bâtiment des séminaires et des groupes de travail, qui seront déplacés ailleurs. Concrètement, pour l'IRIF cela signifie qu'une douzaine de bureaux actuellement occupés **devront être libérés avant la première semaine d'avril** et que la zone centrale de chaque étage (imprimantes, boites à lettre, réserves, salles de réunion) devront être libérées avant l'été. Les personnes concernées sont en train d'être contactées. Plus de détails lors de l´**assemblée générale**. Pour les impacts sur les activités didactiques vous pouvez consulter le [[http://www.informatique.univ-paris-diderot.fr/ufr/travaux_sg|site de l'UFR d'Informatique]]. * **Conseil de Laboratoire** : Le compte rendu du conseil de laboratoire du 10/1/2023 est disponible [[https://cloud.math.univ-paris-diderot.fr/s/gLFWNFAiP7NycCJ|ici]]. * **[Rappel] Assemblée générale** : La prochaine AG de l'IRIF aura lieu le 24 janvier à 13h00. A l'ordre du jour : * Présentation de la direction : RH, budget, actualités, actions * Bilan commission égalité et parité par Valérie Berthe * Présentation de la commission environnement * RH et finance * Points arrivées-départ-postes-repyramidage
 * Point travaux pour 2023 (impact, aménagements, fermeture bureaux, appel à volontaires pour partager le bureau...) * Évaluation HCERES par Frédéric Magniez \\ === Actualités === * **LAFI'23** : A workshop affiliated to [[https://popl23.sigplan.org|POPL’23]] about Languages for Inference, will be held on **January 15, 2023**, as a bi-located event in Boston and at Université Paris Cité. The Paris antenna will take place in salle Leduc, at the first floor of Saints-Pères building, 45 rue des Saints-Pères, 75006 Paris, from 3pm to 9:30pm Paris time. The talks of V. Blanchi, G. Caylak, M. Pagani, F. Zaiser will happen physically in Paris. [[https://framadate.org/KhPZuYi6WJQPc3wr|Registration is mandatory]]. * **Internship proposal at LS2N and IRIF / {{ :intranet:lettre-irif:2023-01-13:internship_ros2_en.pdf |Real-time analysis and verification of ROS2 robotic applications}}** : Pierre-Emmanuel Hladik (LS2N) and Mohammed Foughali (IRIF) are looking for Masters student in computer science or a closely related field (preferably in the last year, equivalent to second year of Masters), motivated and committed to learn and explore challenging research problems. {{ :intranet:lettre-irif:2023-01-13:internship_ros2_en.pdf |To apply for this position}}, please send an email with your CV (mandatory) and motivation letter (optional but strongly recommended) to the internship [[pierre-emmanuel.hladik@ls2n.fr]] and [[foughali@irif.fr]]. * **ISSAC 2023** : Third Call for Papers for [[https://www.issac-conference.org/2023/|ISSAC 2023]] happening in Norway July 24-27. Abstract submission deadline: **January 24, 2023, 23:59** (anywhere on Earth). * **Appel à sujets TRE (Stages de recherche en M1)** : Appel à sujets pour les étudiants en 1ère année de MPRI qui doivent effectuer un stage de recherche (Travaux de Recherche Encadrés, TRE) au second semestre. Si vous avez des propositions de sujets (même très brèves), contactez [[laplante@irif.fr]]. Le second semestre commence le 15 janvier et les soutenances auront lieu fin juin/début juillet (indicatif) avec un rapport à rendre 2 semaines avant la soutenance. \\ === Focus sur les enjeux et questions de recherche autour du découpage électoral en France=== {{:intranet:lettre-irif:2023-01-13:rfsp_723.jpg?70 |}} **Claire Mathieu** (IRIF) figure parmi les 9 auteurs de l’article [[https://www.cairn.info/revue-francaise-de-science-politique-2022-3-page-333.htm?contenu=article|Découpage électoral des circonscriptions législatives en France : Déséquilibres démographiques et contraintes territoriales]] paru dans la **Revue Française de Science Politique** 2022/3 (Vol. 72), pages 333 à 364. Cet article propose une **nouvelle perspective d’étude de la carte électorale**, fondée sur la **computational social science**, pour analyser les critères qui encadrent la réalisation du découpage électoral en France. La délimitation des circonscriptions législatives est complexe en raison de sa dimension technique et des critères juridiques, démographiques et géographiques à respecter. À partir des données démographiques et géographiques des territoires et de la mesure de l’ensemble des découpages admissibles, les auteurs évaluent les contraintes formées par les critères sur les potentialités empiriques de la carte électorale et, plus largement, ils montrent l’intérêt d’avoir recours aux **découpages assistés par ordinateur**. Cet article est en libre accès jusqu'au 26/01/2023 : [[https://www.cairn.info/revue-francaise-de-science-politique-2022-3-page-333.htm?contenu=article]]. \\ {{ :intranet:lettre-irif:2023-01-13:rfsp_723_0333_1_.pdf |Article en version PDF disponible ici}}. \\ === Appels d'offres et informations des partenaires === * **FSMP / Appel à projets PRPhD 2023** : L'[[https://www.iledefrance.fr/paris-region-phd-2023|appel Paris Region PhD 2023]] est ouvert jusqu'au **24 mars 2023** et a pour objectif de financer des allocations doctorales dans le domaine du numérique en lien avec les thématiques de recherche : Math Innov, Sciences Informatiques et Technologies Quantiques (QuanTip). * **Université Paris Cité / Appel à projets PRPhD 2023** : Ouverture, jusqu’au **24 mars 2023**, de l'[[https://www.iledefrance.fr/paris-region-phd-2023|AAP PRPhD 2023]]. Il a pour objectif de financer des allocations doctorales dans le domaine du numérique en lien avec les thématiques de recherche des [[https://www.iledefrance.fr/la-region-ile-de-france-labellise-9-domaines-de-recherche-et-dinnovation-majeurs-dim-pour-la|Domaines de recherche et d’Innovation Majeurs (DIM)]] ou les [[https://www.iledefrance.fr/recherche-3-questions-dinteret-majeur-pour-lile-de-france|Questions d’Intérêt Majeur (QIM)]]. * **Université Paris Cité / Appel à candidatures Circle U** : [[https://www.circle-u.eu/news/2022/call-for-applications-early-career-researchers-intersectoral.html|Programme de mobilité intersectorielle pour les chercheuses et chercheurs en début de carrière (ECR)]]. Date limite de candidature : **27 février 2023 (minuit CET)**. * **Université Paris Cité / Cérémonie des vœux 2023** : Christine Clerici, Présidente d’Université Paris Cité vous convie à la présentation de ses vœux le **mardi 17 janvier 2023 à 16h** au Grand Hall du siège Odéon. Merci de [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI2MzUiLCJhamQ4OTR1aXQ3a2djMHMwY293MDRrb3dzNGdzc29zZyIsIjUyNiIsIjBlN2MxYjMzMjk2OCIsZmFsc2Vd|confirmer votre présence]] avant le **13 janvier 2023**. * **Université Paris Cité / Journée ressourcerie solidaire** : L’idée est de récolter des objets dont nous n’avons plus l’usage, pour faire un stand où chacun.e pourra trouver des objets totalement gratuits. Nous souhaitons que chacun.e puisse trouver un ou deux objets qui vivra une seconde vie en sa compagnie. N’oubliez pas d’en laisser pour les autres ! Vos dons (pas trop volumineux) sont les bienvenus, et même essentiels à cet événement. Vous pouvez les déposer au bureau 402A la veille entre 16h et 17h (lundi 11 juillet) ou dans la matinée du 12. Nous vous remercions par avance d’apporter des objets en bon état, propre et fonctionnels. Les objets qui n’auront pas trouvé preneur seront données à l’[[https://ageparis.org|Association générale des étudiants de Paris]], qui œuvre pour aider les étudiant.es en situation de précarité. C’est cette association qui a mis en place Agoraé Paris, épicerie solidaire située sur le Campus PRG. Cet événement ressourcerie solidaire se tiendra à la Faculté des Sciences et se fera en 2 temps : * __Dépôt des objets__ : **jeudi 12 et mardi 17 janvier** au 5, rue Thomas Mann, 75013 Paris - Bâtiment Grands Moulins 4ème étage bureau 413A ou celui des assistantes de direction. Merci par avance d’apporter des objets en bon état de marche et propres. * __Journée ressourcerie__ : **jeudi 19 janvier de 11h à 14h et de 16h à 17h30** au 5, rue Thomas Mann, 75013 Paris - Bâtiment Grands Moulins 4ème étage **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=WzgzMSwiNDJlNDMxNDIyODdiIiwwLDAsNTMwLDFd|L'actualité étudiante]] du 12/01/2023 * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI2MzUiLCJhamQ4OTR1aXQ3a2djMHMwY293MDRrb3dzNGdzc29zZyIsIjUyOSIsIjY1MTBjMDQzZGMzMSIsZmFsc2Vd|Université Paris Cité Infos]] du 12/01/2023 * [[https://intranet.cnrs.fr/delegations/dr5/Pages/Lettreinterne.aspx?IdLettre=28|CNRS interne]] du 12/01/2023 * [[http://www.cnrs.fr/CNRS-Hebdo/iledefrance-villejuif/lettre.php?numero=630|CNRS Hebdo]] du 10/01/2023 === Agenda de la semaine du 16 janvier au 20 janvier === [[:seminaires:verif:|Vérification]] · Lundi 16 janvier, 11:00, 1007 and [[https://u-paris.zoom.us/j/89886269671?pwd=QlgvOVBmdjZTVGZqamdOWVdSWWU5UT09|Zoom link]] · \\ **Benjamin Bordais** (LMF), //Playing (almost-)optimally in concurrent games with reachability, Büchi and co-Büchi objectives// [[:seminaires:algocomp:|Algorithmes et complexité]] · Mardi 17 janvier, 11:00, Room 3052 · \\ **Tamara Kohler** (mathQI, Universidad Complutense de Madrid), //Clique Homology is QMA1-hard// [[:seminaires:algocomp:|Algorithmes et complexité]] · Mardi 17 janvier, 14:00, Room 3052 · \\ **Krystal Guo** (KdVI, University of Amsterdam), //Algebraic graph theory and quantum walks// [[:seminaires:combi:|Combinatoire énumérative et analytique]] · Jeudi 19 janvier, 14:00, Room 3052 et zoom · \\ **Jang Soo Kim** (SKKU), //TBA// [[:seminaires:doctorants:|Séminaire des doctorants]] · Jeudi 19 janvier, 16:00, 3052 and [[https://u-paris.zoom.us/j/87901757761?pwd=b3RXRWFUN0hlTGRYVzZyeEFESWZ4UT09|Zoom link]] · \\ **Christoph Egger**, //From Complexity to Cryptography: Key Agreement in Bounded Space//