2025 - 2026

Exposés à venir

Git avancé

12 Mar 2026 14:00 — 15:00 16-26-209
Catégorie : Grand Public

Formalisation Mathématique en Lean

Après une introduction générale aux mathématiques assistées par ordinateur, je me concentrerai sur l’assistant de preuve Lean et …
9 Apr 2026 14:00 — 15:00 16-26-209
Catégorie : Grand Public

IA en local et calcul scientifique

Déployer un LLM open‑weight pour développer un solveur de Navier–Stokes
7 May 2026 14:00 — 15:00 16-26-209
Catégorie : Grand Public

Exposés passés

Julia

An introduction to Julia as a tool in scientific computing
5 Feb 2026 14:00 — 15:00 16-26-209
Catégorie : Grand Public
Code Vidéo

Git

22 Jan 2026 14:00 — 15:00 16-26-209
Catégorie : Grand Public
Diapositives Vidéo

LaTeX : les erreurs courantes

16 Oct 2025 14:00 — 15:00 16-26-209
Catégorie : Grand Public
Diapositives Vidéo Codes et Exemples