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
Next revisionBoth sides next revision
start [2022/06/23 11:43] – etanterstart [2022/12/23 15:34] – etanter
Line 8: Line 8:
  
 ===== Recent News ===== ===== 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}})   * {{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   * Matías Toro joins Pleiad as Assistant Professor
Line 30: Line 32:
   * [[people:folmedo|Federico Olmedo]], Assistant Professor   * [[people:folmedo|Federico Olmedo]], Assistant Professor
   * [[people:etanter|Éric Tanter]], Full Professor   * [[people:etanter|Éric Tanter]], Full Professor
-  * [[people:mtoro|Matías Toro]], Postdoc +  * [[people:mtoro|Matías Toro]], Assistant Professor
-  * [[https://kenji.maillard.blue/|Kenji Maillard]], Postdoc (with Nicolas Tabareau / Gallinette, Inria) +
-  * [[people:elabrada|Elizabeth Labrada]], PhD student+
   * Stefan Malewski, PhD student   * Stefan Malewski, PhD student
   * Bruno García, PhD student   * Bruno García, PhD student
Line 38: Line 38:
   * Tomás Díaz, PhD student   * Tomás Díaz, PhD student
   * Tomás Vallejos, MSc student   * Tomás Vallejos, MSc student
 +  * José Luis Romero, MSc student