Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
start [2021/11/23 11:22]
etanter
start [2022/06/30 11:55]
mtoro
Line 8: Line 8:
  
 ===== Recent News ===== ===== Recent News =====
-  * {{bib>lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} to appear in [[https://dl.acm.org/journal/toplas|TOPLAS]], to be presented at [[https://popl22.sigplan.org|POPL 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 
 +  * {{bib>eremondiAl-icfp2022|Propositional Equality for Gradual Dependently Typed  Programming}} accepted at [[https://icfp22.sigplan.org/|ICFP 2022]] 
 +  * Éric Tanter is on the PC of [[http://conf.researchr.org/home/POPL-2023|POPL 2023]] 
 +  * {{bib>labradaAl-oopsla2022|Plausible Sealing for Gradual Parametricity}} accepted at [[https://2022.splashcon.org/track/splash-2022-oopsla|OOPSLA 2022]] 
 +  * {{bib>lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} to appear in [[https://dl.acm.org/journal/toplas|TOPLAS]] (June 2022), presented at [[https://popl22.sigplan.org|POPL 2022]]
   * {{bib>malewskiAl-oopsla2021|Gradually Structured Data}} accepted at [[https://2021.splashcon.org/track/splash-2021-oopsla|OOPSLA 2021]]   * {{bib>malewskiAl-oopsla2021|Gradually Structured Data}} accepted at [[https://2021.splashcon.org/track/splash-2021-oopsla|OOPSLA 2021]]
   * É. Tanter receives the Ten Years Most Influential Paper Award at [[https://2020.programming-conference.org/|<Programming> 2020]] for his {{bib>tanter:aosd2010|AOSD 2010 paper}}   * É. Tanter receives the Ten Years Most Influential Paper Award at [[https://2020.programming-conference.org/|<Programming> 2020]] for his {{bib>tanter:aosd2010|AOSD 2010 paper}}
Line 25: Line 30:
   * [[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)   * [[https://kenji.maillard.blue/|Kenji Maillard]], Postdoc (with Nicolas Tabareau / Gallinette, Inria)
   * [[people:elabrada|Elizabeth Labrada]], PhD student   * [[people:elabrada|Elizabeth Labrada]], PhD student