Journal du LMF d'Octobre — Liens en ligne

← Retour au site du LMF

Cette page regroupe tous les liens mentionnés dans le Journal imprimé du LMF (édition Octobre2026).

Publication

  • Jean Goubault-Larrecq, On the preservation of projective limits by functors of probabilistic and of non-deterministic choice, Topology and its Applications, Volume 391, 2026 https://www.sciencedirect.com/science/article/abs/pii/S0166864126002087
  • Melanie Taprogge, Frédéric Blanqui, Alexander Steen. Formal Verification of Proofs from Automated Theorem Provers for Higher-Order Logic. LPAR-26 - 26th Conference on Logic for Programming, Artificial intelligence, and Reasoning, Oct 2026, Spetses Island, Greece https://inria.hal.science/hal-05735864v1
  • Frédéric Blanqui, Antoine Gontard. Aligning HOL-Light and Rocq libraries formally. LPAR-26 - 26th Conference on Logic for Programming, Artificial intelligence, and Reasoning, Oct 2026, Spetses Island, Greece https://inria.hal.science/hal-05735837
  • Frédéric Blanqui, Rishikesh Vaishnav. Encoding Lean’s Type Theory in Dedukti. ICTAC 2026 - International Colloquium on Theoretical Aspects of Computing, Nov 2026, Bariloche, Argentina https://inria.hal.science/hal-05731552v1
  • Pietri M, Rodet T, Le Pioufle B, Nowak T, Függer M, Bensalem S. Embedding response surfaces in kinetic models predicts microalgae growth across light and nutrient gradients. Bioresour Technol. 2026 Dec;461:135364. doi: 10.1016/j.biortech.2026.135364. Epub 2026 Jul 30. PMID: 42532283 https://www.sciencedirect.com/science/article/pii/S096085242601446X?via%3Dihub

L’agenda

Appels à projets, appels à contribution et offres à venir

  • Appel à Manifestations Scientifiques & Événementielles IA 2027

Le DIM AI4IDF lance cet appel destiné à soutenir des initiatives visant à soutenir des initatives autour de l’intelligence artificielle sur le territoire francilien. Date limite : 30 octobre 2026 – 13:00

  • Bourses Fulbright France 2027/28 - Programmes “Doctorants” & “Chercheurs” pour les États-Unis

L’Université Paris-Saclay et la Commission Fulbright franco-américaine ont conclu un accord instituant la création de bourses de recherche pour les doctorants souhaitant se rendre dans une université ou un institut de recherche américain. Ces bourses