← Retour au site du LMF
Cette page regroupe tous les liens mentionnés dans le Journal imprimé du LMF (édition Mars 2026).
Administration
- Nouvel outil NOTILUS — Université Paris-Saclay
- Outil de gestion des déplacements et frais professionnels. La connexion se fait directement via ce lien.
Publications
- J. Goubault-Larrecq — Proper maps and quasi-adjoints
- Topology Proceedings 68 (2026), pp. 137–156.
- Blog Topologie — Characterizing non-ω-well-filtered spaces by forbidden subspaces
- J. Goubault-Larrecq · Entrée du blog de topologie, 20 février 2026.
- S. van Gool — Uniform Interpolation
- In : Theory and Applications of Craig Interpolation, Ubiquity Press (2026). Éd. ten Cate, Jung, Koopmann, Wernhard, Wolter.
Appel à contribution
- Numéro spécial TCS — Universality in Logics and Physics
- Numéro spécial de Theoretical Computer Science en hommage à l'héritage intellectuel de Gilles Dowek. Thèmes : frameworks logiques, déduction automatique, langages quantiques, modèles physiques de calcul, interopérabilité des systèmes de preuves…
- Date limite : 31 décembre 2026.
Événements
Journées Nationales GT DAAL 2026
- Inscription : lien à venir
Workshop Computational Psychology
Journées Nationales GT LHC 2026
Colloque en mémoire de Gilles Dowek
Inscription Séminaire au Vert
Shorts Youtube : Vibe-Formalizing our TCS Paper in Lean