Accepted Papers

Jason Hickey, Aleksey Nogin, Xin Yu, and Alexei Kopylov
Practical Reflection for Sequent Logics

Murdoch Gabbay
Hierarchical nominal rewriting

Mircea Dan Hernest
Synthesis of moduli of uniform continuity by the Monotone Dialectica Interpretation in the proof-system MinLog

Alwen Tiu
A Logic for Reasoning about Generic Judgments

Ulrich Schoepp
Modelling Generic Judgements

Chad E. Brown
Encoding Functional Relations in Scunak

Kevin Donnelly, Hongwei Xi
A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F

Stefan Berghofer, Christian Urban
A Head-to-Head Comparison of de Bruijn Indices and Names

Andrew Appel, Xavier Leroy
A List-machine Benchmark for Mechanized Metatheory

Brian Aydemir, Aaron Bohannon, and Stephanie Weirich
Nominal Reasoning Techniques in Coq