Journal du LMF de Mars — Liens en ligne

← Retour au site du LMF


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

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.