CSL 2010, the 19th Annual conference (and 24th International Workshop) of the European Association for Computer Science Logic, was held in Brno, in the Czech Republic, in August 2010, co-located with MFCS 2010. The conference attracted a high number of excellent submissions which resulted in an exciting programme of talks. From the accepted papers, a small number were selected and the authors were invited to submit extended versions of their work to this special issue of Logical Methods in Computer Science. The papers were selected because they were highly rated by the progamme committee of the conference, because of the high quality presentations that accompanied them at the conference and to represent the range and diversity of subjects covered at the conference.

The eight papers that appear in this issue reflect both the quality and the range of work included in CSL 2010. They include foundational work in computer science logic, including finite model theory, linear logic, proof complexity, non-classical logics, etc. as well as connections to areas as diverse as computational complexity, verification and quantum computing. They reflect a vibrant and vigorous field.

In closing, we would like to thank the local organisers of CSL 2010 for hosting an excellent conference, the programme committee and external reviewers for selecting an outstanding programme and the reviewers who have helped so much in giving the authors included in this special issue their valuable feedback. Finally, we would like to thank the editors of LMCS for their support in bringing this special issue to fruition.