summaryrefslogtreecommitdiff
path: root/research
AgeCommit message (Expand)Author
2026-02-04research: add fossacs 2026 paperaristote
2026-02-04research: misc: add profunctorial algebrasaristote
2025-12-19talks: add 12/2025 limd seminararistote
2025-12-15talks: add PPS days 2025aristote
2025-12-15talks: csl 2024: fix linkaristote
2025-12-06(tmp): fix research/talksquentin@aristote.fr
2025-12-05research: talk: asv day: add urlaristote
2025-12-04research: talk: asv day 2025aristote
2025-11-25experience: add academic servicearistote
2025-10-23research: talks: rouen 2025aristote
2025-10-20talks: cant: fix slidesaristote
2025-10-10research: conferences: lics2025 proceedingsaristote
2025-10-09research: journals: csl2024 distinguished paperaristote
2025-10-09research: talks: cant2025: update slides urlaristote
2025-09-30research: talks: add cant2025aristote
2025-09-08research: add highlights talkaristote
2025-08-12research: calco2025: add abstractaristote
2025-08-12rename any last instances of 'publications' to 'research'quentin@aristote.fr
2025-08-01research: talks: add may talksaristote
2025-07-29publications -> researcharistote
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 22:04:43 +0000