During a fun and productive visit of Nicolas Thiéry at Michael Kohlhase's Kwarc group at FAU Erlangen in May 2023, and a joint stay at HIM in 2024, we continued our exploration of the following problematic: could lightweight semantic annotations on Jupyter/Markdown based teaching material enrich the experience for authors and learners? Let's make it concrete on an simple example: if the definitions of concepts in the course material are explicitly annotated with adequate markup: :::{definition} The {definiendum}`cat` is a {symref}`domestic species` of small {symref}`carnivorous mammal`. :::

Bienvenue sur ce mini-site pour Journées Portes Ouvertes du 6 février 2021 pour les formations de la première année de licence de la Faculté des Sciences d'Orsay de l'Université Paris-Saclay dans les domaines des mathématiques, de la physique et de l'informatique. Vous trouverez ici des informations sur ces formations, des salons d'accueil par visio-conférence, ainsi qu'une Foire aux questions. Les formations Les portails MP et MI Nous offrons deux portails de première année (L1) bidisciplinaires: Portail L1 Mathématiques-Physique (~100 places) Portail L1 Mathématiques-Informatique (~85 places) qui ouvrent vers les licences disciplinaires correspondantes: