Edito

Cette semaine, dans la lettre de l'IRIF, le conseil de laboratoire se déroulera mardi 27 juin prochain. Merci de noter que la date de déploiement du nouvel outil de gestion des missions et états de frais Notilus, a été décalée.

Côté actualités, une offre de thèse dans l'équipe de modélisation et vérification est proposée par les professeurs Eugene Asarin, Mohammed Foughali et Peter Habermehl à l'IRIF.

Le focus porte sur une artiste plasticienne transmedia qui mêle tissage et computation.

Merci de prêter attention à l'appel MSCA and citizen proposant un financement pour des actions destinées au grand public comme la Fête de la science ainsi qu'à l'appel à volontaires pour la fresque du numérique.

Bonne lecture et bon week-end !

Annonces de la direction

  • Fermeture des outils de gestion : Notilus, le nouvel outil pour la gestion des missions et les états de frais sera finalement déployé la semaine prochaine. Les chercheurs et chercheuses devront à l'avenir réserver eux-mêmes leurs voyages et soumettre leurs justificatifs via Notilus. En conséquence, il n'est plus possible de faire de demande d'ordre de mission CNRS d'ici le 1er juillet. La procédure à l'université Paris Cité est également perturbée.
  • Conseil de laboratoire : le prochain conseil de laboratoire aura lieu mardi 27 juin de 13h à 15h en salle 165 Olympe de Gouge. L'ordre du jour est le suivant :
  1. point consommation budget
  2. point sur les bourses doctorales
  3. demandes DIALOG
  4. discussion sur la proposition de texte sur les conférences : https://www.irif.fr/intranet/irif-environnement/texte-conferences-v2
  5. visite HCERES
  • Élections aux Conseils scientifiques d'Institut du CNRS : ils conseillent et assistent par leurs avis et leurs recommandations le directeur de l’institut de manière prospective sur la pertinence et l’opportunité des projets et activités de l’institut. Pour aider le Conseil scientifique d’institut à assurer ses missions, des groupes de travail peuvent être constitués. Trois membres de l'IRIF se portent candidats :
  • Olympe de Gouges:
    • Olympe de Gouges rooms: The keys to access the closed rooms are in the coded boxes outside the rooms. To use them:
    • Codes for the keyboxes: (see plan)
      1. Room 105: This week's code is 94657
    • ⚠ It is possible to access Olympe de Gouges rooms on Saturdays but not on Sundays.
  • Vacation time presence: University Paris Cité summer closure will be from July, 26th to August, 15th included. During this period, building Sophie Germain will be closed. For the building Olympe de Gouges, the access badges will be deactivated. To be granted an access to Olympe de Gouges, please fill this table by July, 8th. For trainees, the request must be validated by the supervisor, who must be present.
  • La journée de fin d'année de l'IRIF se déroulera le 07 juillet à Olympe de Gouges. De plus amples informations vous seront transmises dans les prochaines lettres.


IRIF & Environnement

  • The IRIF and Environment Commission realeases its twelfth weekly comic strip. You can follow and participate to I&E using Zulip (https://zulip.irif.fr), and via the website.

  • Le saviez-vous ? : l'impact sur le climat d'un ordinateur portable est estimé à 200-400 kg CO₂e pour sa production et 10-30 kg par an pour son utilisation (sur la base d'une consommation de 100-300kWh par an en France, où l'électricité est peu carbonée). On comprend alors qu'il est important de faire durer le matériel ! De plus, le mode veille ne réduit la consommation que de 2/3 environ. Préférer l'extinction (ou l'hibernation).


Actualités

  • Thesis offer: a fully funded PhD position in Computer Science with the subject “Cyber-physical systems with AI components: modeling, learning and verification” opens in Paris. Starting in September or October 2023 with Eugene Asarin, Mohammed Foughali and Peter Habermehl at IRIF in the Modeling and verification team, the PhD student will evolve in the framework of the Franco-Japanese research project CyPhAI. More informations here.
  • Fresque du numérique : à l'occasion de la semaine de rentrée des étudiants en L1 Informatique générale, nous souhaitons organiser une fresque du numérique, qui se déroulera le 14 septembre dans après-midi. Pour ce faire, nous recherchons des volontaires pour animer les fresques, après avoir été formés à cet effet début septembre. Les détails concernant la fresque peuvent être trouvés sur ce site. Veuillez contacter Daniela Petrisan si vous êtes intéressé(e).
  • [DERNIER APPEL] Missions d'enseignement 2023-2024: les doctorant·e·s contractuel·le·s n'ayant pas encore fait de missions d'enseignement au sein de l'UFR et qui demandent une bourse de thèse à l'IRIF sont fortement encouragés à réaliser des missions d'enseignement au sein de l'UFR. Cette démarche est importante pour vos futures candidatures à des postes d'enseignant-chercheur. Pour postuler, vous devez déposer vos candidatures avant le 24 juin 2023.
  • Journées Cartes à l'IRIF : Marie Albenque, Guillaume Chapuy et Enrica Duchi organisent les “Journées Cartes” où plusieurs exposés sur les cartes et sujets connexes seront présentés. Cette année, l'événement se déroulera au sein de l'IRIF, salle 165 du bâtiment Olympe de Gouges. le mercredi 28 juin de 9h45 à 16h30. Une retransmission zoom sera proposée. Toutes les informations sont disponibles sur le site.
  • Disponibilités Fête de la Science : pour anticiper l'organisation de la Fête de la Science à l'IRIF qui accueillera des élèves de primaire, collège et lycée, merci beaucoup de remplir ce formulaire (qui prends maximum 2 minutes à remplir) pour indiquer votre intérêt de participer à cet événement. Merci d'avance.
  • [RAPPEL] Lambda Pros day: on Wednesday 28 June, the Lambda Pros day will be held at IRIF in Paris. This day is devoted to the growing connection between automata and lambda-calculus, on different aspects. You can read the program here.
  • [RAPPEL] Cours de la Chaire d'Excellence de la FSMP : La Fondation Sciences Mathématiques de Paris reçoit le professeur Martin J. Gander dans le cadre d'un cours en 4 séances sur Time Parallel, Time integration à l'Institut Henri Poincaré, les mardis 20 et 27 juin et 4 et 11 juillet de 9h à 12h. Il est également possible de suivre cette présentation en distanciel. Dans les deux cas, il est nécessaire de s'inscrire. Vous pourrez retrouver toutes les informations sur le site dédié.
  • SAUTOS Summer School: the SAUTOS summer school on Safe Autonomous Systems co-organized by Université Paris-Saclay (GS ISN and SIS) and Institut Polytechnique de Paris will be held from the 23rd to the 27th of October 2023 at University Paris-Saclay, Orsay, France. Registration is mandatory before 2nd October: it is free for master students and 100€ for Ph.D Students all included.


Focus sur Diane Cescutti : textile, tissage et computation

Au micro d'Arnaud Laporte de France Culture, Diane Cescutti, artiste plasticienne transmedia en résidence à la Villa Albertine à Houston, explique sa démarche artistique. De sa pratique du tissage, elle décide de créer un projet mêlant cette pratique artistique avec de l'informatique : “le tissage est un langage au même titre que l'informatique”. Elle rappelle que le métier à tisser est à l'origine de l'informatique et plus précisément du code binaire à travers les cartes perforées. Ce médium est une “abstraction mathématique” qu'elle utilise pour créer des vidéos 3D de textures procédurales.
Pour écouter son interview, cliquez ici.

Pour découvrir un exemple de son travail : “La house of threads est constituée de ce qu’on appelle «texture procédurales», des textures de synthèse crées à partir d’algorithmes et de manipulations mathématiques. Chaque fil de la maison devient l’expression d’un langage appliquée dont on peut altérer la syntaxe à l’infini, ils se multiplient et changent de teintes selon la manipulation du code sous-jacent.”

Pour en savoir plus sur sa démarche, rendez-vous sur sa page de la Villa Albertine.


Appels d'offres et informations des partenaires

  • Appel à projet MSCA and Citizens 2023 : cet appel à projet à pour but d'obtenir des financements dans le cadre d'actions menées pour rapprocher la recherche (activités, rôle, intérêt sociétal…) vers le grand public comme par exemple avec la Fête de la Science. Vous avez jusqu'au 25 octobre pour en bénéficier. Plus d'informations ici pour se renseigner sur le projet européen.
  • AG et évènement de fin d'année UFR : L’UFR se réunira en assemblée générale le vendredi 30 juin à 10h salle des thèses 580F à la Halle aux Farines.
  • [RAPPEL] Webinaire HORIZON EUROPE : le pôle Europe du service Partenariat et Valorisation de la délégation Ile-de-France Villejuif du CNRS organise un webinaire sur le pilier 2 du programme HORIZON EUROPE le mardi 27/06/2023 à 14h30 (pendat 1h30). Vous pouvez vous inscrire jusqu'à la veille du webinaire.
  • [RAPPEL] Atelier Action Marie Curie : sur la thématique “Postdoctoral Fellowship, Comment construire sa candidature ?”, cet atelier, destiné aux chercheurs et enseignants-chercheurs, se réalisera par visioconférence le mercredi 28 juin de 15h30 à 16h30. Cette conférence permettra de présenter l'appel Marie Curie Postdoctoral Fellowship (MSCA PF), ouvert jusqu'au 13 septembre 2023. Cet atelier ne requiert pas d'inscription : le lien de connexion est https://cnrs.zoom.us/j/97139928349?pwd=TUJXdzRoSjE4VEkya3ZibWRST0ZkQT09. ID de réunion : 971 3992 8349 ; Code secret : XG4YS1.

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 juin au 30 juin

Vérification · Lundi 26 juin, 11:00, Olympe de Gouges 146 and Zoom link ·
Adrian Francalanza (University of Malta), If At First You Don’t Succeed: Extended Monitorability through Multiple Executions

Algorithmes et complexité · Mardi 27 juin, 11:00, Room 147 (Olympe de Gouges) ·
Rajat Mittal (IIT Kanpur), Composition of randomized query for outer functions with full complexity

Soutenances de thèses · Mercredi 28 juin, 10:00, Jacques Louis Lions 1 hall (building C of INRIA Paris) ·
Simona Etinski (IRIF), Generalized Syndrome Decoding Problem and its Application to Post-Quantum Cryptography

Combinatoire énumérative et analytique · Mercredi 28 juin, 14:00, Olympe de Gouges ·
Journées Cartes, Organisées par M. Albenque, G. Chapuy et E. Duchi

Combinatoire énumérative et analytique · Jeudi 29 juin, 14:00, Room 1007 ·
Writika Sankar (Chennai Institute), TBD

Automates · Vendredi 30 juin, 14:00, Room 146 Olympe de Gouges ·
Eugène Asarin (IRIF), Bandwidth of Timed Automata: 3 classes

Catégories supérieures, polygraphes et homotopie · Vendredi 30 juin, 14:00, Room 163 (Olympe de Gouges) ·
Peter Faul (LIX), Cyclic Polycategories: Completing the Contour/Splice Adjunction