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 à Inria, 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 Procédure missions à l'IRIF. 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. Description complète ici. Date limite de candidature : 6 mars 2023 16h (heure de Paris). CR conseil scientifique : Les 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. 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 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. 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 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 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 : Online (Zoom) on February 1st. From Bounded Rationality to Ecological Rationality presented by Dr. Gerd Gigerenzer. Workshop celebrating Ahmed Bouajjani : A 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 Claire Mathieu, membre de l’IRIF et spécialiste des algorithmes, est intervenue à l’émission Arrêt sur Images autour du ChatGPT. Cette émission fait suite a l'exploit réalisé par le Monde : 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 : La tribune de Claire Mathieu sur ChatGPT publiée dans les Échos. La production du Monde reproduisant l'appel du 18 juin 1940 du général de Gaulle. Le livre de Mathilde Saliou, Technoféminisme, à paraître en février chez Grasset. 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 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, évènement consacré à l’insertion professionnelle des étudiants en situation de handicap. Ateliers culturels : Découvrez le calendrier des sorties culturels 22/23 et les différents ateliers proposés par l'Université. CNRS / AAP Amorce : Lancement de l’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. Intranet CNRS du 27/01/2023 CNRS Le Journal n°75 de janvier 2023 Lettre de l'INSMI du 23/01/2023 Newsletter de l'ANR de janvier 2023 Newsletter Diip de janvier 2023 Agenda de la semaine du 30 janvier au 03 février Vérification · Lundi 30 janvier, 11:00, 1007 and Zoom link · Sylvain Perifel (IRIF), Deterministic pushdown automata can compress some normal sequences Algorithmes et complexité · Lundi 30 janvier, 11:00, Room 3052 · Samson Wang (Imperial College London), Qubit-Efficient Randomized Quantum Algorithms for Linear Algebra One world numeration seminar · Mardi 31 janvier, 14:00, Online · Slade Sanderson (Universiteit Utrecht), Matching for parameterised symmetric golden maps 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 Combinatoire énumérative et analytique · Jeudi 02 février, 11:00, IHP · Seminaire Flajolet (Vincent Juge, Jang Soo Kim, Olya Mandelshtam), IHP 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 Séminaire des doctorants · Jeudi 02 février, 16:00, 3052 and Zoom link · Aymeric Walch, The categorical semantic iceberg finally explained 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 Automates · Vendredi 03 février, 14:00, Room 3052 · Florent Koechlin, Two criteria to prove the inherent ambiguity of bounded context-free languages