Albert Atserias (UPC Barcelona)
Proof complexity and its relations to SAT solving

Daniel Dadush (CWI Amsterdam)
A Strongly Polynomial Algorithm for Linear Programs with at most Two Non-zero Entries per Row or Column

Anupam Das (University of Birmingham)
Algebras for automata: reasoning with regularity

Susanna F. de Rezende (Lund University)
Some Recent Advancements in Monotone Circuit Complexity