Differences

This shows you the differences between two versions of the page.

--- people:etanter [2026/08/26 21:47] – etanter
+++ people:etanter [2026/11/11 10:26] (current) – etanter
@@ Line 13: / Line 13: @@
 ===== 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>felicissimoAl-popl2027|Consolidating Equality in a Proof Irrelevant Universe}} accepted at [[https://https://popl27.sigplan.org/|POPL 2027]]
   * I'm 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]]
@@ Line 18: / Line 21: @@
   * {{bib>rosainAl-popl2026|Bounded Sort Polymorphism with Elimination Constraints}} presented at [[https://conf.researchr.org/home/POPL-2026|POPL 2026]]
   * I have been awarded an [[https://www.inria.fr/en/europe-and-international-schemes|Inria International Chair]] hosted by the [[https://gallinette.gitlabpages.inria.fr/website/|Gallinette]] research team (2025-2029)
-  * {{bib>diazAl-oopsla2025|Incremental Certified Programming}} presented at [[https://2025.splashcon.org/track/OOPSLA|OOPSLA 2025]]
@@ Line 239: / Line 241: @@
 <html>
 <script>window.addEventListener("load", function(event) {
-    load_bibtex('etanter'); });</script>
+   load_bibtex('etanter'); });</script>
 <div id="bibtex">Loading bibtex info...</div>
 </html>
@@ Line 258: / Line 260: @@
 Charla sobre {{people:etanter:ethics.pdf|ética en investigación}} (curso postgrado DCC)