This volume presents the latest advancements in theoretical computer science from the 43rd National Conference. The proceedings feature 9 full papers and 1 short paper, meticulously chosen from 83 submissions, reflecting rigorous peer review. These papers explore critical areas within the field, offering insights into algorithm design, foundational logic, the theoretical underpinnings of artificial intelligence, and practical algorithm applications.

This collection of revised selected papers from the 43rd National Conference on Theoretical Computer Science is expected to serve as a valuable resource for researchers and practitioners in the field. The rigorous selection process, with 9 full papers and 1 short paper chosen from 83 submissions, indicates a high standard of presented work. The topical organization into Algorithm Design, Logic, Artificial Intelligence Theory and Algorithm, and Algorithm Application suggests a comprehensive overview of current research trends. The conference's focus on theoretical aspects promises contributions that advance the foundational understanding and practical implementation of computational concepts.