GT Automata, Logic, Games & Algebra (ALGA) – GDR IM



Contexte

Le Groupe de Travail Automata, Logic, Games and Algebra (GT ALGA) est l'un des groupes de travails du GDR Informatique Mathématique (GDR IM). Le GDR IM est découpé en trois pôles – Algorithmique et combinatoire, Calcul formel, arithmétique et géométrie et Logique et complexité – et le GT ALGA appartient au troisième pôle.

Actuellement, la responsabilité administrative du GT est conjointement assumée par Anca Muscholl et Olivier Serre.

Le groupe de travail ALGA fait suite au groupe de travail Jeux qui avait été créé en 2008: son périmètre est plus large que ce dernier et inclut en partie les thèmes que couvrait précédemment le GT CMF.

Thématiques

Le GT s'intéresse à l'étude des formalismes mathématiques connexes aux domaines suivants :

Les retombées applicatives de nos recherches se situent dans les fondements de la vérification de programmes et des bases de données.

Missions et activités

La principale mission du GT ALGA est de créer une synergie de sa communauté dans le but de renforcer le nombre de sites français à reconnaissance internationale sur ses thématiques. Afin de remplir sa mission, les activités sont concrètement articulées autour des points suivants