Pedro R. D'Argenio

This book constitutes the proceedings of 23rd International Colloquium on Theoretical Aspects of Computing, ICTAC 2026, which took place in Bariloche, Argentina, during November 11–13, 2026. The 23 full papers, 3 short papers and 3 tool papers presented in this book were carefully reviewed and selected from 60 submissions. They include topics in Logic, Program analysis, Language and Automata, Verification, Stochastic Systems, Distributed Systems, and Proof Assistants.