Edito

Cette semaine dans la lettre, des informations pratiques concernant la logistique et des liens utiles pour les membres étrangers. Une procédure particulière à suivre pour s'inscrire ou renouveler son inscription au GDR IM. Prenez note également que la campagne Délégations CNRS 2023/2024 est lancée et l'appel à projets générique 2023 de l'ANR est ouvert.

Un workshop en l'honneur des 60 ans de Thomas Ehrhard aura lieu les 29-30 septembre 2022. Plus de détails sur le site dédié.

Côté actualités scientifiques, l'arrivée d'un nouveau membre permanent, Sylvain Douteau et un séminaire diiP. Du côté de nos partenaires, l'appel à projets « Crossing Cutting Edge », ainsi que l'appel à projets pour l'accompagnement d'ingénieurs en IA et le prochain conseil de la Faculté des Sciences.

Enfin, un focus sur la série de rendez-vous autour des enjeux climatiques proposée par l'Inria.

Bonne lecture !

Annonces de la direction

  • Salles et espaces de travail: Comme indiqué sur l'intranet, la salle 3052 est à privilégier pour les grands séminaires. Nous ne pouvons plus l'utiliser systématiquement pour les séminaires hybrides étant donnée la reprise d'activité sur site avec de nombreux évènements à l'IRIF, dont des soutenances de thèse. Dy matériel est empruntable pour transformer toute petite salle en mode hybride, voir Utilisation, emprunt et sortie de matériel.
  • Intranet webpage for foreigners : The page First steps in France shares useful informations processes in Administrative documents, Social security, Banking, Housing, Taxes, Insurance, Mailing, Loan and ENSAP portal.
  • GDR Informatique Mathématique is a french network devoted to TCS in France. All members of IRIF should register - or renew their registration - to this GDR through one or several groups (GT). All groups are described here. More information on the GDR here. In order to register please
  1. Click on « S’inscrire » (left bar), and proceed with the registration (preferably email @irif.fr) by respecting the instructions for creating a password, and by memorizing your login (no spaces) and password.
  2. Log in with your login name and your password.
  3. Complete your form.
  4. Click on “IM”, and the list of GTs appears.
  5. Select the GT(s) you belong to, and you're done.
  • Supplément familial de traitement : les agents CNRS éligibles souhaitant bénéficier du SFT en 2023 doivent en faire la demande sur le portail Ariane avant le 14 octobre 2022.
  • Conseil de laboratoire : Mardi 11 octobre 13h - Salle 3052 . Le conseil de laboratoire est ouvert à tous les membres de l'IRIF. Ordre du jour prévisionnel, susceptible d'être étoffé :
    1. Proposition de réflexion sur la politique environnementale de l'IRIF
    2. Règlement intérieur de l'IRIF dont lettres de mission
  • Délégations CNRS : les demandes de délégation au CNRS pourront se faire sur Galaxie du 22 septembre au 18 octobre 2022.
  • Workshop in Honour of Thomas Ehrhard's 60th Birthday : The meeting will take place in Paris, at the CNAM, on 29-30 September 2022. The program will reflect the main themes of Ehrhard’s research (Linear Logic, Denotational Semantics and Lambda-calculus).


Actualités

  • Portrait nouvel arrivant : Nous avons le plaisir d'accueillir Sylvain Douteau, maître de conférences à l'Université Paris Cité. Il prendra officiellement ses nouvelles fonctions à partir du 1er octobre 2022. Apprenez-en davantage sur son parcours et sa recherche en lisant son portrait.


Focus sur la série de rendez-vous sur les enjeux climatiques proposée par l'Inria

Les 26-27-28-29-30 septembre prochains, Inria Paris organise une série de rendez-vous pour informer sur les enjeux climatiques. Ci-dessous le programme :

Lundi 26 septembre

  • 8h30-10h30 : Petit déjeuner d’échange avec le GLUE, hall bâtiment C

Mardi 27 septembre

  • 9h30-12h30 : Atelier “Fresque du climat” en salle Jacques-Louis Lions – sur inscription

Mercredi 28 septembre

  • 14h-15h30 : Conférence de Nadia Maïzi, auteure principale pour la contribution du troisième groupe de travail au sixième rapport du GIEC, directrice de The Transition Institute, et Professeure Mines Paris - PSL. “De la prospective à la sobriété : comment planifier en temps de dérèglement climatique ?”, salle Jacques-Louis Lions – sur inscription/

Jeudi 29 septembre

  • 11h-12h : Conférence de Nina Aguillon, chercheuse de l’équipe de recherche ANGE - Inria de Paris. “Comment je me suis mise à l’océanographie numérique pour le climat”, salle Jacques-Louis Lions – sur inscription.
  • 14h-17h : Atelier “2 tonnes”, salle Jacques-Louis Lions – sur inscription.

Vendredi 30 septembre

  • À partir de 15h : Session ludique de sensibilisation (salle AGOS) - Accès libre.


Appels d'offres et informations des partenaires

  • Université Paris Cité / Conseil de la Faculté des Sciences : Le prochain conseil de la Faculté des Sciences se réunira le vendredi 23 septembre, à 09h. L'ordre du jour est disponible ici.

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

Agenda de la semaine du 26 septembre au 30 septembre

Sémantique · Lundi 26 septembre, 14:00, Bâtiment Sophie Germain, salle 1007 ·
Marek Zawadowski (Université de Varsovie), Polynomial and analytic functors, revisited

Sémantique · Mardi 27 septembre, 10:30, Room 3052 ·
Rick Blute (University of Ottawa), Finiteness Spaces and Monoidal Topology

One world numeration seminar · Mardi 27 septembre, 14:00, Online ·
Niels Langeveld (Montanuniversität Leoben), $N$-continued fractions and $S$-adic sequences

Combinatoire énumérative et analytique · Jeudi 29 septembre, 14:00, Room 3052 ·
Houcine Ben Dali (IECL (Université de Lorraine), IRIF (Université de Paris)), À venir