The conference is part of the Foundations of the Formal Sciences conference series and is organized by the Institute for Logic, Language and Computation jointly with the Leverhulme International Network progicnet and the Marie Curie Research Training site GLoRiClass.