# GT Data, Automata, Algebra, & Logic (DAAL) – GDR IM

### Context

The *Data, Automata, Algebra, and Logic* Working Group (GT DAAL) is one of the working groups of the GDR Informatics and Mathematics (GDR IM).
The GDR IM is split into three clusters - *Algorithms and combinatorics*, *Formal calculus, arithmetic and geometry* and *Logic and complexity* - and the GT DAAL belongs to the third cluster.

Currently, the administrative responsibility of DAAL is jointly assumed by Nathanaël Fijalkow and Liat Peterfreund.

The DAAL working group follows on from the *ALGA* working group,
which had been established in 2015, itself the successor to the *GT Jeux* which had been established in 2008: its scope is broader than the latter and includes some of the topics previously covered by the GT CMF.

### Themes

DAAL is interested in the study of mathematical formalisms related to the following areas:

- database theory
- automata theory: on various structures (words, trees, orders,...), quantitative, probabilistic automata,...
- logic: specification or query formalism, model theory, algorithmic issues (model-checking, satisfiability, containment, synthesis...)
- games: in logic, verification, model theory, set theory,...
- algebra and topology

The applicative impact of our research lies in the foundations of program and database verification.

### Missions and activities

The mission of DAAL is to create a synergy of its community with the aim of reinforcing the number of French sites with international recognition on its themes.
In order to fulfil its mission, the activities are concretely articulated around the following points

- Annual meetings organised alternately by one of the DAAL teams.
- Doctoral student visits/exchanges via the doc student visit programme of the GDR IM.
- Transmission of information via the mailing list.