Lettre de l'IRIF du 22 octobre 2021 Edito Cette semaine dans la lettre, notez à votre agenda la date pour la demi-journée de rentrée du pôle ASD, la reprise des activités de la commission IRIF & Environnement et un rappel pour l'accueil des stages de 3ème : nous attendons vos retours. Une nomination à l’Académie des Sciences et un prix Test of Time. Du côté de nos partenaires, le webinaire ERC et les appels d’offres de la FSMP. Et enfin, l’agenda de la semaine du 25 au 29 octobre. Bonne lecture ! Annonces de la direction Demi-journée du pôle ASD / Save the date : On November 16th, afternoon, the pole ASD organizes an event. Short introduction talks by the four new ASD permanent members will be presented. There will also be an informal introduction of PhD students and postdocs. Commission Irif&Environnement : La commission reprend ses activités ! Plus de détails ici. Participation : Irif&Environnement est ouvert à la participation de toute personne intéressée. Manifestez-vous, et vous serez ajouté à la liste de diffusion irifetenvironnement@irif.fr. Les personnes volontaires, quel que soit leur statut, sont les bienvenues pour participer à des thèmes particuliers de la commission ou s’occuper de son animation. Organisation : Se retrouver une fois par semaine au moment du déjeuner, pour environ une heure, chacun amenant son casse-croute. Le jour de cette réunion n'est pas encore fixé pour cette année. Une fois sur deux, la réunion sera l’occasion d’un exposé et de discussion, et l’autre sera l’occasion pour les sous-commissions de travailler en groupe. Première réunion : Mercredi 27 octobre à 12h en salle 3052 Deux nouvelles pages calendrier Calendrier des principaux appels à projets : Retrouvez les principales dates d'appels à projets ANR, Ville de Paris, ERC, CNRS, Université de Paris et DIM RFSI Calendrier des principales dates RH : Retrouvez les principales dates rythmant la carrière (dont recrutement) des doctorants, postdocs, chercheurs et enseignant-chercheurs. [Urgent] Stages d'observation 3ème : Retours d'expérience et/ou participation sollicités Cette année l'IRIF va accueillir 5 à 10 stagiaires de collège issus des établissements voisins, mais aussi les collégiens qui nous/vous contactent directement, dans le cadre de leur stage d'observation. Nous avons besoin de vos retours d'expérience pour élaborer un planning d'intégration dynamique et instructif. Nous avons besoin de votre participation sur des créneaux de 30' à 2h30 pour participer à cet accueil. Contact : cadet@irif.fr (bureau 4004). [Rappel] Conseil de laboratoire Nouveaux membres nommés : Pierre-Evariste Dagand, Aldric Degorre, Mahsa Shirmohammadi. Merci à eux ! Prochains conseils avec leur ordre du jour provisoir 2 novembre : point sur le budget du laboratoire et les demandes du laboratoire, organisation des soutiens du laboratoire pour le concours CNRS 14 décembre : approbation des candidats soutenus par le laboratoire pour le concours chercheur CNRS Les conseils auront lieu en salle 3052. Chaque membre de l'IRIF peut assister au conseil en tant que spectateur ne participant pas aux débats, et ce sans demande préalable. Actualités Académie des sciences / Réception des membres élus : Claire Mathieu directrice de recherche à l'IRIF a été nommée à l'Académie des sciences dans la section Sciences mécaniques et informatiques. Focus on the Test of Time Award – RV’21 Eugene Asarin (IRIF), Alexandre Donzé, Oded Maler, and Dejan Nickovic receive the Test of Time Award at the 21st International Conference on Runtime Verification (RV’21) for their paper Parametric Identification of Temporal Properties. Abstract: Given a dense-time real-valued signal and a parameterized temporal logic formula with bothmagnitude and timing parameters, we compute the subset of the parameter space that renders the formula satisfied by the trace. We provide two preliminary implementations, one which follows the exact semantics and attempts to compute the validity domain by quantifier elimination in linear arithmetics and one which conducts adaptive search in the parameter space. About the 21st International Conference on Runtime Verification: Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. On the figure above: Example of validity domain boundary Appels d'offres et informations des partenaires CNRS / Webinaire ERC : Le pôle Europe du service Partenariat et Valorisation de la délégation Ile-de-France Villejuif du CNRS organise un webinaire sur les bourses ERC 2022 le mardi 16 novembre 2021 à 14h00 (durée: 1h30). L’objectif de ce webinaire est de présenter les différents appels Starting, Consolidator et Advanced, leur contenu et les attendus, de proposer des conseils de préparation et une session de questions / réponses. La clôture des inscriptions est le vendredi 12 novembre Un lien de connexion sera envoyé la veille du webinaire auprès des inscrit.e.s. FSMP / Appels d'offres 2022-2023 : La Fondation Sciences Mathématiques de Paris propose des chaires d'excellence, des postdocs, des allocations doctorales et des bourses de master en mathématiques et en informatique fondamentale pour l'année académique 2022-2023. Les appels d’offres sont ouverts aux dates indiquées ci-dessous (échéances à 23h59, heure de Paris). Tous les détails de ces offres ici. Chaires d’excellence : jusqu’au mardi 30 novembre 2021. Retrouvez le détail de l'offre ici et le formulaire de candidature ici. Programme post-doctoral FSMP : jusqu'au mercredi 1er décembre 2021. Retrouvez le détail de l'offre ici et le formulaire de candidature ici. Programme post-doctoral MathInGreaterParis : jusqu'au mercredi 1er décembre 2021. Retrouvez le détail de l'offre ici et le formulaire de candidature ici. Bourses de master PGSM, 1er appel d’offre : jusqu’au jeudi 24 février 2022. Retrouvez le détail de l'offre ici et le formulaire de candidature ici. Allocations doctorales MathInParis2020 : du mercredi 1er décembre 2021 au dimanche 13 février 2022. Retrouvez le détail de l'offre ici. INS2I valorisation / Webinaire CNRS : Le prochain webinaire CNRS Innovation sur l'accompagnement à la création d'entreprise (AAP RISE S06) aura lieu le mercredi 27 octobre à 13h30. Programme détaillé ici. ENS Lyon / Appel à sujets de stage M2 Informatique : Les étudiants en M2 du Master Informatique de l'Ecole Normale Supérieure de Lyon doivent effectuer un stage de recherche au second semestre de leur formation. Les stages de recherche auront lieu de Février 2022 à Juillet 2022. Le département Informatique de l'École Normale Supérieure de Lyon est à la recherche de propositions de stages de recherche en laboratoire pour ses étudiants. Les informations concernant ces stages sont disponibles en ligne, et la soumission de propositions de stages s'effectue également en ligne avant le 8 Novembre 2021 sur cette page. diiP / Seminar + Hands-On Workshop : The next seminar + Hands-On Workshop will be presented online on Zoom and at Room Turing Conseil, 45 rue des Saints Peres on November 17, 4pm (Paris time) by Dr Foula Vagena (Université de Paris, diiP). Her presentation will focus on Deep Learning for Sequential Data: Models and Applications. Pôle Culture UP / Atelier décoller le genre à la peau : Université de Paris propose aux personnels et étudiants un atelier stickers Décoller le genre à la peau dans le cadre du projet Prise de tête. Images du genre, images de l'université. Atelier gratuit sur inscription soit le samedi 23 octobre de 10h à 16h soit le dimanche 24 octobre de 10h à 16h. Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. CNRS Hebdo du 15/10/2021 Université de Paris Infos du 15/10/2021 Newsletter de l'ANR d'octobre 2021 avec à la une le lancement du portail appelsprojetsrecherche.fr Agenda de la semaine du 25 octobre au 29 octobre Sémantique · Mardi 26 octobre, 10:30, Exposé à distance sur Galène – salle 3052 virtuelle · Thomas Ehrhard (CNRS, Université de Paris), Coherent Differentiation [Part 1] One world numeration seminar · Mardi 26 octobre, 14:30, Online · Michael Baake (Universität Bielefeld), Spectral aspects of aperiodic dynamical systems Automates · Vendredi 29 octobre, 14:30, Room 3052 · Nofar Carmeli, The Fine-Grained Complexity of Answering Database Queries