• Octobre 2024 : Aperçu d'une catégorisation générale de concepts pour des systèmes formels
    (et donc de travaux sur ces systèmes ; illustrations pour le LIM)

  • Décembre 2024 : Représentation et partage de connaissances – Thématiques de mes travaux