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

  • 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

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


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


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