Theoretical Aspects of Computing - ICTAC 2025: 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings (Lecture Notes in Computer Science) by Zhiming Liu, Adnane Saoud, Heike Wehrheim
English | November 23, 2025 | ISBN: 3032111757 | 496 pages | Epub, PDF | 75 Mb
This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 24-28, 2025.
The 21 full papers, 2 short papers and 1 tool paper presented in this book were carefully reviewed and selected from 64 submissions. The papers were categorized into the following topical sections: Invited Papers; Tutorial; Verification and Synthesis; Session Types; Logic and Theorem Provers; Probabilistic Systems; Automata; Cryptography and Choreography; Algorithms and Complexity; and Tool and Short Papers.
Recommend Download Link Hight Speed | Please Say Thanks Keep Topic Live
Links are Interchangeable - Single Extraction