Cette semaine, dans la lettre de l'IRIF, la FSMP ouvre ses chaires d'excellence et programmes pour post-doctorants. L’appel à projet générique (AAPG) 2024 de l’ANR et les candidatures pour l'Institut Universitaire de France pour 2024 sont ouverts.

Aliaume Lopez, qui a récemment soutenu sa thèse, nous en parle dans son portrait. C'est le focus de cette semaine.

Bonne lecture et bon week-end !

• Lab council: Next lab council will take place Tuesday October 10th at 13:00, in room 3052. Any member of IRIF can attend the lab council. The agenda is the following:
  1. Budget and expenses
  2. Internal regulations, final approval. See the text here
  3. Motion proposed by IRIF&Environment committee
  4. INRIA and CNRS transfers
  5. Approval of IRIF member representatives for HCERES visit
  6. Discussion of the laboratory's scientific priorities
  7. INS2I call for projects

• HCERES - on November 28-30: It is important that during the HCERES visit, which will take place from November 28 to 30, all members are present for the presentations, at the very least on the morning of the 28th and during the day when their department will be evaluated. Therefore, all seminars will be suspended during these 3 days. Please limit missions to the absolute minimum during these 3 days.

• Etamine (mission requests): Reminder: please check that you have access to the CNRS tools, if not please tell the secretariat. When you fill in the mission request, you have to validate the form and then submit it for validation (Soumettre pour validation). You have to wait for the demand to be validated by the director on Etamine before you can make reservations via Notilus.

• HAL: IRIF members are requested to deposit bibliographic entries for their publications on HAL. In the vast majority of cases, this involves entering the DOI of the publication in question. Otherwise, to find out how to proceed, see affiliation.

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

Aliaume Lopez a défendu sa thèse le mardi 12 septembre 2023. Son sujet était sur les “Théorèmes de Préservation”.

“Ma thèse s’intéresse aux théorèmes de préservation en logique du premier ordre sur des classes de modèles finis. Derrière ces mots clefs se cachent l’histoire d’un passage de l’infini mathématique au fini de l’informatique, plus précisément de la “Théorie des Modèles” (une branche de la logique) vers la “Théorie des Modèles Finis”. Le fait de ne pas considérer des modèles infinis intervient naturellement en informatique, par exemple lorsqu’on interprète des bases de données comme des structures mathématiques. Les théorèmes de préservation sont un exemple archétypique de la difficulté de ce passage de l’infini au fini. En effet, ce sont des résultats fondamentaux, simples, et bien compris de la théorie des modèles classiques, pour lesquels la transcription dans le cadre des modèles finis a posé et pose encore des questions profondes.”

Pour lire son portrait, rendez-vous sur ce lien.

Abstract : Preservation Theorems in first-order logic are a collection of results derived from classical Model Theory. These results establish a direct correspondence between the semantic properties of formulas and the syntactic constraints imposed on the language used to express them. However, studying these theorems becomes notably challenging when focusing on finite models, which is unfortunate given that the field of Finite Model Theory is better equipped to describe phenomena occurring in Computer Science. This thesis presents a systematic approach to investigating Preservation Theorems within the realm of Finite Model Theory. The traditional ad-hoc proofs are replaced with a theoretical framework that generalizes techniques based on locality, and introduces a topological presentation of preservation theorems called logically presented pre-spectral spaces. Introducing these topological spaces enables us to develop a compositional theory for preservation theorems. Additionally, this thesis takes an initial stride towards systematically examining preservation theorems across inductively defined classes of finite structures. It accomplishes this by proving a generic fixed point theorem for a topological extension of logically presented pre-spectral spaces, specifically Noetherian spaces.

• 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.
  • Research Chairs of excellence: from Monday October 2 to Thursday November 30 2023 / Offer description - Application form
  • FSMP Postdoctoral program: from Monday October 2 to Thursday November 30 2023 / Offer description - Application Form
  • MathInGreaterParis Postdoctoral program: from Tuesday October 3 to Thursday November 30 2023 / Offer description - Application Form

• 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. Ennfin, 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.

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

• Session d'information ERC Consolidator 2024 : vendredi 13 octobre, de 10h à 12h en zoom, une réunion vous présentera comment et pourquoi préparer un projet Consolidator pour le Conseil Européen de la Recherche. Deux personnes invitées vous feront également un retour d'expérience sur les ERC. Cliquez sur ce lien pour vous connecter. ID de réunion: 860 5453 2222 - Code secret: 649686.

• 4ème journée scientifique de l'IHM : la prochaine journée scientifique de l’Institut Hors Murs (IHM) des Maladies Ostéoarticulaires sur la recherche sur l’activité physique à Université Paris Cité se tiendra le jeudi 19 octobre 2023 à 14h, Amphithéâtre Vulpian (Site Odéon, 12 rue de l’Ecole de Médecine, 75006 Paris). Pour vous inscire, cliquez ici. Vous trouverez le programme dans ce document.

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

• CNRS Hebdo du 2 octobre 2023
• Fil info Recherche du mardi 3 octobre 2023
• La lettre du journal en ligne du CNRS n°81 du 21 septembre 2023
• Newsletter de l'INS2I du CNRS #35 du 4 octobre 2023
• La lettre de l'INSMI d'octobre 2023
• La lettre du CNRS interne du 5 octobre 2023