Life Sciences (theme 5), Logistics (theme 3)
Quantum Computer Science , Quantum computing: fault-tolerance, communication, and classical spin-offs
Annual ACM Symposium on Theory of Computing
Algorithms and Complexity

Fiorini, S, Massar, S, Pokutta, S, Tiwary, H.R, & de Wolf, R.M. (2012). Linear vs semidefinite extended formulations: Exponential separation and strong lower bounds. In Proceedings of the 44th ACM STOC (pp. 95–106). ACM.