13th International Conference on Foundations of Computer Science & Artificial Intelligence (FCSAI 2026)
Local: Melbourne, Australia
Data do evento: 15/08/2026 a 16/08/2026
Prazo de submissão de trabalhos: 07/06/2026
13thInternational Conference on Foundations of Computer Science & Artificial Intelligence (FCSAI 2026)August 15 ~ 16, 2026,Melbourne, AustraliaScope & Topics13thInternational Conference on Foundations of Computer Science & Artificial Intelligence (FCSAI 2026)is a premier global forum dedicated to advancing the theoretical, methodological, and foundational aspects of Computer Science and Artificial Intelligence. Building on the legacy of the CST conference series, FCSAI 2026 expands its scope to embrace the rapidly evolving landscape of AI, machine learning, and intelligent systems, while maintaining a strong commitment to the core principles of theoretical computer science.The goal of FCSAI 2026 is to bring together researchers, practitioners, and innovators from academia and industry to deepen the understanding of modern computational foundations and intelligent technologies. The conference aims to foster collaboration across disciplines, promote rigorous scientific exchange, and highlight cutting edge developments that shape the future of computing and AI.Authors are invited to contribute high quality research articles, case studies, survey papers, and industrial experiences that demonstrate significant advances in foundational computer science, artificial intelligence theory, and their emerging intersections. Submissions may address, but are not limited to, the topics listed below.Topics of interest include, but are not limited to, the followingAlgorithms, Complexity and Optimization TheoryAlgorithms and Data StructuresApproximation Algorithms and Hardness of ApproximationFine Grained ComplexityComputational Complexity TheoryCommunication and Information ComplexityRandomized and Probabilistic AlgorithmsStreaming and Sublinear Time AlgorithmsDynamic Algorithms and Data StructuresModern Graph Algorithms (connectivity, flows, cuts, near linear time)Discrepancy Theory and Combinatorial OptimizationSpectral Graph TheoryHigh Dimensional Probability in AlgorithmsBeyond Worst Case AnalysisSmoothed AnalysisAlgebraic and Symbolic ComputationComputational GeometryLarge Scale and Uncertainty Aware OptimizationEnergy Efficient and Resource Aware AlgorithmsAlgorithmic Foundations of AI (search, planning, heuristics)Computational Models of Intelligent BehaviorTheoretical Artificial IntelligenceFoundations of Artificial IntelligenceComputational Models of IntelligenceMulti Agent Systems and Game Theoretic AIPlanning, Search and Decision Making TheoryKnowledge Representation and ReasoningLogic Based AINeurosymbolic AI TheoryAI Alignment and Safety TheoryInterpretability and Explainability TheoryComputational Cognitive ScienceTheory of Intelligent AgentsSymbolic, Subsymbolic and Hybrid AI ModelsMachine Learning Theory, Optimization and Foundations of AIComputational Learning TheoryStatistical Learning TheoryOptimization Theory for MLImplicit Bias of Gradient DescentGeneralization in Overparameterized ModelsComputational Statistical TradeoffsReinforcement Learning TheoryTheory of Foundation Models and Large Scale Neural NetworksAdversarial Learning and RobustnessAlgorithmic Fairness and TransparencyHigh Dimensional Geometry for MLCausal Inference TheoryClustering Theory and High Dimensional Data AnalysisExplainability, Interpretability and Ethical Foundations of AITheoretical Guarantees for Large Language ModelsLearning Dynamics and Emergent Behaviors in AI SystemsQuantum Computing and Quantum Information TheoryQuantum Algorithms and Quantum AdvantageQuantum Complexity TheoryQuantum Error Correction and Fault ToleranceHamiltonian ComplexityQuantum Simulation AlgorithmsQuantum Machine Learning TheoryQuantum Cryptography and CryptanalysisQuantum Information TheoryCryptography, Security and Information TheoryCryptography (Classical and Post Quantum)Lattice Based CryptographySecure Multiparty ComputationZero Knowledge Proofs and Interactive ProofsPseudorandomness and DerandomizationCoding Theory and Error Correcting CodesDifferential Privacy TheoryFunctional Encryption and Advanced PrimitivesInformation Theoretic SecurityBlockchain and Consensus TheoryCryptography from Worst Case AssumptionsTheoretical Cryptanalysis (including quantum)Security Foundations for AI SystemsLogic, Semantics, Verification and Automated ReasoningProgram Semantics and VerificationFormal Methods and Model CheckingType Theory and Proof TheorySAT/SMT Solving TheoryProof ComplexityAutomated ReasoningSymbolic Execution TheoryFormal Verification of ML SystemsVerified AI and Safety Critical ReasoningLogical Foundations of AI Planning and InferenceDistributed, Parallel and Networked ComputationDistributed Algorithms and ComplexityParallel Computing TheoryLocal Algorithms and Graph ModelsCongested Clique and Modern Distributed ModelsFault Tolerant Distributed SystemsConsensus and SynchronizationDistributed Lower BoundsDistributed OptimizationFederated Learning TheoryDynamic Graph AlgorithmsAlgorithmic Foundations of Cloud–Edge SystemsDistributed AI and Multi Agent CoordinationInterdisciplinary and Computational SciencesTheory applied to natural sciences, social systems and economics.Algorithmic Game Theory and Mechanism DesignComputational EconomicsComputational Social ScienceHigh Dimensional Geometry and Metric EmbeddingsStatistical Physics Methods in AlgorithmsComputational Biology (theoretical foundations)Computational Chemistry and Physics (complexity theoretic framing)Foundations of Data ScienceEthical and Societal Aspects of AlgorithmsEnergy Aware and Sustainability Driven ComputationAI for Scientific Discovery (theoretical foundations)Paper SubmissionAuthors are invited to submit papers through the conferenceSubmission SystembyJune 07, 2026. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this conference. The proceedings of the conference will be published by The proceedings of the conference will be published byComputer Science Conference ProceedingsinComputer Science & Information Technology (CS & IT)series (Confirmed).Selected papers fromCST 2026, after further revisions, will be published in the special issue of the following journals.International Journal of Computer Science & Information Technology (IJCSIT)International Journal of Information Technology Convergence and Services (IJITCS)International Journal of Computer Science, Engineering and Applications (IJCSEA)International Journal in Foundations of Computer Science & Technology (IJFCST)Information Technology in Industry (ITII)Important DatesSubmission Deadline:June 07, 2026Authors Notification:July 25, 2026Final Manuscript Due:August 01, 2026