index
:
info
cv
master
Personal information packaged in a Nix attribute set.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2025-10-10
research: conferences: lics2025 proceedings
aristote
2025-10-10
devenv: update
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-30
devenv: update
aristote
2025-09-08
research: add highlights talk
aristote
2025-09-08
devenv: update
aristote
2025-08-30
keys: pgp: change expiry date
quentin@aristote.fr
2025-08-30
devenv: update
quentin@aristote.fr
2025-08-12
research: calco2025: add abstract
aristote
2025-08-12
rename any last instances of 'publications' to 'research'
quentin@aristote.fr
2025-08-12
devenv: update
quentin@aristote.fr
2025-08-01
Merge branch 'new-pub-format'
aristote
2025-08-01
research: talks: add may talks
aristote
2025-08-01
devenv: update
aristote
2025-08-01
devenv: update
aristote
2025-07-29
publications -> research
aristote
2025-07-29
publications: calco proceedings
aristote
2025-07-29
publications: calco proceedings
aristote
2025-07-27
typo
aristote
2025-07-27
devenv: update
aristote
2025-07-27
publications: files: fix script
aristote
2025-07-27
reference files: add talks
aristote
2025-07-27
normalize references
aristote
2025-07-27
Publications -> Writings
aristote
2025-07-27
publications: fix export
aristote
2025-07-27
devenv: update
aristote
2025-07-27
move back to json and rename
aristote
2025-07-27
importYAML -> importTOML
aristote
2025-07-26
new publication format
aristote
2025-07-26
change status of some preprints
aristote
2025-07-26
move hal version of wdl2025 out of selected
aristote
2025-07-19
publications: monotone wdl: update
aristote
2025-05-06
add calco preprint
aristote
2025-04-28
publications: add lics 2025 preprint
aristote
2025-02-27
aristoteMonotoneWeakDistributive2025: add abstract
quentin@aristote.fr
2025-02-27
devenv: update
quentin@aristote.fr
2025-02-25
stacs 2025 paper
aristote
2025-02-25
devenv: update
aristote
2025-02-22
package source
quentin@aristote.fr
2025-02-16
publications: export inside a package
quentin@aristote.fr
2025-02-16
publications: update
quentin@aristote.fr
2025-02-16
move devenv out of flake
quentin@aristote.fr
2024-11-04
fall 2024: new paper
aristote
2024-08-30
renew pgp key
quentin@aristote.fr
2024-03-01
fix citation
quentin@aristote.fr
2024-02-28
publications: add selected section
quentin@aristote.fr
2024-02-28
update publications
quentin@aristote.fr
2024-02-07
stop following .envrc
aristote
[next]
