Syntax meets Semantics, SYMICS 2016 - Booklet of Abstracts

[EN]This volume contains the papers presented at SYSMICS 2016: Syntax Meets Semantics 2016 held on September 5-9, 2016 in Barcelona. There were 37 accepted papers and 7 invited talks. This conference is the first of a series of meetings planned in the ”SYSMICS” RISE project during 2016-2019. The project website can be found at http://logica.dmi.unisa.it/sysmics/. The SYSMICS project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Sk lodowska-Curie grant agreement No 689176. The SYSMICS conference is sponsored by the Association for Symbolic Logic and the Consortium for Order in Algebra and Logic. Submissions have been managed thorugh the EasyChair website, which we gratefully acknowledgePeer reviewe