| Dan Hernest and Trifon Trifonov | Light Dialectica Revisited |
|
Stefan Hetzl, Alexander Leitsch, Daniel Weller and Bruno Woltzenlogel Paleo | Herbrand Sequent Extraction |
| Richard McKinley | Herbrand expansion proofs and proof identity |
|
Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa and Hiroshi Nakano | Inhabitance of Existential Types is Decidable in Negation-Product Fragment |
|
Steffen van Bakel, Luca Cardelli and Maria Grazia Vigliotti | From X to pi; Representing the Classical Sequent Calculus in the Pi-calculus |
| James Brotherston and Cristiano Calcagno | Classical Logic of Bunched Implications |
| Ozan Kahramanogullari | Ingredients of a Deep Inference Theorem Prover |
| Diana Ratiu | An Application of the Refined A-Translation for a Variant of the Infinite Pigeon Hole Principle |
| Alexander Summers | A Curry-Howard Correspondence for a Canonical Classical Natural Deduction |
| Willem Heijltjes | Proof Forests with Cut-Elimination Based on Herbrand's Theorem |