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 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)
 +