| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-11-25 | experience: add academic service | aristote |
| 2025-10-23 | research: talks: rouen 2025 | aristote |
| 2025-10-20 | talks: cant: fix slides | aristote |
| 2025-10-10 | research: conferences: lics2025 proceedings | aristote |
| 2025-10-09 | research: journals: csl2024 distinguished paper | aristote |
| 2025-10-09 | research: talks: cant2025: update slides url | aristote |
| 2025-09-30 | research: talks: add cant2025 | aristote |
| 2025-09-08 | research: add highlights talk | aristote |
| 2025-08-12 | research: calco2025: add abstract | aristote |
| 2025-08-12 | rename any last instances of 'publications' to 'research' | quentin@aristote.fr |
| 2025-08-01 | research: talks: add may talks | aristote |
| 2025-07-29 | publications -> research | aristote |
 |
index : info | |
| Personal information packaged in a Nix attribute set. |
| summaryrefslogtreecommitdiff |