Differences

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

--- start [2026/01/28 22:26] – etanter
+++ start [2026/08/26 21:49] (current) – etanter
@@ Line 9: / Line 9: @@
 ===== Recent News =====
+  * É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>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}} accepted at [[https://conf.researchr.org/home/POPL-2026|POPL 2026]]
   * {{bib>diazAl-oopsla2025|Incremental Certified Programming}} accepted at [[https://2025.splashcon.org/track/OOPSLA|OOPSLA 2025]]
@@ Line 18: / Line 21: @@
   * {{bib>divincenzoAl-toplas2025|Gradual C0: Symbolic Execution for Gradual Verification}} accepted at [[https://dl.acm.org/journal/toplas|TOPLAS]], to be presented at [[https://conf.researchr.org/home/POPL-2025|POPL 2025]]
   * {{bib>yeAl-esop2025|Elucidating Type Conversions in SQL Engines}} accepted at [[https://etaps.org/2025/conferences/esop/|ESOP 2025]]
-  * {{bib>malewskiAl-icfp2024|Gradual Indexed Inductive Types}} accepted at [[https://icfp24.sigplan.org/|ICFP 2024]]
-  * {{bib>toroAl-cacm2024|Gradual Differentially Private Programming}} published in [[https://cacm.acm.org/|Communications of the ACM]]
-  * {{bib>andriciAl-popl2024|Securing Verified IO Programs Against Unverified Code in F*}} accepted at [[https://popl24.sigplan.org/|POPL 2024]]
@@ Line 31: / Line 31: @@
   * [[people:etanter|Éric Tanter]], Full Professor
   * [[people:mtoro|Matías Toro]], Assistant Professor
-  * Koen Jacobs, Postdoc (with Inria)
+  * Mara Malewski, PhD student
-  * Stefan Malewski, PhD student
   * Damián Arquez, PhD student
   * [[people:tdiaz|Tomás Díaz]], PhD student