Full Description
This book constitutes the refereed proceedings of the 21st Conference on Computability and Logic, CiE 2025, held in Lisbon, Portugal, during July 14-18, 2025.
The 27 full papers included in this book were carefully reviewed and selected from 49 submissions.



