| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 |