Differences

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

--- start [2026/01/28 22:26] – etanter
+++ start [2026/04/16 16:23] (current) – etanter
@@ Line 9: / Line 9: @@
 ===== Recent News =====
+  * {{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 27: / Line 28: @@
 ===== Members =====
+  * [[people:nlehmann|Nico Lehmann]], Assistant Professor
   * [[people:folmedo|Federico Olmedo]], Assistant Professor
   * [[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