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

  • Lab council partial elections: Two elected members of the lab council have resigned, they have to be replaced until the end of the term on 31/12/2024. The voters' list is available here; anyone on this list can be candidate. The candidates should declare themselves to direction@irif.fr before November 2nd, 23:59 CET. The election will be held on November 13, 2023 online on Belenios, between 9 a.m. and 4 p.m., using a cumulative and plurality voting system (scrutin majoritaire plurinominal cumulatif, see on Wikipedia). This page will also list the candidates and show the results.
  • Lab Council report: You can find the lab council report which was held on the 10/10/2023 here (by Juliusz Chroboczek). The next lab council will take place on November 14th and will be mainly devoted to the HCERES evaluation.
  • On-site participation to conferences: The lab council has approved a text stating that “IRIF supports the policy of not requiring mandatory on-site presentation of published accepted papers and encourages all conference organizers to do the same.” See the full text.
  • Lab council live: A Galene group has been created in order to follow the council meetings online: you can attend by connecting on this page. To connect you have to enter your <Name Surname> as username and an empty password. This link will always remain available on the lab council webpage.
  • Research Engineer for Software Development: last year we obtained a temporary Research Engineer (IR) position mutualized with LMF and LIPN. The IR position will be held by Tomaz Mascarenhas, starting December the 1st. Modalities for querring his support will soon be made abailable (typically 2 or 3 days per week over 3-6 months). In the meanwhile you can already think about the project you wish to submit.
  • [REMINDER] Non-permanent welcome morning: this event will be held next Tuesday, 17th of October, in room 1007 from 9:30am to 12:00pm.
  • Guidelines for IRIF publications: we remind you that all IRIF members and associates must mention the affiliation “Université Paris Cité, CNRS, IRIF” for the scientific publications. All the necessary information can be found here.
  • Missions: When filling in the mission request, do not forget to validate the form and then submit it for validation (Soumettre pour validation). Please indicate the grant and as many information as possible in the comment field. You can transfer a validation email from the grant holder to the secretariat while filling in the form. All the instructions are detailed here.
  • [REMINDER] Procedure for mission requests: It is very important to fill in your etamine profile. Mission requests will now be done using the Etamine form. First, please connect on this page (you may need to click on the link twice) to update your profile. When you submit a mission request please specify in the mission title the funding and the venue. Also, provide as much information as possible regarding the location, timeline, transportation, and spending estimates in the comment field. If the mission is handled by CNRS, you will be able to book your trip and accommodations in Notilus once the mission is approved. Reservations must be confirmed by the secretary's office within a very short timeframe. Please make ticket reservations during the week and between 8am and 4pm, and before 12pm on fridays. If you encounter any problem, please do not hesitate to contact the secretariat. In general, please declare your missions at least 2 weeks before departure.
  • Reminder: IRIF has the policy not to buy bottled water for events held near water tapes.


Actualités

  • Atelier préparation aux concours : deux ateliers en ligne se dérouleront les 19 et 20 octobre de 18h à 19h30 (organisés par le GDR GPL). Ces ateliers sont destinés aux doctorants et post-doctorants, aters, etc.. L'objectif de ces ateliers est d'aider les potentiels futurs candidats aux différents concours (CNRS, INRIA, Maître de conférences) à préparer au mieux leurs candidatures. Le lien zoom est le même pour les 2 ateliers. Les candidatures à l'ONERA et au CEA seront également abordées. Au programme :
    • 19 octobre : CNRS et INRIA - interventions/témoignages de recrutés sur ces concours. Questions/réponses
    • 20 octobre : concours MCF - Qualification CNU - recrutement CEA - recrutement ONERA (à confirmer) - Questions/réponses
  • Distinguished Talks Series: Simon Peyton Jones, fellow of the Royal Society, will be the first speaker for the return of the Distinguished Talks Series. He will present the Verse programming language. This presentation will be held in amphi Turing, November 8th from 11am to 12:30pm and will be followed by a buffet lunch. More informations to come on the DTS page.
  • Ma thèse en 180s : une réunion est organisée le mardi 17 octobre pour les étudiants souhaitant en savoir plus sur ce concours. La formation sera proposée, par le Collège des écoles doctorales d'Université Paris Cité, à l’ensemble des candidats des établissements membres de Alliance Sorbonne Paris Cité. Pour candidater, vous devrez compléter le dossier de candidature comme les années précédentes mais également s’inscrire auprès du CED. Cette formation obligatoire, si elle est suivie intégralement, permettra de valider 23 heures de formation doctorale. La formation ne pourra accueillir que 16 candidats, et les inscriptions se feront par ordre d'arrivée et d'éligibilité. Vous avez jusqu'au 27 octobre 00h pour vous inscrire. La formation débutera le 7 novembre. La finale devrait avoir lieu le 14 mars. Plus d'informations sur la page dédiée.
  • PPS Welcome day: the PPS welcome day will be held Thursday, October 19th, from 9am to 3:45pm, room 3052 at Sophie Germain Buildings. The new PPS members will present themselves and their work. A buffet lunch will be provided.


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

  • Appel à projet MSCA and Citizens 2023 : vous avez jusqu'au 25 octobre pour répondre à cet appel à projet, qui a pour but d'obtenir des financements dans le cadre d'actions menées pour rapprocher la recherche (activités, rôle, intérêt sociétal…) vers le grand public comme par exemple avec la Fête de la Science. Plus d'informations ici pour se renseigner sur ce projet européen.
  • Doctoral Networks: These doctoral programmes will respond to well-identified needs in various research and innovation areas, expose the researchers to the academic and non-academic sectors, and offer research training, as well as transferable skills and competences relevant for innovation and long-term employability. You can submit until the 28th of November, 2023. More informations here.
  • Bourse d'excellence Eiffel : l'appel à candidatures 2024 est lancé. Instauré par le Ministère de l’Europe et des Affaires Étrangères, le programme de bourses Eiffel permet aux meilleurs étudiants et étudiantes internationaux de bénéficier d’une aide à la mobilité pour suivre des formations diplômantes de niveau master et doctorat. Vous avez jusqu’au 31 octobre 2023 candidater. Plus d'informations ici.
  • Research chairs of excellence FSMP: The Fondation Sciences Mathématiques de Paris offers research chairs of excellence and postdoctoral positions in Mathematics and in fundamental Computer Science for academic year 2024-2025, all located in Paris or in Paris area.
  • Co-financement des Colloques et Conférences Scientifiques : la Faculté des Sciences lance son appel à projet 2024 pour soutenir les initiatives d’animation scientifique et de structuration de la recherche, via le co-financement de colloques et conférences scientifiques. Vous avez jusqu'au 30 octobre pour candidater. Plus de reseignements dans ce document.
  • CNRS NII Japon : le National Institute of Informatics (NII) au Japon accueillera des étudiants en master de recherche et/ou en doctorat en tant que stagiaires dans ses laboratoires/centres. Les frais de séjour seront couverts par le NII. Une assurance médicale sera également fournie. Pour candidater, merci de consulter d'abord les sujets de recherche. Vous pouvez en choisir jusqu'à trois puis il faudra rentrer en contact avec les directeurs de recherche du NII. Enfin, il faudra compléter le formulaire de candidature sous le format suivant : NOM DU CANDIDAT_Application form NII_2nd call 2023 en incluant son CV indiquant clairement tous les antécédents professionnels et formations universitaires. Merci de renvoyer les deux documents demandés à caroline.danilovic@cnrs-dir.fr jusqu'au 16 octobre à 17h00.
  • AAPG 2024 de l'ANR : l’appel à projet générique (AAPG) 2024 de l’ANR est ouvert avec une date de clôture de la soumission des pré-propositions en Etape 1 fixée au jeudi 19 octobre à 17 heures. Pour une demande de subvention, vous pouvez contacter : dr01.spv@cnrs.fr ou recherche.sciences.dfa@u-paris.fr.
  • ERASMUS+ exchange program: Several types of mobility offer teaching-research staff and administrative personnel the opportunity to undertake a stay within a higher education institution in the European Union. To know more about those, a webinaire with more informations will be held Friday 10th of November from 10am to 11am. You can directly connect to the zoom links. Here is a document with the key informations for the Erasmus+ staff mobilities.
  • Institut Universitaire de France : campagne 2024: deux cents chaires IUF (juniors et seniors, dont pour chaque dont 80 chaires fondamentales, 15 chaires d’innovation et 5 chaires de médiation scientifique) seront ouvertes au concours en application de la loi de programmation de la recherche (LPR). La date limite de candidature est le 6 novembre 2023 minuit. Vous trouverez sur ce lien les dossiers de candidatures et les notices d'informations, et vous pourrez également y soumettre votre candidature. Voici la fiche de présentation à remplir pour candidater.
  • ERC-2024-STARTING and ERC-2023-SYNERGY: The ERC-2024-STARTING (closing date 24/10/2023) and ERC-2023-SYNERGY (closing date 08/11/2022) calls are open. The first one is intended for researchers whose career is between 2 and 7 years after obtaining their thesis diploma. The second is addressed to a group of between two and a maximum of four principal investigators (PIs) - one of whom will be designated as the corresponding PI (cPI) - working together and bringing different skills and resources to bear on ambitious research problems. Click on this link to find out more about the timetable and documents required for the calls.

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