Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| start [2026/08/26 21:49] – etanter | start [2026/10/08 13:45] (current) – etanter |
|---|
| |
| ===== Recent News ===== | ===== Recent News ===== |
| | * {{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]] |
| * Éric Tanter is serving as Associate Program Chair for [[https://icfp27.sigplan.org/|ICFP 2027]] | * Éric Tanter is serving as Associate Program Chair for [[https://icfp27.sigplan.org/|ICFP 2027]] |
| * {{bib>yeAl-toplas2026|A Formal Framework for Typing and Cast Semantics in SQL Engines}} accepted at [[https://dl.acm.org/journal/toplas|TOPLAS]] | * {{bib>yeAl-toplas2026|A Formal Framework for Typing and Cast Semantics in SQL Engines}} accepted at [[https://dl.acm.org/journal/toplas|TOPLAS]] |
