==== Lettre de l'IRIF du 27 janvier 2023 ==== === Edito === Dans la lettre cette semaine, l'ouverture de la **campagne 2023 pour les postes d'enseignantes-chercheuses et d'enseignants-chercheurs en Informatique Fondamentale**, les **comptes rendus des deux derniers conseils scientifiques** et la reprise de la **commission IRIF et environnement**. Un rappel sur les **delais pour les ordres de mission**. Quelques **pulls IRIF** encore disponibles, un **guide imprimé sur l'essentiel des démarches quotidiennes dans les structures de recherche** et des **ouvrages de Maurice Nivat** toujours à disposition au 8ème étage de SG. Pour rappel, nous avons besoin de votre participation pour animer et encadrer les **stages d'observation de 2nde.** Côté actualités scientifiques, un **postdoc sur le projet ANR-VeSyAm** et des **postes d'ingénieur·es à Inri**a, un papier accepté à **STACS 2023** et un retour sur le **workshop en l'honneur de Ahmed Bouajjani**. Du côté des partenaires, à UPCité, une fiche de la **Mission ÉgalitéS à propos du harcèlement**, un **événement autour du handicap** et de l'emploi organisé par le pôle handicap et le **calendrier des activités culturelles**. Au CNRS, les informations sur le lancement de l'**appel AMORCE 2023.** Le focus cette semaine s'intéresse à l'**émission Arrêt sur Images autour du ChatGPT** dans laquelle Claire Mathieu (IRIF) est intervenue. Bonne lecture ! === Annonces de la direction === * **Demandes de missions / Rappel** : Travel requests have to be prepared at least **two weeks** in advance for France and **one month** in advance for a travel abroad. Find all the details on [[:intranet:missions]]. * **Campagne 2023 Enseignant·e·s-chercheurs·euses** : Cinq postes d'enseignantes-chercheuses et d'enseignants-chercheurs en Informatique Fondamentale sont à pourvoir à l’UFR d’Informatique de l’Université Paris Cité en vue d’une intégration à l’IRIF. [[https://www.irif.fr/postes/universite|Description complète ici]]. Date limite de candidature : 6 mars 2023 16h (heure de Paris). * **CR conseil scientifique** : Les [[https://www.irif.fr/intranet/cs/index|comptes rendus des deux derniers conseils scientifiques]] comportant les propositions pour les compositions des comités de selection pour les postes de prof et de MdC sont disponibles sur l'intranet. * **Commission environnement** : La commission IRIF et environnement reprend du service, mandatée par le conseil de laboratoire ! Notre première réunion plénière se déroulera le **jeudi 9 février à 16h**, et nous nous réunirons une fois par mois après ça. Cette réunion est **ouverte à toutes et tous** : vous êtes les bienvenus même si vous n'êtes pas membre de la commission. Nos objectifs s'organisent en trois axes : **communiquer** autour de l'environnement et du climat, **collecter des données** au niveau laboratoire et au delà, et **établir des scénarios d'adaptation** dans le respect de notre pratique de la recherche. [[https://www.irif.fr/intranet/irif-environnement/index|Vous retrouverez toutes les informations sur notre page]]. * **IRIF hoodies** : There are few hoodies left (sizes S, XS and XL). If you have not yet picked up yours, come see us in office 4004 or 4001. * **Démarches quotidiennes dans les structures de recherche** : Un **guide imprimé** réalisé par UPCité sur l'essentiel des démarches quotidiennes dans les structures de recherche est disponible au secrétariat de l'IRIF. Il est mis à votre disposition juste à côté des jetons pour le café. * **Livres Maurice Nivat** : Plusieurs ouvrages ayant appartenu à Maurice Nivat sont encore disponibles au 8ème étage du bâtiment Sophie Germain, à la bibliothèque MIR. **Servez-vous, emportez les livres qui vous intéressent, adoptez-les !** * **[Rappel] Stage d'observation 2nde** : Du 12 au 16 juin 2023, l'IRIF aura le plaisir d'accueillir un élève de 2nde dans le cadre de son stage d'observation. **Nous avons besoin de votre participation pour animer et encadrer son stage**. Pour participer, écrivez à [[scolaire@irif.fr]] en précisant vos disponibilités. \\ === Actualités === * **Postdoc job for ANR-VeSyAM** : A full-time research associates position is available to work on the ​VeSyAm research project (ANR grant). The position will start in July 2023. Under the supervision of ​[[https://www.irif.fr/~mahsa/|Dr ​Mahsa ​Shirmohammadi]], you will have responsibility for carrying out research on algorithmic ​related to verification and synthesis of algebraic models​, such as algebraic circuits, algebraic power series and algebraic programs​. This work draws on connections with a number of areas of computer science and mathematics, including verification, ​automata, ​number theory​, algebraic geometry​. [[https://www.irif.fr/postes/postdoc#|Further information in the job description]]. **Deadline to apply: 12 noon on ​ 15 Feb 2023**​. * **STACS 2023 / Accepted paper** : 1 paper coauthored by IRIF member will be presented at [[https://www.conferences.uni-hamburg.de/event/272/|STACS 2023]], 7-9 March. * Marc Dufay, **Claire Mathieu** and Hang Zhou. //An Approximation Algorithm for Distance-Constrained Vehicle Routing on Trees// * **Researcher-Engineer positions** : Inria is seeking for candidates for temporary engineer positions at Inria are available for the [[https://proofinuse.gitlabpages.inria.fr/|ProofInUse consortium]]. The primary site for the positions is [[https://recrutement.inria.fr/public/classic/fr/offres/2023-05728]]. To apply, send CV and a motivation letter to [[Claude.Marche@inria.fr]]. * **Diip Distinguished Lecture** : [[https://u-paris.fr/diip?mailpoet_router&endpoint=track&action=click&data=WyI1MTIiLCJzdGxwMmJnYmU5Y3M0a3dzZ3M0a2Nvc29rODRvdzRncyIsIjE4IiwiMzY1ZDcwODQxNDk0IixmYWxzZV0|Online (Zoom)]] on **February 1st**. //From Bounded Rationality to Ecological Rationality// presented by Dr. Gerd Gigerenzer. * **Workshop celebrating Ahmed Bouajjani** : A {{ :intranet:lettre-irif:2023-01-20:upp.pdf |three-day workshop celebrating Ahmed Bouajjani, awarded Doctor Honoris causa}} at Uppsala University, took place **January 23-25, 2023**. This award underlines his contribution to the scientific community in general and Uppsala University in particular. \\ === Focus sur émission d’Arrêt sur Images autour de ChatGPT === {{:intranet:lettre-irif:2023-01-27:arretusrimages.png?200 |}} **Claire Mathieu**, membre de l’IRIF et spécialiste des algorithmes, est intervenue à l’[[https://www.arretsurimages.net/emissions/arret-sur-images/ia-demandez-un-portrait-de-femme-vous-aurez-un-decollete-plongeant|émission Arrêt sur Images autour du ChatGPT]]. Cette émission fait suite a l'exploit réalisé par le Monde : [[https://www.lemonde.fr/international/article/2023/01/18/comment-le-monde-a-tente-de-recreer-l-appel-du-18-juin-en-reproduisant-la-voix-du-general-de-gaulle_6158271_3210.html|reproduire l'appel du 18 juin 1940 prononcé par le Général de Gaulle]]. De nombreuses questions se posent alors. Peut-on faire parler les morts grâce à l'IA ? Faut-il faire confiance à l'IA pour remplacer les artistes, les journalistes, les musiciens, les créateurs ? Aux côtés de Claire Mathieu pour tenter de répondre à ces questions, Mathilde Saliou, journaliste chez NextInpact pour parler des évolutions de l’intelligence artificielle et de technoféminisme; Charles-Henry Groult, journaliste, chef du service vidéo du Monde qui a reproduit la voix du Général de Gaulle ; et Étienne Mineur, designer et enseignant. Pour aller plus loin : * [[https://start.lesechos.fr/innovations-startups/tech-futur/attention-lintelligence-artificielle-chatgpt-est-une-menteuse-pathologique-1889537|La tribune de Claire Mathieu sur ChatGPT]] publiée dans les Échos. * [[https://www.lemonde.fr/international/article/2023/01/18/comment-le-monde-a-tente-de-recreer-l-appel-du-18-juin-en-reproduisant-la-voix-du-general-de-gaulle_6158271_3210.html|La production du Monde]] reproduisant l'appel du 18 juin 1940 du général de Gaulle. * [[https://www.grasset.fr/livres/technofeminisme-9782246828822|Le livre de Mathilde Saliou]], //Technoféminisme//, à paraître en février chez Grasset. * [[https://etienne.design/blog/|Le blog d'Étienne Mineur]] où il raconte son expérience des intelligences artificielles. \\ === Appels d'offres et informations des partenaires === * **Université Paris Cité : ** * __Mission ÉgalitéS__ : Fiche {{ :intranet:lettre-irif:2023-01-27:egalies-faculte_des_sciences.pdf |Qui contacter en cas de harcèlement ?}} Plus d'information et de ressources sur [[https://u-paris.fr/mission-egalites/]]. * __Handicap et emploi__ : **Jeudi 16 février**, [[https://intranet.u-paris.fr/event/handicap-et-emploi-sinformer-et-se-faire-accompagner/|évènement consacré à l’insertion professionnelle des étudiants en situation de handicap]]. * __Ateliers culturels__ : Découvrez le [[https://fr.calameo.com/read/006840065acd1abac8711|calendrier des sorties culturels 22/23]] et les [[https://culture.u-paris.fr/ateliers-0|différents ateliers]] proposés par l'Université. * **CNRS / AAP Amorce** : Lancement de l’[[https://international.cnrs.fr/en/actualite/aap-amorce/?utm_campaign=INS2I%20-%20CNRS&utm_medium=email&utm_source=Revue%20newsletter|appel « AMORCE 2023 – Appui au Montage de projet de Recherche en Coordination Européenne »]]. Le CNRS accompagne les chercheurs qui souhaitent déposer, en tant que coordinateurs/coordinatrices, un projet collaboratif d'Horizon Europe. Clôture de l'appel le **31 janvier 2023**. **Newsletter des partenaires** : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. * [[https://intranet.cnrs.fr/delegations/dr1/Pages/Lettreinterne.aspx?IdLettre=28|Intranet CNRS]] du 27/01/2023 * [[https://lejournal.cnrs.fr/newsletters/la-lettre-ndeg75-janvier-2023|CNRS Le Journal]] n°75 de janvier 2023 * [[https://www.insmi.cnrs.fr/fr/cnrsinfo/la-lettre-de-linsmi|Lettre de l'INSMI]] du 23/01/2023 * [[http://xwx9u.mjt.lu/nl3/fz7YWoD2Cyy-vi_PrpcigA?m=AV0AAAkTvAIAAci4ShIAAKewRG0AAYCsKfkAnFtJAAxjBwBj0QbQrukZCKlrSQ-gCEWfyUc7PgAMZ5w&b=61ba2596&e=9798080e&x=e-Gk-0NnVBgvrOaAMpVaXHPxUQ2r37vHmHbtODnvQ-M|Newsletter de l'ANR]] de janvier 2023 * [[https://u-paris.fr/diip?mailpoet_router&endpoint=track&action=click&data=WyI1MTIiLCJzdGxwMmJnYmU5Y3M0a3dzZ3M0a2Nvc29rODRvdzRncyIsIjE3IiwiZjRhN2RlMmU2MzljIixmYWxzZV0|Newsletter Diip]] de janvier 2023 === Agenda de la semaine du 30 janvier au 03 février === [[:seminaires:verif:|Vérification]] · Lundi 30 janvier, 11:00, 1007 and [[https://u-paris.zoom.us/j/89886269671?pwd=QlgvOVBmdjZTVGZqamdOWVdSWWU5UT09|Zoom link]] · \\ **Sylvain Perifel** (IRIF), //Deterministic pushdown automata can compress some normal sequences// [[:seminaires:algocomp:|Algorithmes et complexité]] · Lundi 30 janvier, 11:00, Room 3052 · \\ **Samson Wang** (Imperial College London), //Qubit-Efficient Randomized Quantum Algorithms for Linear Algebra// [[:seminaires:numeration:|One world numeration seminar]] · Mardi 31 janvier, 14:00, Online · \\ **Slade Sanderson** (Universiteit Utrecht), //Matching for parameterised symmetric golden maps// [[:seminaires:algocomp:|Algorithmes et complexité]] · Mercredi 01 février, 14:00, Room 3052 · \\ **Vincent Cohen-Addad** (Google Research), //Recent Progress on Correlation Clustering: The Power of Sherali-Adams and New Practical insights// [[:seminaires:combi:|Combinatoire énumérative et analytique]] · Jeudi 02 février, 11:00, IHP · \\ **Seminaire Flajolet** (Vincent Juge, Jang Soo Kim, Olya Mandelshtam), //IHP// [[:seminaires:acs:|Analyse et conception de systèmes]] · Jeudi 02 février, 14:00, Room séminaires au plateau SCAI +(Esclangon, 1er étage, campus Jussieu) · \\ **Marine Minier** (Université de Lorraine), //Comment les outils automatiques peuvent nous aider, nous cryptographes// [[:seminaires:doctorants:|Séminaire des doctorants]] · Jeudi 02 février, 16:00, 3052 and [[https://u-paris.zoom.us/j/87901757761?pwd=b3RXRWFUN0hlTGRYVzZyeEFESWZ4UT09|Zoom link]] · \\ **Aymeric Walch**, //The categorical semantic iceberg finally explained// [[:seminaires:cat:|Catégories supérieures, polygraphes et homotopie]] · Vendredi 03 février, 14:00, Room 1007 · \\ **Pierre-Louis Curien & Guillaume Laplante-Anfossi** (IRIF & Melbourne University), //Une preuve simple et connexe du théorème de cohérence de MacLane// [[:seminaires:automates:|Automates]] · Vendredi 03 février, 14:00, Room 3052 · \\ **Florent Koechlin**, //Two criteria to prove the inherent ambiguity of bounded context-free languages//