Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| people:etanter [2026/10/08 13:44] – etanter | people:etanter [2026/11/11 10:26] (current) – etanter |
|---|
| |
| ===== News ====== | ===== News ====== |
| | * {{bib>diazAl-cpp2027|Incremental Certified Programming in Rocq}} accepted at [[https://popl27.sigplan.org/home/CPP-2027|CPP 2027]] |
| * {{bib>arquezAl-csf2027|Language Support for Privacy Budget Management}} accepted at [[https://csf2027.ieee-security.org/|CSF 2027]] | * {{bib>arquezAl-csf2027|Language Support for Privacy Budget Management}} accepted at [[https://csf2027.ieee-security.org/|CSF 2027]] |
| * {{bib>felicissimoAl-popl2027|Consolidating Equality in a Proof Irrelevant Universe}} accepted at [[https://https://popl27.sigplan.org/|POPL 2027]] | * {{bib>felicissimoAl-popl2027|Consolidating Equality in a Proof Irrelevant Universe}} accepted at [[https://https://popl27.sigplan.org/|POPL 2027]] |
