Lettre de l'IRIF du 15 octobre 2021 Edito Dans cette lettre, retrouvez un nouveau calendrier des principales deadlines des appels à projets. Deux rappels concernant l'achat de matériel pour les nouveaux arrivants et votre retour d'expérience dans l'accueil de stages d'observation de 3ème. Côté actualités scientifiques, la visite de Subir Ghosh, une présentation de Hugo Moeneclaey à Homotopy Type Theory Electronic Seminar Talks, le Trakhtenbrot 100 Event et des mises à jour concernant ICALP 2022. Pour finir, plusieurs informations de nos partenaires, l'agenda de la semaine du 18 au 22 octobre et un focus spécial sur le cycle de séminaires d'automne 2021 de la Quantum Technologies Graduate School. Bonne lecture ! Annonces de la direction Calendrier des appels à projets : Nous mettons en place un calendrier des principales deadlines des appels à projets (hors ceux en lien avec la carrière). Ce calendrier est disponible sur l'intranet ici. Merci de signaler à direction@irif.fr des omissions qui vous paraissent importantes. Parentalité : Dans le cadre de ses actions, la Commission Egalité Femmes-Hommes de l'IRIF vous informe : D'une formation autour de la parentalité proposée à l'ensemble des membres du labo. Cette formation aura lieu sur 2 jours fin novembre 2021 dans nos locaux, de 9h30 à 17h00. Consultez le descriptif de la formation ici. Si vous souhaitez participer, veuillez choisir parmi les 2 dates proposées en complétant ce sondage (uniquement le créneau le plus populaire sera retenu). De l'attribution de chèques-cadeaux naissance/adoption ou mariage/pacs pour les employés d'Université de Paris nouvellement parents ou nouvellement mariés/pacsés. Pour bénéficier de l'offre naissance/adoption, veuillez compléter ce formulaire. Pour bénéficier de l'offre mariage/pacs, veuillez compléter ce formulaire. 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. Achat matériel nouveaux arrivants : Les derniers achats de portables et/ou de postes fixes sont a priori finis. Sauf raison particulière, les prochaines demandes seront prélevées sur le stock que le laboratoire s'est constitué en prévision : En commande 5 postes fixes iMac 27“, Core i7, 16Go de mémoire, 1To de disque ssd, clavier AZERTY 5 postes fixes Dell Precision 3240 format compact, Core i7, 16Go de mémoire, 1To de disque ssd, clavier QWERTY, Microsoft Windows 10 Pro, avec écran 27” 5 postes fixes tout-en-un Dell OptiPlex 7780 27“, Core i7, 16Go de mémoire, 512Go de disque ssd, clavier AZERTY, Ubuntu Linux En stock 5 écrans - Dell U2721DE - RJ45, résolution 2560×1440 16/9, hauteur ajustable, hub USB-C/Ethernet, prises DP/HDMI/USB-C & RJ45 2 postes fixes tout-en-un Dell OptiPlex 7480 24”, Core i5, 16Go de mémoire, 512Go de disque ssd, clavier qwerty, Ubuntu Linux 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). Actualités Trakhtenbrot 100 Event : You are welcome to attend the Trakhtenbrot 100 Event on 24-25 October 2021. To register, please click here and fill out the form. A Zoom link for use during the conference will be sent to you a few days before it starts. New visitor : IRIF is very pleased to host for three months Subir Ghosh, professor at the Department of Computer Science from the Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI) in India. His visit is part of an Indo French Center of Applied Mathematics (IFCAM) project: “Applications of graph homomorphisms”. Meet him in office 4013. Homotopy Type Theory Electronic Seminar Talks : Hugo Moeneclaey (IRIF) will present his work on Parametricity and cubes at the Homotopy Type Theory Electronic Seminar Talks on October 21st, 2021. He will present the following cubical structures as cofreely parametric: Categories of cubical objects, for any kind of cubes Categories with families of semi-cubical types, with Pi-types and a universe Categories with families of setoids (seen as truncated Kan cubes), with a univalent universe of propositions Clans of Reedy fibrant cubical objects (work in progress) Tribes of Kan cubical objects (work in progress) ICALP 2022 : For its 50th edition, the International Colloquium on Automata, Languages and Programming (ICALP) is organized by IRIF and EATCS. The call for papers and call for workshops are now out. Call for papers : Important deadlines and guidelines submission are available here. Call for workshops : Important deadlines and workshop proposal guidelines are available here. Focus on the Quantum Technologies Graduate School The Quantum Technologies Graduate School aims to train high-level students by giving them a solid knowledge base in the field of quantum information and technologies with a cross-disciplinary approach combining skills in physics and computer science. It is based on the “Quantum Devices” master's program for the physics part, and the “Parisian Master of Research in Computer Science” for the computer science part. The skills developed will ensure that students have a variety of opportunities in this rapidly expanding field, ranging from the world of business to that of research via doctoral training. The Quantum Technologies Graduate School is organizing a Seminar Cycle (Fall 2021) addressed to master students: 15/10/2021 · 12h room 454A Building Condorcet Thierry Debuisschert (Thales Research and Technology) Quantum sensors based on diamond NV centers 22/10/2021 · 12h room 454A Building Condorcet Iordanis Kerenidis (CNRS IRIF & QC WARE) Quantum machine learning 12/11/2021 · 12h room 454A Building Condorcet Luca Guidoni (CNRS, Laboratoire Matériaux et Phénomènes Quantiques) Quantum information processing with trapped ions: experimental and technological challenges 19/11/2021 · 12h room 366A Building Condorcet Julien Laurat (Sorbonne Université, Laboratoire Kastler Brossel) Interfacing light and cold atoms for quantum networks Appels d'offres et informations des partenaires Université de Paris / Baromètre des égalités : Université de Paris souhaite évaluer la manière dont ses diverses populations (étudiante, enseignante, scientifique, administrative et technique) appréhendent la notion des égalités. Ce questionnaire vous est ainsi proposé pour mieux évaluer les pratiques au sein de l’établissement et identifier des axes d’amélioration. CNRS / Projet collaboratif sur l’Intelligence Artificielle hybride : Lancement d’un projet phare du CNRS sur l’IA hybride à Singapour. Ce programme vient d’être sélectionné par le gouvernement singapourien et sera basé sur le campus CREATE, son hub international de recherche. Il implique du côté français le CNRS et 11 universités et Grandes Écoles et, du côté singapourien, cinq universités et l’institut A*STAR. RFSI / 2ème Appel 2021 spécifique « matériel » : Ce 2ème appel à projets 2021 est ouvert sur toutes les thématiques scientifiques relevant des sciences informatiques et nécessitant du matériel spécifique. Cet appel a vocation à apporter les moyens matériels nécessaires au développement de projets scientifiques. Le coût de chaque matériel devra être supérieur à 800€, pour un total inférieur à 45k€ par projet. La soumission des projets se fait en ligne ici. La date limite de soumission des projets est fixée au 22 octobre 2021 (minuit). diiP / Call for proposals for Master level internships - 2nd call : Le Data Intelligence Institute of Paris (diiP) a la possibilité de financer des projets de masters supplémentaires pour 2022. Si vous n'avez pas envoyé de projet durant le premier appel 2022, vous avez jusqu'au 29 octobre, 12h00 (midi) pour candidater. Critères et procédure pour candidature ici. Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. CNRS Le Journal n°64 L'actualité étudiante du 14/10/2021 avec à la une Octobre rose à Université de Paris Flash Info RH du 14/10/2021 Agenda de la semaine du 18 octobre au 22 octobre Vérification · Lundi 18 octobre 2021, 11 heures – salle 3052 et sur Zoom Florian Renkin (LRDE, EPITA) Practical “Paritizing” of Emerson-Lei Automata Algorithmes et complexité · Mardi 19 octobre 2021, 14 heures – Salle 3052 Stephen Piddock (School of Mathematics, University of Bristol) Quantum analogue simulation: universality and complexity Algorithmique distribuée et graphes · Mardi 19 octobre 2021, 14 heures – Salle 1007 et sur Zoom Mirna Džamonja (IRIF) On limits-from the finite to the countable and very much uncountable graphs Sémantique · Mardi 19 octobre 2021, 10 heures 30 – Salle 3052 Théo Winterhalter (Max Planck Institute Bochum (Allemagne)) TBD One world numeration seminar · Mardi 19 octobre 2021, 14 heures 30 – Online Mélodie Lapointe (IRIF) q-analog of the Markoff injectivity conjecture Combinatoire énumérative et analytique · Jeudi 21 octobre 2021, 14 heures – Salle 1007 Florent Koechlin (IRIF, Université de Paris) Séries génératrices et preuves d'intrinsèque ambiguïté Preuves, programmes et systèmes · Jeudi 21 octobre 2021, 10 heures 15 – On-line Armaël Guéneau Program verification on a capability machine in the presence of untrusted code Catégories supérieures, polygraphes et homotopie · Vendredi 22 octobre 2021, 14 heures – Salle 1007 Antoine Allioux (IRIF) Structures supérieures cohérentes en théorie des types homotopiques Automates · Vendredi 22 octobre 2021, 14 heures 30 – Salle 3052 Dietmar Berwanger Telling Everything. Information Quotients in Games with Communication Graph Transformation Theory and Applications · Vendredi 22 octobre 2021, 15 heures – online Frank Drewes, Berthold Hoffmann & Mark Minas (Department of Computing Science, Umeå University, Sweden; Department of Mathematics and Informatics, University of Bremen, Germany; Institute for Software Technology, Computer Science Department, Universität der Bundeswehr München , Germany) Contextual Hyperedge Replacement Grammars: Languages – Parsing – Grappa