A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL by Katherine Kosaian, Yong Kiam Tan and André Platzer Dec 15
Strong Eventual Consistency of the Collaborative Editing Framework WOOT by Emin Karayel and Edgar Gonzàlez Mar 25