Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
people:etanter [2026/08/19 19:33] – etanterpeople:etanter [2026/09/02 18:49] (current) – external edit 127.0.0.1
Line 13: Line 13:
  
 ===== News ====== ===== 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>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>felicissimoAl-lics2026|Definitional Proof Irrelevance Made Accessible}} accepted at [[https://lics.siglog.org/lics26/|LICS 2026]]
Line 22: Line 23:
 ===== Academic Activities ===== ===== Academic Activities =====
 ++++ Program Committee Chair | ++++ Program Committee Chair |
-  * 32nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2027) -- Associate 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]]   * 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]])   * 11th International Conference on Aspect-Oriented Software Development ([[http://aosd.net/2012|AOSD 2012]])
Line 135: Line 136:
 ++++ Research Projects | ++++ Research Projects |
     * Inria International Chair - Malleable Proof Assistants [2025-2030]     * Inria International Chair - Malleable Proof Assistants [2025-2030]
-    * STIC AmSud Project (AMSUD250016) QUASAR: Quantum Semantics and Reasoning [2026-2027/senior researcher]+    * STIC AmSud Project 250016 - QUASAR: Quantum Semantics and Reasoning [2026-2027/senior researcher]
     * ANID Project DFG220011 - Gradual Abstract Interpretation [2024-2026/co-investigator]     * ANID Project DFG220011 - Gradual Abstract Interpretation [2024-2026/co-investigator]
     * INRIA Équipe Associée GRAPA [2023-2025/lead]     * INRIA Équipe Associée GRAPA [2023-2025/lead]
Line 238: Line 239:
 <html> <html>
 <script>window.addEventListener("load", function(event) { <script>window.addEventListener("load", function(event) {
-    load_bibtex('etanter'); });</script>+   load_bibtex('etanter'); });</script>
 <div id="bibtex">Loading bibtex info...</div> <div id="bibtex">Loading bibtex info...</div>
 </html> </html>
Line 257: Line 258:
  
 Charla sobre {{people:etanter:ethics.pdf|ética en investigación}} (curso postgrado DCC) Charla sobre {{people:etanter:ethics.pdf|ética en investigación}} (curso postgrado DCC)
 +