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