MathAI 2027 Abu Dhabi

The mathematical foundations of trustworthy, explainable and hybrid AI. Researchers in logic, probability, optimisation, proof theory and the sciences convene in Abu Dhabi to set the formal basis for next-generation intelligent systems.

Building strong, dependable artificial intelligence requires breakthrough mathematical solutions — in the training, verification and interpretability of intelligent systems. MathAI is the venue where those solutions are presented, debated and formalised.

The conference unites leading experts in mathematics and theoretical computer science around three guiding directions: Trustworthy AI, Explainable AI and Hybrid AI. We invite work grounded in mathematical logic, theory of algorithms, probability theory and statistics, optimisation and control, proof theory and deductive verification, differential equations and game theory — applied to large language models, diffusion models, variational autoencoders and Bayesian neural networks — together with mathematically rigorous applications of AI in bioinformatics, medicine, economics and finance.

MathAI 2027 is the third edition of the series and the first held in Abu Dhabi. It is organised by the International AI Committee with the support of leading universities in Abu Dhabi. Accepted papers are presented at the conference; extended versions are invited to the IAIC journals Mathematics & AI, Bioinformatics & AI, Finance & AI and Autonomous AI Agents.

Each track has its own chair, programme committee and reviewer pool. Papers are reviewed only within their track, by experts in that area.

Mathematical logic, model theory, computability and complexity, proof theory, type theory, deductive verification of neural-symbolic systems. AI we can prove, not just test.