The annual meeting of GT DAAL, the Working Group on Data, Automata, Algebra, and Logic, gathers the French community working on mathematical foundations for the verification of programs and databases. Topics include:
- Database theory
- Automata theory: words, trees, orders; quantitative and probabilistic models
- Logic: specification and query formalisms; model theory; model checking, satisfiability, containment, synthesis
- Games: in logic, verification, model theory, set theory
- Algebra and topology
GT DAAL is a working group of GDR IFM -- Informatique Fondamentale et ses Mathématiques. It follows on from GT ALGA (2015), itself the successor to GT Jeux (2008), with a broader scope that also includes topics of GT CMF.
The 2026 edition of the Annual Meeting will be held at ENS Paris-Saclay, in auditorium 1B26, on 2 -- 3 June 2026.
Registration will open in March 2026.
