| 10 | -- | 0 | Moshe Babaioff, Robert D. Kleinberg, Aleksandrs Slivkins. Truthful Mechanisms with Implicit Payment Computation |
| 11 | -- | 0 | Kousha Etessami, Mihalis Yannakakis. Recursive Markov Decision Processes and Recursive Stochastic Games |
| 12 | -- | 0 | Ronald Fagin, Benny Kimelfeld, Frederick Reiss, Stijn Vansummeren. Document Spanners: A Formal Approach to Information Extraction |
| 13 | -- | 0 | Gregory Valiant. Finding Correlations in Subquadratic Time, with Applications to Learning Parities and the Closest Pair Problem |
| 14 | -- | 0 | Sanjoy K. Baruah, Vincenzo Bonifaci, Gianlorenzo D'Angelo, Haohan Li, Alberto Marchetti-Spaccamela, Suzanne van der Ster, Leen Stougie. Preemptive Uniprocessor Scheduling of Mixed-Criticality Sporadic Task Systems |
| 15 | -- | 0 | David A. Basin, Felix Klaedtke, Samuel Müller, Eugen Zalinescu. Monitoring Metric First-Order Temporal Properties |
| 16 | -- | 0 | Victor Vianu. Invited Article Foreword |
| 17 | -- | 0 | Samuel Fiorini, Serge Massar, Sebastian Pokutta, Hans Raj Tiwary, Ronald de Wolf. Exponential Lower Bounds for Polytopes in Combinatorial Optimization |