Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| start [2026/01/28 22:26] – etanter | start [2026/04/16 16:23] (current) – etanter |
|---|
| |
| ===== Recent News ===== | ===== 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>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]] | * {{bib>diazAl-oopsla2025|Incremental Certified Programming}} accepted at [[https://2025.splashcon.org/track/OOPSLA|OOPSLA 2025]] |
| * [[people:etanter|Éric Tanter]], Full Professor | * [[people:etanter|Éric Tanter]], Full Professor |
| * [[people:mtoro|Matías Toro]], Assistant 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 | * Damián Arquez, PhD student |
| * [[people:tdiaz|Tomás Díaz]], PhD student | * [[people:tdiaz|Tomás Díaz]], PhD student |
