Differences

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

--- start [2022/06/30 11:55] – mtoro
+++ start [2023/02/25 07:31] – etanter
@@ Line 8: / Line 8: @@
 ===== Recent News =====
+  * [[people:elabrada|Elizabeth Labrada]] successfully defended her PhD thesis on Gradual System F!
+  * {{bib>maillardAl-icfp2022|A Reasonably Gradual Type Theory}} accepted at [[https://icfp22.sigplan.org/|ICFP 2022]]
   * {{bib>labradaAl-jacm2022|Gradual System F}} accepted in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]] (supersedes our {{bib>toroAl-popl2019|POPL'19 paper}})
   * Matías Toro joins Pleiad as Assistant Professor
@@ Line 31: / Line 33: @@
   * [[people:etanter|Éric Tanter]], Full Professor
   * [[people:mtoro|Matías Toro]], Assistant Professor
-  * [[https://kenji.maillard.blue/|Kenji Maillard]], Postdoc (with Nicolas Tabareau / Gallinette, Inria)
+  * Koen Jacobs, Postdoc (with Inria)
-  * [[people:elabrada|Elizabeth Labrada]], PhD student
   * Stefan Malewski, PhD student
   * Bruno García, PhD student
@@ Line 38: / Line 39: @@
   * Tomás Díaz, PhD student
   * Tomás Vallejos, MSc student
+  * José Luis Romero, MSc student