13th International Conference on Foundations of Computer Science and Artificial Intelligence

The International Conference on Foundations of Computer Science and Artificial Intelligence (FCSAI) addresses the theoretical underpinnings that unite classical computer science and modern artificial intelligence. The conference covers computational complexity, algorithmic foundations of machine learning, logic and AI reasoning systems, formal verification of intelligent systems, and the mathematical structures underlying both traditional computing and contemporary neural approaches. FCSAI provides a rigorous forum where theoreticians and AI researchers explore the deep connections between formal models of computation and the empirical methods driving AI progress.

artificial intelligence computer science machine learning engineering

Submissions are invited on topics at the intersection of computer science foundations and artificial intelligence, including computational complexity theory, algorithmic game theory, formal logic for AI, verification of learning-based systems, provable guarantees for machine learning algorithms, automata theory and neural networks, knowledge representation and reasoning, and the theory of distributed and quantum AI systems. Papers presenting significant theoretical contributions relevant to AI are especially encouraged.