WoLLIC 2017 Special Issue of AML (Vol. 60, Issue 5)

Special Issue of the Archive for Mathematical Logic (ISSN 0933-5846), Juliette Kennedy & Ruy de Queiroz (eds.), Springer, Volume 60, Issue 5 (July 2021).

Abstract

This special issue of Archive for Mathematical Logic brings a selection of papers presented at the 24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017), which was held in London, UK, July 18-21, 2017, in the Department of Computer Science, University College London (UCL). It was the twenty-fourth in a series of workshops that started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. The full papers published in this special issue were selected from the list of papers presented at the meeting, and they have all undergone an independent round of peer reviewing. At the moment of announcing the call for extended versions, there was a warning that for the paper to be considered for publication, it was expected that the journal version would have to be a significant extension of the paper published in the proceedings of the meeting.

Last Updated June 29, 2021, 04:46pm GMT-0300.