Lettre de l'IRIF du 13 Octobre 2023

Edito

Cette semaine, le compte-rendu du conseil de laboratoire du 10 octobre est disponible. Deux membres du conseil de laboratoire ayant renoncé à leurs fonctions, vous pouvez présenter votre candidature ; les élections se dérouleront le 13 novembre. Le conseil a approuvé une motion sur le caractère non-obligatoire de la présence physique aux conférences pour les auteurs d’articles publiés. Un groupe Galène a été créé pour participer à distance aux conseils de laboratoires.

Côté actualités, deux ateliers à distance pour préparer aux différents concours (CNRS, INRIA, Maître de conférences) les participants.

La Focus de cette semaine porte sur un article de Quanta Magazine, “To Move Fast, Quantum Maze Solvers Must Forget the Past” auquel Simon Apers a contribué .

Concernant les appels d'offres, la bourse d'excellence Eiffel pour les étudiants internationaux en master et doctorat est ouverte aux candidatures et les bourses MSCA sont toujours ouvertes.

Bonne lecture et bonne fin de semaine !

Annonces de la direction


Actualités


Focus on the article "To Move Fast, Quantum Maze Solvers Must Forget the Past"

Quantum algorithms can find their way out of mazes exponentially faster than classical ones, at the cost of forgetting the paths they took. A new result suggests that the trade-off may be inevitable.

Simon Apers participated in this article: “There is no way I would have guessed that they could actually prove that,” said Simon Apers, a quantum computing researcher with the National Center for Scientific Research at the Institute for Research in Foundations of Computer Science in Paris, adding that the result “is very useful in illustrating what quantum algorithms can and cannot do.”

You can read the full article here.

Appels d'offres et informations des partenaires

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


Agenda de la semaine du 16 octobre au 20 octobre

Vérification · Lundi 16 octobre, 11:00, 3052 and Zoom link ·
Lucie Guillou (IRIF), Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous

Formath · Lundi 16 octobre, 14:00, 3052 ·
Thiago Felicissimo (Deducteam, INRIA & LFM, Paris-Saclay), Generic bidirectional typing for dependent type theories

Combinatoire énumérative et analytique · Mardi 17 octobre, 11:00, Room 1007 ·
Valérie Berthé, Mots de faible discrépance

One world numeration seminar · Mardi 17 octobre, 14:00, Online ·
Fumichika Takamizo (Osaka Metropolitan University), Finite $\beta$-expansion of natural numbers

Sémantique · Mercredi 18 octobre, 10:45, Room 3052, 3ème étage du bâtiment Sophie Germain ·
Pierre Clairambault (CNRS, Université d'Aix-Marseille), From Thin Concurrent Games to Relational Models

Algorithmes et complexité · Mercredi 18 octobre, 11:00, Room 1007 ·
Marco Túlio Quintino (LIP6), Transforming and discriminating quantum operations using higher-order methods

Automates · Mercredi 18 octobre, 15:00, Room 3052 ·
Joël Ouaknine, What’s Decidable about Discrete Linear Dynamical Systems?

Preuves, programmes et systèmes · Jeudi 19 octobre, 10:30, Room 3052 ·
Tba, Séminaire CHOCOLA

Séminaire des membres non-permanents · Jeudi 19 octobre, 16:00, Room 1007 ·
All Non-Permanent Members, Introductory session

Automates · Vendredi 20 octobre, 14:00, Room 3052 ·
Automata Team, Welcome session

Graph Transformation Theory and Applications · Vendredi 20 octobre, 15:00, online ·
Francesco Di Giovanni (Department of Computer Science and Technology, University of Cambridge, UK), On over-squashing and expressivity: can GNNs mix variables? From theory to physics-inspired solutions