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 !
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.
Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.
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