Dans la lettre cette semaine, un rappel sur l'AG du 24 janvier à 14h00, les cartes de visite, la distribution des hoodies et quelques offres de formations. La période d'accueil des stagiaires de 2nde est fixée du 12 au 16 juin 2023. Nous sommes à la recherche de participant·e·s pour encadrer les futur·e·s stagiaires.

Côté actualités scientifiques, la prochaine rencontre croisée - recherche & administration organisée par la Faculté des Sciences, un papier acceptés à POPL 2023 et 2 papiers acceptés à SODA 2023. Un appel à nominations pour le Test of Time Award Nominations à ETAPS 2023 et un article à lire dans le Quantamagazine.

Du côté des partenaires, 3 actualités à noter à Université Paris Cité : les élections 2023, un atelier collaboratif autour du handicap et les voeux de la Faculté des Sciences. Au CNRS, le webinaire EIC et à la FSMP, les programmes de séjours doctorants.

Le focus cette semaine s'intéresse au prix science ouverte du logiciel libre de la recherche 2023.

Bonne lecture !

• [Rappel] Assemblée générale : The next IRIF AGM will take place on January 24 at 2:00 pm in amphi Turing. The presentations will be in English. On the agenda:
  • Presentation of the management: HR, budget, news, actions
  • Report of the equality and parity commission by Valérie Berthe
  • Presentation of the environment commission
  • HR and finance
  • Arrivals, departures, positions and repyramidage

  • Update on construction works for 2023 (impact, arrangements, office closures, call for volunteers to share office, etc.)
  • HCERES evaluation by Frédéric Magniez

• 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.

• Offres de formations à UPCité : Pour vous inscrire, merci de retourner signé le formulaire de demande de formation à avci@irif.fr, référence formation du laboratoire.
  • Formation Anglais professionnel « Atelier pour les personnels B1 ». Pour tout personnel (E/C et BIATSS)
    • 12 séances de 9h à 11h du jeudi 2 février au jeudi 11 mai.
    • La date limite d’inscription à cette formation est fixée au vendredi 27 janvier 2023.
  • Formation Anglais professionnel « Atelier pour les personnels B2 ». Pour tout personnel (E/C et BIATSS)
    • 12 séances de 15h à 17h du jeudi 2 février au jeudi 11 mai.
    • La date limite d’inscription à cette formation est fixée au vendredi 27 janvier 2023.
  • Formation Anglais professionnel « Cours d’anglais conversationnel C1-C2 ». Pour tout personnel (E/C et BIATSS)
    • 16 séances de 13h à 15h du mardi 7 février au mardi 20 juin 2023.
    • La date limite d’inscription à cette formation est fixée au vendredi 27 janvier 2023.
  • Formation Anglais professionnel - Préparation au TOEIC. Pour tout personnel (E/C et BIATSS)
    • 6 séances de 14h à 17h du mardi 28 mars au mardi 16 mai.
    • La date limite d’inscription à cette formation est fixée au vendredi 17 mars 2023.

• Distribution of IRIF hoodie : If you would like to get your IRIF hoodie (colors: purple, red or white), meet us on Monday January 23 in the common area 4th floor between 13:00 and 14:00 PM for a distribution session. If you are not available on Monday and still wish to pick up your hoodie, stop by the secretariat's office on Friday January 27 from 15:00 to 16:00 PM.

• Business cards : We are in the process of ordering business cards created according to the UPCité graphic charter. For those of you of wish to get prints of their personalised business card, please send an email to cadet@irif.fr including the following informations: First name, Last name, Occupation, Phone number , Email and Professional web page. In addition to bring distributed at professional events, this card could be a proof of your affiliation to UPCité and allow access, hopefully easier, to the building.

• Rencontre croisée - recherche & administration : Organisée par la Faculté des Sciences, ces rencontres prennent la forme de petits-déjeuners mensuels avec l’intervention d’un·e chercheur·se qui présente ses projets de recherche mais aussi son quotidien de travail. Elles ont pour objectif de faire rencontrer recherche et administration, et d’ainsi faire bénéficier à chacun·e de la richesse scientifique de la Faculté et de développer un sentiment d’appartenance avec l’intégration des personnels administratifs. Sylvain Perifel (IRIF) interviendra lors de la rencontre du 15 février 2023.

• POPL 2023 / Accepted papers : 1 paper coauthored by IRIF members will be presented at the annual Symposium on Principles of Programming Languages (POPL), January 15-21, 2023.
  • Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework. Victor Arrial (IRIF), Giulio Guerrieri, Delia Kesner (IRIF)

• SODA 2023 / Accepted papers : 2 papers coauthored by IRIF members will be presented at ACM-SIAM Symposium on Discrete Algorithms (SODA23), January 22-25, 2023.
  • Short Synchronizing Words for Random Automata. Guillaume Chapuy (Université Paris Cité, CNRS, IRIF); Guillem Perarnau (Universitat Politecnica de Catalunya)
  • Discrepancy minimization via regularization. Lucas Pesenti (Bocconi University); Adrian Vladu (CNRS, IRIF, Université Paris Cité)

• ETAPS 2023 / Call for Test of Time Award 2023 Nominations : Nominations for the 2023 ETAPS Test of Time Award are solicited from the ETAPS community. Nominations should be sent by *Monday 20 February 2023* to the chair of the award committee, Don Sannella dts@inf.ed.ac.uk.

• Quantamagazine Article : Researchers can now find the shortest route through a network nearly as fast as theoretically possible, even when some steps can cancel out others. Find out more about this discovery in the article "Finally, a Fast Algorithm for Shortest Paths on Negative Graphs" published in Quantamagazine.

• Uppsala Workshop on Automata, Logic and Verification : A three-day workshop January 23-25, 2023 celebrating Ahmed Bouajjani, awarded Doctor Honoris causa at Uppsala University to appreciate his contribution to the scientific community in general and Uppsala University in particular.

• [Rappel] Internship proposal at LS2N and IRIF / Real-time analysis and verification of ROS2 robotic applications : Pierre-Emmanuel Hladik (LS2N) and Mohammed Foughali (IRIF) are looking for Masters student in computer science or a closely related field (preferably in the last year, equivalent to second year of Masters), motivated and committed to learn and explore challenging research problems. To apply for this position, please send an email with your CV (mandatory) and motivation letter (optional but strongly recommended) to the internship pierre-emmanuel.hladik@ls2n.fr and foughali@irif.fr.

Le prix science ouverte du logiciel libre de la recherche récompensera de nouveau en 2023 les réalisations d’exception ou les plus prometteuses dans ce domaine. Les candidatures pour cette nouvelle édition du prix seront ouvertes en février 2023.

Décerné depuis 2022, le prix science ouverte du logiciel libre de la recherche contribue à attirer l’attention de la communauté scientifique sur les réalisations d’exception comme sur celles les plus prometteuses. Le prix donne de la visibilité à des logiciels qui peuvent servir de modèle pour les prochaines générations de scientifiques.

Le prix science ouverte du logiciel libre de la recherche comporte quatre catégories pour récompenser des projets exemplaires :

• Prix science ouverte logiciel libre – catégorie scientifique et technique
• Prix science ouverte logiciel libre – catégorie communauté
• Prix science ouverte logiciel libre – catégorie documentation
• Prix science ouverte logiciel libre – “coup de coeur” du jury, pour un projet exemplaire rassemblant plusieurs de ces dimensions

Calendrier indicatif

• Annonce du prix : 15 décembre 2022
• Ouverture des candidatures : février 2023
• Clôture des candidatures : avril 2023
• Remise du prix dernier trimestre 2023

Plus de détails sur les candidatures seront disponibles dans quelques semaines.

• Université Paris Cité / Élections 2023 : Du 18 au 20 avril 2023, vous êtes appelé à élire vos représentantes et représentants au sein du conseil d’administration, du sénat académique, des conseils facultaires et des conseils de gestion de composantes internes. Retrouvez toutes les informations relatives à ces élections sur la page dédiée.

• CNRS / Webinaire EIC : Le mardi 07/02/2023 à 14h30 (durée: 1h30). Inscription ici. Clôture des inscriptions la veille du webinaire.
  • Appels "Pathfinder" : pour des projets de recherche portant sur les premiers développements d’une technologique innovante et qui souhaite obtenir les moyens pour avancer et établir une preuve de concept
  • Appels "Transition": pour des porteurs de projet souhaitant amener plus loin leurs résultats d’un projet de recherche, en validant leur concept technologique à plus grande échelle et en explorant les voies de mise sur le marché
  • Appels "Accelerator": pour lancer la phase de développement et de commercialisation de la technologie

• Université Paris Cité / Invitation au “Serious Game” : L’équipe handicap propose une expérience immersive pour mieux appréhender le handicap au travail : le serious Game « Out of the Box ». Il s’agit d’un atelier collaboratif en équipe avec des énigmes à résoudre et des défis à relever. L’animation se déroulera le 02/02/2023 sur le site de Grands Moulins à 14 h 00 ou à 15 h 30 selon vos disponibilités. Inscription avant le 25/01 auprès de laurence.dubuissez@u-paris.fr.

• FSMP / Programmes de séjours doctorants : La Fondation Sciences Mathématiques de Paris finance, pour les doctorants membres d'un laboratoire affilié à la fondation, des séjours scientifiques de recherche dans des laboratoires extérieurs (français ou étrangers) pour des périodes d'au moins un mois. Voir https://sciencesmaths-paris.fr/nos-programmes/sejours-de-doctorants.

• Université Paris Cité / Meilleurs vœux 2023 - Faculté des Sciences : Alain Zider, Doyen de la Faculté des Sciences d'Université Paris Cité et l’équipe décanale vous convient à venir partager la traditionnelle galette le lundi 23 janvier 2023 à 15h30 sur le campus des Grands-Moulins.

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

• CNRS Hebdo du 20/01/2023
• Fil Info Recherche du 19/01/2023