==== IRIF Newsletter of March 15, 2024 ==== === Edito === In this week's IRIF letter, a **PhD student seminar** is organised by the SIF. \\ A **conference on "digital commons"** organized by François Laroussinie will be held next week. \\ In the equalities comittee section, you'll find events organised for the **equality month**. \\ The Focus concerns an article of Quanta Magazine on **Matrix Multiplication**. \\ Registration for the **Solemn Thesis Awards 2024** of the Chancery are now open. Enjoy reading and have a nice weekend! === Direction's announcements === * **[REMINDER] The rooms 3063, 3071, 4071 and 4071a** are now open and can be booked on [[https://reservation.irif.fr/]] and used by everyone. Be aware that these rooms are not furnished yet (please, after haveing used them, leave them empty). * **Webcontrat**: all IRIF members who wish to host a research project at CNRS should have an access to [[https://webcontrat.cnrs.fr/sigappec/accueil|Webcontrat]]. If this is not the case you can request this on [[https://extra.core-cloud.net/collaborations/SupportIFSeM/SitePages/Accueil.aspx|this platform]]. Do not hesitate to contact the administration department if help is needed. * The **interns welcoming day** will be held on April 2nd, 2024, at 10:30am, room 3052. More information to come. \\ === News === * **"Horizon Maths" conference"**: This **conference series** allows exploring the **applications and interactions of mathematics** around a different theme for each edition. The next topic is about **Mathematical Proof and Software Reliability** and is organized under the direction of [[http://pauillac.inria.fr/~herbelin/|Hugo Herbelin]] (Inria, IRIF). It takes place on Wednesday, March 27, 2024, from 9 am to 6 pm, at the Henri Poincaré Institute (5 rue Pierre et Marie Curie, Paris 5th), Hermite Amphitheater. All the information [[https://www.sciencesmaths-paris.fr/f/actualites-fr/horizon-maths-2024|on the website]]. * **PhD student seminar**: On **May 31, 2024**, the seminar for doctoral students of the SIF (French Computer Science Society) will be held. This year, the seminar will focus on the theme **"Diversity of research methods in computer science."** The [[https://sifdoctorants24.sciencesconf.org/submission/submit |submission]] deadline is March 30, 2024. More information about the event on the [[https://sifdoctorants24.sciencesconf.org|SIF website]]. * **Conference**: The 2nd french speaking conference «On éteint, on réfléchit, on discute » organized at Université Paris Cité by François Laroussinie focuses on **«Les communs numériques» (“Digital Commons”)**. Serge Abiteboul and Valerie Peugeot are the invited speakers. It will be held on **March 19, from 4pm-6pm**. Join us, it is free of charge! Find all the information [[https://www.informatique.univ-paris-diderot.fr/ufr/conferences_ufr|here]]. * **Reviewers' Choice Award 2024**: The article **"[[https://doi.org/10.22152/programming-journal.org/2024/8/4|The design principles of the Elixir Type System]]"**, by [[https://www.irif.fr/~gc/|Giuseppe Castagna]], [[https://gldubc.github.io/|Guillaume Duboc]] and [[https://github.com/josevalim|José Valim]] have received the Reviewers' Choice Award 2024 as the best paper of the year published in The Programming Journal. Congratulations to all of them. \\ === Equalities comittee === * **A half-day french seminar on women and math in textbooks** is being organized this Saturday from 10 am to 1 pm at IHP by the //Femmes et Mathématiques// non-profit oragnisation. You can check the program and register for free [[https://femmes-et-maths.fr/2023/10/23/les-femmes-et-les-mathematiques-dans-les-manuels-scolaires/|here]]. * **La Science taille XX elles**: Through 84 portrayals of women in research, discover various experiences of scientific women: a [[https://www.cnrs.fr/fr/cnrsinfo/la-science-taille-xx-elles|numeric exhibit]] imagined by CNRS & the non-profit Femmes&Sciences. * **"Just do maths!" exhibit**: The "Just Do Maths!" exhibition by the **FSMP** will be installed at the IHÉS and inaugurated on **April 4, 2024**, with a conference by Catherine Goldstein and Clémence Perronnet on the **role that female models can play in advancing equality in sciences**. This conference is based on the recently published book "Matheuses" by CNRS editions. You can find all the information about the conference on the [[https://www.ihes.fr/conference-goldstein-perronnet/|dedicated webpage]]. It will also be possible to attend this event online via Zoom. \\ === Focus on a Quanta article on a discovery about Matrix Multiplication === {{page>actualites:focus#focus_du_15_03_24}} \\ === Calls for tender and information from partners === * **Solemn Thesis Awards 2024**: Registration for the **solemn thesis awards** of the Chancery will takes place through a digital platform. One award concerns scientific PhDs. The College of Doctoral Schools (CED) is responsible for centralizing and submitting the list of pre-selected candidates. * The **deadline** for sending files to the doctoral school at [[ufr-ed386@math.univ-paris-diderot.fr]] is **April 8th**. These files should contain 1. a cover letter in French (maximum one double-sided sheet), 2. a curriculum vitae in French (including postal, e-mail and telephone contact details), 3. a short summary of the thesis in French (between 500 and 1,000 characters maximum), 4. pre-submission reports in French or in the original language, 4. the defense report / minutes in French or in the original language, and 5. a letter of recommendation from the thesis supervisor concerning the application for the Chancellery Prize and, if applicable, of two (maximum) other members of the jury, in French or in the original language. * The doctoral shools will rank applications and transmit them to CED by April 23rd. * Pre-selected candidates will be contacted by the CED and will have to **submit a complete application file by May 24, 2024**. * More information {{ :intranet:lettre-irif:2024-03-15:ac-prix_de_these-2024.pdf |here}}. * **Open-source software training**: The **CNRS Institutes of Humanities and Social Sciences and Mathematics** jointly organize this **training session** which will address several issues related to **open-source software**. It will be held from **Monday 1st July**, 2024 at 2pm to **Wednesday 3rd of July**, 12:30pm at Villa Clythia in Fréjus, in-person only. You can [[ https://formation.ifsem.cnrs.fr/training/1304/3650|register here]]. * **Collaboration in medecine**: As part of the creation of the inIdEx, which replaces the Labex, the forming laboratory NABI (Nanomedicine, Extracellular Biology, Integratome and Health Innovations) is seeking to identify **lecturers or researchers in computer science at UPC who work on __problems applied to health__ or who would be __interested in collaborations with physicians__**. If this applies to you, you are invited to send a message to: **Bruno Andreotti**, [[andreotti@phys.ens.fr]] * **AAPG 2024**: Individual support for **preparing proposals for internships 2 of the AAPG 2024** is offered by the Department of Engineering and Project Management at the Faculty of Sciences. Only researchers who have been selected and have chosen Université Paris Cité as their managing institution can benefit from this support.\\ If you are interested, please send the **acronym of the project, the Project Type** (PRC, PRCE, PRCI, JCJC, PRME), and the **team status** (project coordinator or partner) to the email address: [[projets.recherche.sciences@u-paris.fr]].\\ To help you, two usefull documents: {{ :intranet:lettre-irif:2024-03-01:modele_de_budget_anr_2024.xlsx |Budget model version 2024}} and {{ :intranet:lettre-irif:2024-03-01:anr_donnees_administratives_et_financieres_upcite_2024_faculte_sciences.pdf |administrative data of Université Paris Cité with updated information}}. This [[https://anr.fr/fr/detail/call/aapg-appel-a-projets-generique-2024/|link]] leads to the ANR website for information about the ANR necessary documents. * **Handicap PhD grant**: A call for handicap PhD grants is open until April. This grant funds a doctoral contract over 3 years and extension months funded by the Ministry. For the procedure, please contact the doctoral school : [[ufr-ed386@math.univ-paris-diderot.fr]]. **Partner newsletter** : Newsletters are sent sporadically to IRIF members. They are listed below. * [[https://intranet.cnrs.fr/delegations/dr1/Pages/Lettreinterne.aspx?IdLettre=49|CNRS Internal letter]] of March 3rd, 2024 * [[https://www.cnrs.fr/CNRS-Hebdo/iledefrance-villejuif/Lettre/651/Lettre.aspx?pk_campaign=Email-Html-Lettre-651&pk_kwd=LienDebutAffichagePasCorrect|CNRS Hebdo]] #651 of March 14, 2024 * {{ :intranet:lettre-irif:2024-03-15:newsletter.diip_apr3_4pmparis_diip_distinguished_lecture_alessandro_moschitti_...assistants_-_themis_palpanas_themis_mi.parisdescartes.fr_-_2024-03-15_0207.eml |diiP Newsletter}} of March 15, 2024 \\ === Agenda for the week of March 18 to March 22 === [[:seminaires:verif:|Vérification]] · Lundi 18 mars, 11:00, 3052 and [[https://u-paris.zoom.us/j/89886269671?pwd=QlgvOVBmdjZTVGZqamdOWVdSWWU5UT09|Zoom link]] · \\ **Sarah Winter** (IRIF), //Deterministic Regular Functions of Infinite Words// [[:seminaires:picube:|Formath]] · Lundi 18 mars, 14:00, Grenoble · \\ **Gdr Ifm**, //Journées nationales du GDR (pas d'exposé)// [[:seminaires:combi:|Combinatoire énumérative et analytique]] · Mardi 19 mars, 11:00, Room 3052 · \\ **Victor Nador**, //A venir// [[:seminaires:algocomp:|Algorithmes et complexité]] · Mardi 19 mars, 11:00, Room 3052 · \\ **Joon Lee** (EPFL), //The Sparse Parity Matrix// [[:seminaires:adg:|Algorithmique distribuée et graphes]] · Mardi 19 mars, 15:15, Room 3052 · \\ **Michel Habib**, //On some recursive linear time algorithms on graphs// [[:seminaires:hdr:|Soutenances d'habilitation]] · Mercredi 20 mars, 10:00, Amphithéâtre Turing, bâtiment Sophie Germain · \\ **Geoffroy Couteau** (IRIF), //Correlated Pseudorandomness in Secure Computation// [[:seminaires:pps:|Preuves, programmes et systèmes]] · Jeudi 21 mars, 11:00, Room 3052 · \\ **Uli Fahrenberg**, //Directed topology and concurrency: a personal view// [[:seminaires:doctorants:|Séminaire des membres non-permanents]] · Jeudi 21 mars, 16:00, Room 3052 · \\ **Olivier Idir**, //Explorable automata : expressiveness and decidability// [[:seminaires:cat:|Catégories supérieures, polygraphes et homotopie]] · Vendredi 22 mars, 14:00, Room 3058 · \\ **Sophie D'Espalungue** (Université de Lille), //Une théorie hiérarchique des types, ou théorie formelle des catégories (supérieures)// [[:seminaires:automates:|Automates]] · Vendredi 22 mars, 14:00, Room 3052 · \\ **Quentin Aristote**, //TBA//