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).
  • 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
  • Diip Distinguished Lecture : Online (Zoom) on February 1st. From Bounded Rationality to Ecological Rationality presented by Dr. Gerd Gigerenzer.


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 :


Appels d'offres et informations des partenaires

Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.

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