Rupak Majumdar, Irmak Saglam and K. S. Thejaswini. Rabin Games and Colourful Universal Trees 

Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar Ibarra, Ian McQuillan, Lia Schütze and Georg Zetzsche. Unboundedness problems for machines with reversal-bounded counters 

Manon Blanc and Olivier Bournez. Measuring the robustness of the dynamical systems. Relating time and space to length and precision

Delia Kesner, Mariana Milicich, Luiz Carlos Pereira and Elaine Pimentel. Ecumenical types

Shufang Zhu. Reactive Synthesis of Linear Temporal Logic on Finite Traces

Safa Zouari. Logical Characterization of concurrent Bisimulation over Higher Dimensional Automata

Mirjana Ilic. A Relevant Logic with Strong Negation

Pamina Georgiou. Tales of Automated Software Verification with First-order Theorem Provers

Daphne Wang and Mehrnoosh Sadrzadeh. Presheaf Models of Human Parsing

Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky and Octavio Malherbe. Polymorphic L^S-calculus

Meha Mishra. Standard Deontic Logic and Moral Conflicts: A Philosophical Analysis

Federico Faroldi, Atefeh Rohani and Thomas Studer. Conditional Obligations in Justification Logic