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 on 2 – 3 June 2026.
Registration is free, but necessary. If you wish to attend, please register before 20 May 2023.
