Edito

Dans la lettre cette semaine, des informations concernant les travaux de mise aux normes de sécurité du bâtiment Sophie Germain qui vont être effectués durant l'année 2023. Un appel à volontaire pour encadrer un stagiaire de 3ème au mois de janvier, le portrait de Marie Albenque qui a récemment rejoint l'IRIF et les deadlines pour les concours chercheur·e·s CNRS. Trois rappels à noter : Appel à projets « Émergence Recherche », l'ordre du jour prévisionnel du conseil de laboratoire et le pot de fin d'année de l'IRIF le 16/12 sur l'heure du déjeuner.

Côté des actualités scientifiques, une journée en l'honneur d'Alain Aspect, l'École de recherche du CIRM et le Colloquium d'informatique de Sorbonne Université. La prochaine réunion AGaPe et le Séminaire francilien de géométrie algorithmique et combinatoire. A noter, un poste de postdoc en informatique théorique et théorie des bases de données proposé par l'École normale supérieure et Télécom Paris.

Du côté des partenaires, un hommage à Stavros KATSANEVAS, un journée de sensibilisation à la valorisation & Concours technologique et un appel à propositions de stages L3.

Le focus cette semaine s'intéresse à Jonas Landman, lauréat 2022 d'un prix de thèse de la Chancellerie des Universités de Paris.

Bonne lecture !

Annonces de la direction

  • Portrait : Nous sommes ravis d'accueillir Marie Albenque, directrice de recherche au CNRS. Marie a rejoint l'IRIF depuis le 1er octobre 2022 au pôle ASD dans l'équipe Combinatoire. Lire son portrait écrit.
  • Stagiaire de 3ème / janvier 2023 : Nous sommes à la recherche de volontaires supplémentaires pour accueillir un stagiaire de 3ème du 16 au 20 janvier 2023. Mohammed Foughali a accepté de prendre en charge ce stagiaire 2 après-midis durant cette semaine mais il manque des intervenant·es pour assurer les 8 demi-journées restantes. Si vous êtes disponible et intéressé·es à participer à l'encadrement de ce stagiaire très motivé, écrivez à scolaire@irif.fr.
  • [Rappel] Appel Emergence: Appel à projets « Émergence Recherche » de l’IdEx Université Paris Cité. Date de clôture de l’appel : 15 décembre 2022 à 11h00 (heure de Paris). Attention une lettre de la direction de l'IRIF est à joindre au dossier. Demandez votre lettre au plus tard le 13 décembre. Pour en savoir plus : Appel-Emergence en recherche 2022.
  • [Rappel] IRIF end of the year get together : IRIF is organizing an end of the year get together on Friday, December 16 during lunchtime on the 3rd floor of the lab. The event is opened to all members of the lab and a free buffet will be served.
  • Travaux : Des travaux de mise aux normes de sécurité du bâtiment Sophie Germain vont être effectués durant l'année 2023. Ces travaux devant atteindre la structure du bâtiment, des nuisances sonores importantes, et des bureaux seront condamnés durant la totalité des travaux. Ces relocations vont occasionner une surcharge de certains bureaux (doctorants, postdoc/ATER, visiteurs). Concrètement voici à quoi il faut s'attendre de façon prévisionnelle (sera débattu en conseil de labo et AG en 2023) :
    • Entre mi-avril et mi-septembre 2023 : De fortes nuisances sonores à prévoir de façon ponctuelle. Ces moments seront annoncés à l'avance.
    • Entre avril et décembre 2023 : Une capacité d'accueil réduite en raison de la fermeture de certains bureaux et salles.
    • Stagiaires M1/M2 : Aucune possibilité d'allocation de bureau à priori. Ils pourront aller dans les bibliothèques de l'Université (bâtiment et centrale). Ils auront néanmoins accès au bâtiment. Une salle d'accueil à la journée sera peut être disponible.
    • Visiteurs avril/décembre 2023 : Logés par défaut dans le bureau de l'accueillant si possible, et exceptionnellement dans un bureau visiteur si le séjour est de plusieurs semaines.
  • [Rappel] Conseil de laboratoire : Mardi 13 décembre 13h - Salle 3058 . Le conseil de laboratoire est ouvert à tous les membres de l'IRIF. Ordre du jour prévisionnel, susceptible d'être étoffé :
    • Concours CNRS : point sur le concours et les modalités des lettres de soutien du laboratoire
    • Proposition d'une commission pour l'adaptation de l'IRIF aux défis environnementaux
  • Concours chercheur·e·s CNRS ouvert, date limite 5 janvier 12h : https://www.cnrs.fr/fr/concours-ch. Nous sommes concernés directement par les postes CRCN et DR :
    • CRCN, dans les sections 6 et 7, 40 et 41 ainsi que la CID51.
    • DR2, dans les sections 6 et 7 ainsi que les CID, notamment les CID51 et CID55.
    • DR externes, car le CNRS souhaite recruter des candidats en dehors du système de l’ESR français, les candidatures sont à déposer pour les concours 06/01 et 07/01 et éventuellement les CID.
  • Cartes de visite : Nous sommes en train de faire créer des cartes de visite respectant la charte d'UPCité. Pour celles et ceux qui souhaitent obtenir des tirages de leur carte de visite personnalisées, merci de bien vouloir communiquer vos prénom, nom, fonction(s), numéro de téléphone, adresse mail par mail à cadet@irif.fr. En plus d'une distribution dans le cadre d'événements professionnels, cette carte pourrait être utile pour justifier votre affiliation à l'Université et permettre un accès au bâtiment plus facilement, on l'espère.


Actualités

  • Journée en l'honneur d'Alain Aspect : A l'occasion de la remise du prix qui se déroulera à Stockholm le samedi 10 décembre 2022, l'ENS Paris-Saclay rend hommage à Alain Aspect en organisant une après-midi de conférences accessibles autour du quantique, par celles et ceux qui ont eu le plaisir d'apprendre à ses côtés. Plus d'informations sur le programme. Ouvert à toutes et à tous, inscription ici.
  • QPL 2023 : The 20th International Conference on Quantum Physics and Logic (QPL 2023) will take place from 17 July to 21 July 2023 at the “Institut Henri Poincaré” in Paris, France. Abstract submission deadline: 1 March 2023.
  • Postdoc / Télécom Paris : L'École normale supérieure et Télécom Paris proposent un poste de postdoc en informatique théorique et théorie des bases de données. Plus d'informations ici. Les candidatures parvenant avant le 6 janvier seront traitées en priorité.
  • AGaPe : The working group AGAPE (Algorithmique à Garantie de Performances) of the GDR-RO is organizing a mini-workshop on December 12th from 14h to 18h at IRIF. Among the confirmed speakers from IRIF, Mónika Csikós (An improved algorithm to create matchings with low crossing numbers) and Laurent Viennot (Walk temporalization). For more details please see here.
  • Séminaire francilien de géométrie algorithmique et combinatoire : La prochaine séance aura lieu jeudi 15 décembre 2022 de 14h à 17h, à l'IHP, en salle 421. Les orateurs seront Adrian Vladu (CNRS, IRIF) et Bruno Vallette (Sorbonne Paris Nord). Plus d'informations sur ce séminaire ici.


Focus sur Jonas Landman, lauréat d'un prix de Thèse de la Chancellerie

Jonas Landman, ancien doctorant de l'IRIF, est lauréat 2022 d'un prix de Thèse de la Chancellerie des Universités de Paris. Pour sa thèse intitulée Algorithmes quantiques pour réseaux de neurones et apprentissage automatique non supervisé, il a été récompensé d'un Prix en Sciences « Toutes Spécialités ».

Résumé de sa thèse
L’ordinateur quantique nourrit de nombreux espoirs, mais de l’incertitude réside quant à ses applications. Dans cette thèse, nous voulons savoir si les algorithmes quantiques peuvent être utilisés pour l’apprentissage automatique. Nous montrons que des liens existent entre les deux concepts, à travers l’algèbre linéaire qui décrit autant les états quantiques que les outils d’apprentissage. Avec l’analyse de la complexité et les simulations numériques, nous prouvons que nos algorithmes quantiques sont plus rapides que leur version classique, malgré leur nature aléatoire. Nos algorithmes incluent les produits matriciels, l'estimation de distances, la décomposition de graphes, l'apprentissage non supervisé (k-means, spectral clustering), mais aussi les réseaux de neurones artificiels grâce au produit de convolution quantique pour images et une nouvelle méthode de tomographie. Enfin, un circuit pour réseaux neuronaux orthogonaux adapté aux premiers ordinateurs quantiques a été expérimenté.

“L'apprentissage supervisé correspond au cas où les données que l'on donne à l'ordinateur contiennent les réponses (par exemple des images de chats et chiens, avec pour chacune la réponse “chat” ou “chien”). Lors de l'entraînement, l'ordinateur cherche alors à répondre au mieux et corrige les paramètres de la fonction de prédiction à chaque fois qu'il fait une erreur. Dans l'apprentissage non supervisé, les réponses ne sont pas fournies lors de l'entraînement. L'ordinateur doit se débrouiller avec des images de chats et chiens et doit comprendre naturellement qu'il y a deux types d'animaux. On parle souvent de clustering car il s'agit de trouver des “groupes” dans les données, souvent très nombreuses et de très grande dimension.”
En savoir plus sur son parcours et sa thèse dans cette interview écrite.


Appels d'offres et informations des partenaires

  • DIM QuanTiP / Valorisation Awareness Day & Technology Competition : On January 25, 2023 at the amphi Charpak of the LPNHE, 4 Place Jussieu, Tour 22, 75005 Paris. The aim of this day is to train QuanTiP's research teams in the various aspects of innovation, to promote the valorization and company creation processes, and to contribute to the launch of industrial transfers in Île-de-France region. Your are encouraged you to bring a poster of your work to present it to the actors of the valorisation. The deadline for submission is January 17, 2023.
  • [Rappel] Inria / Appel à candidatures pour le jury de l'agrégation d'informatique 2023 : Un jury ayant des compétences dans des domaines comme l'architecture des ordinateurs, les bases de données, la compilation, le génie logiciel, les systèmes d'exploitation ou les réseaux est particulièrement incité à candidater. Pour faire acte de candidature, envoyez par courriel un CV de type académique au format pdf à l'adresse sylvie.boldo@inria.fr, avec un sujet contenant le tag [Candidature jury] avant le 14 décembre. Plus d'informations sur https://agreg-info.org/.

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

Agenda de la semaine du 12 décembre au 16 décembre

Vérification · Lundi 12 décembre, 11:00, 1007 and Zoom link ·
Salim Chouai (Mohammed VI University), Synthesis of Accuracy Specification under Differential Privacy

One world numeration seminar · Mardi 13 décembre, 14:00, Online ·
Hiroki Takahasi (Keio University), Distribution of cycles for one-dimensional random dynamical systems

Algorithmes et complexité · Mercredi 14 décembre, 11:00, Room 3052 ·
Fabien Dufoulon (University of Houston), Sleeping is Superefficient: MIS in Exponentially Better Awake Complexity

Théorie des types et réalisabilité · Mercredi 14 décembre, 14:00, Room 1007 ·
Rémy Cerda (Institut de Mathématiques de Marseille, Université Aix-Marseille), TBA

Algorithmes et complexité · Mercredi 14 décembre, 14:00, Room 3052 ·
Hang Zhou (École Polytechnique), Unsplittable Euclidean Capacitated Vehicle Routing

Preuves, programmes et systèmes · Jeudi 15 décembre, 10:30, Room 3052 ·
Davide Barbarossa (Università di Bologna), TBA

Soutenances d'habilitations · Jeudi 15 décembre, 14:00, Amphithéâtre Pierre-Gilles de Gennes, Bâtiment Condorcet ·
Arnaud Sangnier (IRIF, Université Paris Cité), Algorithmic techniques for the verification of counter systems and parameterised networks

Soutenances de thèses · Jeudi 15 décembre, 17:00, Online ·
Berk Cirisci (IRIF), Formal Verification of Concurrent Data Structures

Automates · Vendredi 16 décembre, 14:00, Room 3052 ·
Carl-Fredrik Nyberg Brodda, TBA

Graph Transformation Theory and Applications · Vendredi 16 décembre, 15:00, online ·
Steffen Zschaler (Department of Informatics, King's College London, UK), Activation diagrams as a tool for generating consistency-preserving graph transformation rules: the case of product-line configuration with Acapulco