Differences

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

--- people:etanter [2026/07/15 13:42] – etanter
+++ people:etanter [2026/09/02 18:49] (current) – external edit 127.0.0.1
@@ Line 13: / Line 13: @@
 ===== News ======
+  * 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]]
   * {{bib>felicissimoAl-lics2026|Definitional Proof Irrelevance Made Accessible}} accepted at [[https://lics.siglog.org/lics26/|LICS 2026]]
   * {{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]]
-  * I'm on the PC of [[https://conf.researchr.org/home/POPL-2026|POPL 2026]]
-  * {{bib>jacobsAl-icfp2025|Robust Dynamic Embedding for Gradual Typing}} presented at [[https://icfp25.sigplan.org/|ICFP 2025]]
-  * {{bib>arquezAl-csf2025|Gradual Sensitivity Typing}} presented at [[https://csf2025.ieee-security.org/|CSF 2025]]
-  * {{bib>yeAl-esop2025|Elucidating Type Conversions in SQL Engines}} presented at [[https://etaps.org/2025/conferences/esop/|ESOP 2025]]
-  * {{bib>poiretAl-popl2025|All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants}} presented at [[https://conf.researchr.org/home/POPL-2025|POPL 2025]]
-  * {{bib>divincenzoAl-toplas2025|Gradual C0: Symbolic Execution for Gradual Verification}} published in [[https://dl.acm.org/journal/toplas|TOPLAS]], presented at [[https://conf.researchr.org/home/POPL-2025|POPL 2025]]
 ===== Academic Activities =====
 ++++ Program Committee Chair |
+  * 32nd ACM SIGPLAN International Conference on Functional Programming ([[https://icfp27.sigplan.org/|ICFP 2027]]) -- Associate Program Chair
   * SPLASH 2019 [[https://2019.splashcon.org/track/splash-2019-Doctoral-Symposium|Doctoral Symposium]]
   * 11th International Conference on Aspect-Oriented Software Development ([[http://aosd.net/2012|AOSD 2012]])
@@ Line 140: / Line 136: @@
 ++++ Research Projects |
     * Inria International Chair - Malleable Proof Assistants [2025-2030]
+    * STIC AmSud Project 250016 - QUASAR: Quantum Semantics and Reasoning [2026-2027/senior researcher]
     * ANID Project DFG220011 - Gradual Abstract Interpretation [2024-2026/co-investigator]
     * INRIA Équipe Associée GRAPA [2023-2025/lead]
@@ Line 242: / Line 239: @@
 <html>
 <script>window.addEventListener("load", function(event) {
-    load_bibtex('etanter'); });</script>
+   load_bibtex('etanter'); });</script>
 <div id="bibtex">Loading bibtex info...</div>
 </html>
@@ Line 261: / Line 258: @@
 Charla sobre {{people:etanter:ethics.pdf|ética en investigación}} (curso postgrado DCC)