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.
For information on the programme and registration, visit https://lmf.cnrs.fr/DAAL2026/.