Albert ATSERIAS (UPC Barcelona), Axiomatic strenght of hitting sets for multivariate polynomials within bounded arithmetic (joint work with Iddo TZAMERET, Imperial College, London) slides

Julien DAOUD (University of Gent, Belgium), Speedups for Presburger Arithmetic and real closed fields (joint work with Fedor PAKHOMOV) abstract - slides

Azza GAYSIN (Prague) Proof complexity of Mal'tsev CSP abstract - slides

Piotr GRUZA (University of Warsaw, Poland) Tightness and semantic tightness in subtheories of Peano arithmetic abstract - slides

Emil JEŘÁBEK (Institute of Mathematics, Czech Academy of Sciences) Mathematics in VTC₀ slides

Ondřej JEŽIL (Charles University, Prague, Czech Republic), Prime factorization in models of PV₁ abstract - slides

Leszek KOŁODZIEJCZYK (University of Warsaw, Poland) Gauging the strength of (infinite) Ramsey's theorem for pairs slides

Jan KRAJIČEK (Charles University, Prague) Extensions of models of bounded arithmetic abstract - slides

Quentin LE HOUÉROU (Université Paris XII, France) Ramsey-like theorems for separable permutations (joint work with Ludovic LEVY PATEY) abstract - slides

Juvenal MURWANASHYAKA (Institute of Mathematics, Czech Academy of Sciences) Variants of adjunctive set theory which are not sequential abstract

Mykyta NARUSEVYCH (Charles University, Prague, Czech Republic), Why is it hard to separate T²₂(R) from T^∞₂(R) via forcing? abstract - slides

Alexei SEMENOV (Moscow, Russia), Definability lattices for very weak arithmetics (joint work with Sergey SOPRUNOV) abstract - slides

Mengzhou SUN (University of Warsaw, Poland), On the finite cohesiveness principle abstract - slides

Patryk SZLUFIK (University of Warsaw, Poland), Scott ranks of models of elementary arithmetic (joint work with Leszek KOŁODZIEJCZYK and Mateusz ŁELYK) abstract - slides