Athar ABDUL-QUADER (Purchase College, SUNY), Weak cuts in models of PA abstract - slides

Michał J. GAJDA (Independent Researcher), Arithmetic of monotonic bounds abstract - slides

David HOFMANN (LMU Munich), Unfolding of Grzegorczyk systems abstract - slides

Carl JACOBSEN (University of Bonn), Undecidability and definability results using the coprime relation abstract - slides

Yuzuki KANEKO (Tohoku University), Quasi-Polish spaces and spaces of unbounded filters in reverse mathematics abstract - slides

Roman KOSSAK (CUNY Graduate Center), Kotlarski's question abstract - slides

Anders LUNDSTEDT (Stockholm University), Finitely non-standard models of Robinson arithmetic abstract - slides

Mojtaba MOJTAHEDI (Ghent University), An extension of HA by sentential PEM abstract - slides

Ludovic PATEY (CNRS, Paris), Largeness and partial conservation abstract - slides

Mengzhou SUN (University of Warsaw, Poland), The cohesive and stable Ramsey theorems and proof size over a weak base theory abstract - slides

Patryk SZLUFIK (University of Warsaw, Poland), On a gap in Scott spectra of IΣ_n + exp + ¬BΣ_n abstract - slides

Neil THAPEN (Czech Academy of Sciences), The dominance rule in SAT solving abstract - slides

Patrick UFTRING (University of the Bundeswehr, Munich), Reals as naive Cauchy sequences in reverse mathematics abstract - slides

Albert VISSER (Utrecht University), The Bezboruah-Shepherdson Incompleteness Theorem abstract - slides

Keita YOKOYAMA (Tohoku University), Kazuyuki Tanaka's work in reverse mathematics and second-order arithmetic abstract - slides

Konrad ZDANOWSKI (UKSW), A strong completeness theorem for CTL abstract - slides