Author: Helle Hvid Hansen

This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, Tbi LLC 2015, held in Tbilisi, Georgia, in September 2015.The 18 papers …

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in …

Edited in collaboration with Fo LLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, …