GT Data, Automata, Algebra, & Logic (DAAL) – GDR IFM
Context
The Data, Automata, Algebra, and Logic Working Group (GT DAAL) is one of the working groups of the GDR Informatique Fondamentale et ses Mathématiques (GDR IFM).
Currently, the administrative responsibility of DAAL is jointly assumed by Amélie Gheerbrant and Benjamin Monmege.
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.
To subscribe to GT DAAL (and by transitivity to GDR IFM) and see its members and their institutions, please visit this page.
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:
- GT DAAL Annual meeting, 25/26 April 2024 -- IRISA, Rennes, colocated with the workshops Atlas'24 and the Workshop on Pomsets and Related Structures (RaPS).
- GT DAAL Annual meeting, 21 April 2023 -- EPITA, Paris.
- GT DAAL Annual meeting, 28 March 2022 -- Lille.
- GT ALGA Annual meeting, 16 & 18 June 2021 -- LaBRI, Bordeaux (online).
- GT ALGA Annual meeting, 10 & 11 October 2019 -- ENS, Paris.
- GT ALGA Annual meeting, 15 & 16 October 2018 -- Université de Lille.
- GT ALGA+VERIF Annual meeting, 29, 30 & 31 May 2017 -- LACL, Université Paris-Est – Créteil.
- GT ALGA Annual meeting, 11 & 12 April 2016 -- LIF, Aix-Marseille Université.
- GT ALGA Annual meeting, 30 & 31 March 2015 -- Université Paris Diderot – Paris 7.
- Doctoral student visits/exchanges via the doc student visit programme of the GDR IFM.
- Transmission of information via the mailing list of the GT DAAL, as well as mailing list of the GDR IFM (to use only to disseminate news interesting for a large portion of the GDR IFM!).