Edito

Cette semaine, le compte-rendu du précédent conseil de labo, un pre-call pour les doctorants et doctorantes. Nous partageons également les dates de fermeture d'Université Paris Cité pour l'année 2022. Une mis à jour importante concernant les postes d'ATER et un appel à mobilisation lancé par l'INS2I.

Côté actualités scientifiques, l'invitation à participer au cocktail de célébration des 75 ans d'informatique en France organisé par le LIP6.

Du côté de nos partenaires : l'appel à candidature Raman Charpak Fellowship 2022, les offres de financement de l'Institut Henri Poincaré et le call for applications de la Chaire d'excellence France Nokia.

Enfin, à lire dans la lettre de la FSMP, une interview spéciale de Thomas Colcombet, Geoffroy Couteau et Sylvain Schmitz, membres de l’IRIF et organisateurs de la conférence ICALP 2022.

Bonne lecture !

Annonces de la direction

  • Conseil de laboratoire du 19/04/2022 : Discussion sur l'intégration à l'IRIF des candidats sur le poste de Maître de Conférences de l'UFR de Mathématiques
  • Journée de la NSI / Appel à mobilisations : L'INS2I est en train de mettre en place une journée dédiée à la mise en valeur de la spécialité NSI au lycée. Pour valoriser ce choix de spécialité et offrir des modèles diversifiés aux lycéennes, le CNRS-INS2I accompagne les femmes et les hommes scientifiques de ses laboratoires dans cette journée d’action de médiation scientifique. Pour cela, il est possible de proposer une intervention sur la plate-forme de la journée NSI : https://journee-nsi.fr/ ou faire part de votre souhait de participation à cadet@irif.fr.
  • Dates de fermetures d'Université Paris Cité pour l'année 2022 : Les fermetures administratives sont arrêtées aux dates suivantes :
    • du mercredi 27 juillet 2022 au soir au mardi 16 août 2022 au matin ;
    • du vendredi 23 décembre 2022 au soir au lundi 2 janvier 2023 au matin.
  • Modification calendrier ATER : Veuillez noter que le module ALTAIR étant totalement inaccessible, la campagne ATER doit être repoussée de 48H. Pour en savoir plus et pour candidater, rendez-vous sur la page : https://www.irif.fr/postes/ater.
    • La date de début de candidature passera du 13 avril 2022 au 15 avril.
    • La date de clôture des candidatures reste fixée au 4 mai 2022, 16h heures (heure de Paris).


Actualités

  • Célébrations 75 ans d'informatique en France : Le LIP6 et l’IRIF ont le plaisir de vous inviter au cocktail de célébration des 75 d’informatique en France. Cet événement organisé par le LIP6 propose de souligner, au cours d'une soirée, ces 75 années qui ont fait naître et évoluer les deux laboratoires, depuis leur passé commun jusqu’à leurs projets actuels. L’événement se déroulera le 9 mai 2022 à 18h00 dans le grand auditorium du campus Pierre et Marie Curie. La soirée sera suivie d’un cocktail dinatoire, dans le foyer de l’auditorium. RSVP à ce lien avant le 20 avril 2022 : https://vote.lip6.fr/index.php/563782.


Focus sur l'interview de Thomas Colcombet, Geoffroy Couteau et Sylvain Schmitz, membres de l’IRIF et organisateurs de la conférence ICALP 2022

La 49ème édition de l'International Colloquium on Automata, Languages and Programming (ICALP) se tiendra du 4 au 8 juillet 2022 à Paris. L'IRIF, représentée par Thomas Colcombet, Geoffroy Couteau et Sylvain Schmitz organise cette conférence aux côtés de la FSMP, de l'EATCS et de l'Université Paris Cité. Dans une interview accordée à la FSMP, ils reviennent sur les grands points de l'édition 2022 de cette conférence.

Quel est l’objectif d’une telle conférence ?
Il y a essentiellement deux motivations à participer à l’ICALP. Tout d’abord, comme dans les conférences de toutes disciplines, ce sont les rencontres. Les meilleurs spécialistes du domaine se retrouvent, discutent. L'aspect social est essentiel. Chacun vient écouter des exposés sur les dernières avancées de sa discipline, faire connaître ses travaux, mais aussi créer ou consolider son réseau. Lire l'interview complète.

La conférence aura la particularité de se tenir en format hybride, à la fois présentiel et distanciel.
En informatique, on a cette culture de se déplacer dans le monde entier pour assister à des conférences, ce qui implique un coût carbone important. Il y a eu de la part des organisateurs de l’ICALP une volonté de réduire l’impact écologique de la conférence. Le format hybride permet d’abolir l’obligation à se déplacer pour y participer. Lire l'interview complète.

Outre les exposés, quels seront les temps forts de la manifestation ?
Il y aura notamment une exposition retraçant l’histoire de l’informatique théorique en Europe et dans le monde, avec entre autres un portrait de Maurice Nivat, l’un de ses pères fondateurs. Elle rappellera bien sûr comment se sont créées l’EATCS et l’ICALP en 1972. Lire l'interview complète.

La FSMP défend l’idée d’un continuum entre les mathématiques et l’informatique fondamentale. Qu’en pensez-vous ?
La France est peut-être un des pays où le curseur entre mathématiques d’un côté et informatique théorique de l’autre est le plus tranché, mais certains sujets considérés comme de l’informatique théorique ici sont classés parmi les mathématiques ailleurs (par exemple, la théorie des catégories). À l’IRIF, le laboratoire de l’Université Paris Cité qui organise l’événement, certaines personnes sont recrutées sur des postes en informatique, d’autres en mathématiques, donc la distinction n’est pas si claire. Lire l'interview complète.

Appels d'offres et informations des partenaires

  • Université Paris Cité / Appel à candidature Raman Charpak Fellowship 2022 : Ce programme de bourses est mis en œuvre par le Centre Franco-Indien Pour La Promotion de la Recherche Avancée (IFCPAR / CEFIPRA) et financé conjointement par le Département de la Science et Technologie (DST), le gouvernement indien et Ambassade de France en Inde / l'Institut français en Inde (IFI), Ministère des Affaires Européennes et étrangères, gouvernement de la France. L’objectif de cette bourse est de faciliter l’échange de doctorants et étudiants français au niveau master entre les deux pays, afin de renforcer et approfondir les échanges dans les domaines de la science, la technologie et l’innovation. L'appel à candidature pour le Raman Charpak Fellowship 2022 est ouvert et le délai a été prolongé jusqu'au 15 mai. Pour toute information supplémentaire, cliquez sur le lien ci-contre : http://www.cefipra.org/Raman_Charpak.aspx.
  • Institut Henri Poincaré / Offres de financement : L'Institut Henri Poincaré propose de façon récurrente des financements pour diverses actions. Les domaines concernés sont les mathématiques, la physique théorique, l'informatique et leurs interactions, donc en particulier l'informatique mathématique. Tous les détails sur https://indico.math.cnrs.fr/category/547/. La prochaine date limite est le 15 mai.
  • France Nokia Chaire d'excellence / Call for applications 2022 : The France-Nokia Chaire d’Excellence in Information and Communications Technologies offers a unique opportunity for a French scholar/researcher to engage in international research collaboration. The Chair position is available for scholars and specialists in Information and Communications Technologies to work within a higher education or research institution in Finland. Deadline for applications: April 19th, 2022. For further information, see the call for applications and the application form.
  • [Rappel] Data Intelligence Institute of Paris / Next seminar : The next diiP seminar, Generative Models will be presented on Zoom on April 13th, 4 PM (Central Eastern Time) by Dr Foula Vagena (Université de Paris, diiP). She has worked on different analytics problems including forecasting, image processing, graph analytics, multidimensional data analysis, text processing, recommendation systems, sequential data analysis and optimization within various fields such as transportation, healthcare, retail, finance/insurance and accounting.


Agenda de la semaine du 11 avril au 15 avril

Vérification · Lundi 11 avril, 11:00, 3052 and Zoom link ·
Aldric Degorre (IRIF − Université Paris Cité), On the bandwidth of timed automata

Algorithmes et complexité · Mardi 12 avril, 11:00, Room 3052 ·
Goran Žužić (ETH Zurich), Universal optimality in distributed computing and its connections to diverse areas of theoretical computer science

One world numeration seminar · Mardi 12 avril, 14:30, Online ·
Eda Cesaratto (Univ. Nac. de Gral. Sarmiento & CONICET, Argentina), Lochs-type theorems beyond positive entropy

Algorithmes et complexité · Mardi 12 avril, 15:00, Room 3052 ·
Balthazar Bauer (IRIF), Transferable E-cash: An analysis in the algebraic group model

Combinatoire énumérative et analytique · Jeudi 14 avril, 14:00, Room 1007 ·
Alessandro Iraci (UQAM), TBD

Analyse et conception de systèmes · Vendredi 15 avril, 10:30, Room 3052 ·
András Kovács (Eötvös Loránd University), A first-principles investigation of performance of elaboration with dependent types

Catégories supérieures, polygraphes et homotopie · Vendredi 15 avril, 14:00, Room 1007 ·
Axel Osmond, 2-catégories bi-accessibles et bireprésentables

Automates · Vendredi 15 avril, 14:30, Room 3052 ·
Nguyễn Lê Thành Dũng, Polyregular functions: some recent developments